| read_verilog counter.v | |
| read_verilog -lib cmos_cells.v | |
| proc;; memory;; techmap;; | |
| dfflibmap -liberty cmos_cells.lib | |
| abc -liberty cmos_cells.lib;; | |
| # http://vlsiarch.ecen.okstate.edu/flows/MOSIS_SCMOS/latest/cadence/lib/tsmc025/signalstorm/osu025_stdcells.lib | |
| # dfflibmap -liberty osu025_stdcells.lib | |
| # abc -liberty osu025_stdcells.lib;; | |
| write_verilog synth.v | |
| write_spice -neg 0s -pos 1s synth.sp | |