4 lines
90 B
Plaintext
4 lines
90 B
Plaintext
verific -f -sv mixed_flist.flist
|
|
verific -import sv_top
|
|
select -assert-mod-count 1 sv_top
|