diff options
Diffstat (limited to 'ice40/pack_tests/test.sh')
| -rwxr-xr-x | ice40/pack_tests/test.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ice40/pack_tests/test.sh b/ice40/pack_tests/test.sh index 7ac3ef76..88ff5b1d 100755 --- a/ice40/pack_tests/test.sh +++ b/ice40/pack_tests/test.sh @@ -12,4 +12,4 @@ yosys -p "rename chip gate;\ proc;\ clk2fflogic;\ miter -equiv -flatten -ignore_gold_x -make_outputs -make_outcmp gold gate miter;\ - sat -dump_vcd equiv_${NAME}.vcd -verify-no-timeout -timeout 20 -seq 10 -prove trigger 0 -prove-skip 1 -show-inputs -show-outputs miter" ${NAME}_out.v + sat -dump_vcd equiv_${NAME}.vcd -verify-no-timeout -timeout 60 -seq 50 -prove trigger 0 -prove-skip 1 -show-inputs -show-outputs miter" ${NAME}_out.v |