5 INVARSPEC ! bool(_trigger)
19 design -copy-from gold -as gold uut
20 design -copy-from gate -as gate uut
21 miter -equiv -flatten gold gate main
25 write_smv -tpl $1.tpl $1.smv
30 ..
/..
/yosys
-l $1.log
-q $1.ys
31 NuSMV
-bmc $1.smv
>> $1.log
32 grep "^-- invariant .* is true" $1.log