15 lines
267 B
Tcl
15 lines
267 B
Tcl
|
yosys -import
|
||
|
|
|
||
|
|
read_verilog $::env(SOURCES)
|
||
|
|
|
||
|
|
synth_xilinx -nolutram -nowidelut -nosrl -nocarry -nodsp
|
||
|
|
|
||
|
|
# opt_expr -undriven makes sure all nets are driven, if only by the $undef
|
||
|
|
# net.
|
||
|
|
opt_expr -undriven
|
||
|
|
opt_clean
|
||
|
|
|
||
|
|
setundef -zero -params
|
||
|
|
|
||
|
|
write_json $::env(OUT_JSON)
|