2021-02-26 01:11:32 +08:00
|
|
|
yosys -import
|
|
|
|
|
|
2021-03-12 20:53:09 +08:00
|
|
|
read_verilog $::env(SOURCES)
|
2021-02-26 01:11:32 +08:00
|
|
|
|
2021-04-06 17:48:04 +08:00
|
|
|
synth_nexus -nolutram -nowidelut -nobram -noccu2 -nodsp
|
|
|
|
|
techmap -max_iter 1 -map $::env(TECHMAP)
|
2021-02-26 01:11:32 +08:00
|
|
|
|
|
|
|
|
# opt_expr -undriven makes sure all nets are driven, if only by the $undef
|
|
|
|
|
# net.
|
|
|
|
|
opt_expr -undriven
|
|
|
|
|
opt_clean
|
|
|
|
|
|
|
|
|
|
setundef -zero -params
|
|
|
|
|
|
2021-03-12 20:53:09 +08:00
|
|
|
write_json $::env(OUT_JSON)
|
