techlibs/cmos/counter.ys


1
2
3
4
5
6
7
8
9
10
11

read_verilog counter.v
read_verilog -lib cmos_cells.v

proc;; memory;; techmap;;
dfflibmap -liberty cmos_cells.lib
abc -liberty cmos_cells.lib;;

write_verilog synth.v
write_spice synth.sp