riscv
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Oops

This commit is contained in:
Eddie Hung 2019-09-13 18:19:07 -07:00
parent a2eee9ebef
commit f492567c87
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tests/various/peepopt.ys
View File

@ -47,10 +47,10 @@ design -import gate -as gate peepopt_shiftmul_2
miter -equiv -make_assert -make_outputs -ignore_gold_x -flatten gold gate miter miter -equiv -make_assert -make_outputs -ignore_gold_x -flatten gold gate miter
sat -show-public -enable_undef -prove-asserts miter sat -show-public -enable_undef -prove-asserts miter
cd gate
select -assert-count 1 t:$shr select -assert-count 1 t:$shr
select -assert-count 1 t:$mul select -assert-count 1 t:$mul
select -assert-count 0 t:$shr t:$mul %% t:* %D select -assert-count 0 t:$shr t:$mul %% t:* %D
exit
#################### ####################