2023-12-06 18:04:46 -06:00
|
|
|
# read
|
2014-01-29 05:15:38 -06:00
|
|
|
read_verilog counter.v
|
|
|
|
hierarchy -check -top counter
|
2023-08-02 16:20:29 -05:00
|
|
|
show -notitle -format dot -prefix counter_00
|
2014-01-29 05:15:38 -06:00
|
|
|
|
2023-12-06 18:04:46 -06:00
|
|
|
# elaborate
|
|
|
|
proc
|
|
|
|
show -notitle -format dot -prefix counter_proc
|
2014-01-29 05:15:38 -06:00
|
|
|
|
2023-12-06 18:04:46 -06:00
|
|
|
opt
|
2023-08-02 16:20:29 -05:00
|
|
|
show -notitle -format dot -prefix counter_01
|
2014-01-29 05:15:38 -06:00
|
|
|
|
|
|
|
# mapping to internal cell library
|
2014-06-26 15:05:39 -05:00
|
|
|
techmap; opt
|
2014-01-29 05:15:38 -06:00
|
|
|
|
2014-06-26 15:05:39 -05:00
|
|
|
splitnets -ports;;
|
2023-08-02 16:20:29 -05:00
|
|
|
show -notitle -format dot -prefix counter_02
|
2014-01-29 05:15:38 -06:00
|
|
|
|
|
|
|
# mapping flip-flops to mycells.lib
|
|
|
|
dfflibmap -liberty mycells.lib
|
|
|
|
|
|
|
|
# mapping logic to mycells.lib
|
|
|
|
abc -liberty mycells.lib
|
|
|
|
|
|
|
|
# cleanup
|
|
|
|
clean
|
|
|
|
|
2023-08-02 16:20:29 -05:00
|
|
|
show -notitle -lib mycells.v -format dot -prefix counter_03
|