synlig icon indicating copy to clipboard operation
synlig copied to clipboard

Published 20 hours ago • verified publisher icon chipsalliance

Formal equiv diff parameter overloading

Open alaindargelas opened this issue 2 years ago • 0 comments

Test: UHDM-integration-tests/tests/PatternAsParameterOfInstance/top.sv ./run_formal_verif.sh test=PatternAsParameterOfInstance_top.sv

UHDM tree is correct, plugin send the wrong parameter value to Yosys AST

alaindargelas avatar Sep 01 '22 04:09 alaindargelas