- log(" begin:\n");
- log(" read_verilog -lib +/greenpak4/cells_sim.v\n");
- log(" hierarchy -check -top <top>\n");
- log("\n");
- log(" flatten: (unless -noflatten)\n");
- log(" proc\n");
- log(" flatten\n");
- log(" tribuf -logic\n");
- log("\n");
- log(" coarse:\n");
- log(" synth -run coarse\n");
- log("\n");
- log(" fine:\n");
- log(" greenpak4_counters\n");
- log(" clean\n");
- log(" opt -fast -mux_undef -undriven -fine\n");
- log(" memory_map\n");
- log(" opt -undriven -fine\n");
- log(" techmap\n");
- log(" dfflibmap -prepare -liberty +/greenpak4/gp_dff.lib\n");
- log(" opt -fast\n");
- log(" abc -dff (only if -retime)\n");
- log("\n");
- log(" map_luts:\n");
- log(" nlutmap -luts 0,6,8,2 (for -part SLG46140V)\n");
- log(" nlutmap -luts 0,8,16,2 (for -part SLG46620V)\n");
- log(" nlutmap -luts 0,8,16,2 (for -part SLG46621V)\n");
- log(" clean\n");
- log("\n");
- log(" map_cells:\n");
- log(" dfflibmap -liberty +/greenpak4/gp_dff.lib\n");
- log(" techmap -map +/greenpak4/cells_map.v\n");
- log(" dffinit -ff GP_DFF Q INIT\n");
- log(" clean\n");
- log("\n");
- log(" check:\n");
- log(" hierarchy -check\n");
- log(" stat\n");
- log(" check -noinit\n");
- log("\n");
- log(" json:\n");
- log(" splitnets (temporary workaround for gp4par parser limitation)\n");
- log(" write_json <file-name>\n");
- log("\n");