| |
| read_verilog HardFloat_primitives.v |
| read_verilog HardFloat_rawFN.v |
| read_verilog isSigNaNRecFN.v |
| |
| read_verilog mulRecFN.v |
| read_verilog mulAddRecFN.v |
| read_verilog addRecFN.v |
| |
| hierarchy -check -top mulAddRecFN |
| flatten |
| proc; opt; fsm; opt; memory; opt |
| techmap; opt |
| dfflibmap -liberty /home/m/Builds/CaravalPDK/sky130B/libs.ref/sky130_fd_sc_hd/lib/sky130_fd_sc_hd__tt_025C_1v80.lib |
| abc -liberty /home/m/Builds/CaravalPDK/sky130B/libs.ref/sky130_fd_sc_hd/lib/sky130_fd_sc_hd__tt_025C_1v80.lib |
| clean |
| show -format dot mulAddRecFN |
| stat |
