mirror of
https://github.com/YosysHQ/yosys
synced 2026-02-06 17:22:15 +00:00
3 lines
90 B
Text
3 lines
90 B
Text
verific -f -sv mixed_flist.flist
|
|
verific -import sv_top
|
|
select -assert-mod-count 1 sv_top
|