mirror of
https://github.com/annoyatron255/yosys4gal.git
synced 2024-12-22 18:52:23 +00:00
15 lines
213 B
Tcl
15 lines
213 B
Tcl
|
#!/usr/bin/env -S yosys -c
|
||
|
|
yosys -import
|
||
|
|
|
||
|
|
read_verilog original.v
|
||
|
|
flatten
|
||
|
|
synth
|
||
|
|
|
||
|
|
read_verilog wrapper.v GAL16V8_reg.v
|
||
|
|
flatten
|
||
|
|
synth
|
||
|
|
|
||
|
|
equiv_make original wrapper equiv
|
||
|
|
equiv_induct equiv
|
||
|
|
equiv_status -assert equiv
|