3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-11 11:43:38 +00:00
yosys/backends/btor/btor.ys
2014-02-11 15:43:03 +01:00

18 lines
332 B
Plaintext

proc;
opt; opt_const -mux_undef;
#splice;
opt;
rename -hide;;;
#converting pmux to mux
techmap -share_map pmux2mux.v;;
memory_dff -wr_only; memory_collect;;
#flatten design
flatten;;
#converting asyn memory write to syn memory
memory_unpack;
#cell output to be a single wire
splitnets -driver;
setundef -zero -undriven;
opt;;;