synlig icon indicating copy to clipboard operation
synlig copied to clipboard

Published 20 hours ago • verified publisher icon chipsalliance

Formal equiv diff ImportedPackageEnumItemInInterface_top.sv

Open alaindargelas opened this issue 2 years ago • 0 comments

Test /UHDM-integration-tests/tests/ImportedPackageEnumItemInInterface/top.sv ./run_formal_verif.sh test=ImportedPackageEnumItemInInterface_top.sv

The interface is modeled as a module incorrectly

alaindargelas avatar Sep 20 '22 05:09 alaindargelas