DEBSOURCES
Skip Quicknav
sources / yosys / 0.52-2 / tests / verific / setenv.ys
1234
setenv filename case.sv verific -f -sv setenv.flist verific -import top select -assert-mod-count 1 top