plugin -i nangate
read_verilog -sv example/mult.sv
# read_verilog -sv example/shift_reg.sv
chparam -set WIDTH 16 -set STAGES 4 mult
synth -flatten -top mult
abc -g NAND -dff -D 1
synth_nan -top mult
synth_ice40 -noflatten -top mult
flatten
write_blif -gates -attr -param mult.blif
stat