yosys/manual/PRESENTATION_ExSyn/memory_02.ys
2014-02-02 22:26:26 +01:00

4 lines
98 B
Text

read_verilog memory_02.v
hierarchy -check -top test
proc;; memory -nomap
opt -mux_undef -mux_bool