12c692f6ed
This reverts commit c851dc13108021834533094a8a3236da6d9e0161, reversing changes made to f54bf1631ff37a83733c162e6ebd188c1d5ea18f.
18 lines
366 B
Plaintext
18 lines
366 B
Plaintext
read_verilog test_arith.v
|
|
synth_ice40
|
|
rename test gate
|
|
|
|
read_verilog test_arith.v
|
|
rename test gold
|
|
|
|
miter -equiv -flatten -make_outputs gold gate miter
|
|
sat -verify -prove trigger 0 -show-ports miter
|
|
|
|
synth_ice40 -top gate
|
|
|
|
read_verilog test_arith.v
|
|
rename test gold
|
|
|
|
miter -equiv -flatten -make_outputs gold gate miter
|
|
sat -verify -prove trigger 0 -show-ports miter
|