4.2. Synthesis

Hammer supports synthesizing Verilog-based RTL designs to gate-level netlists. This action requires a tool plugin to implement HammerSynthesisTool.

4.2.1. Synthesis Setup Keys

  • Namespace: vlsi.core

    • synthesis_tool
      • Module of the synthesis tool, e.g. hammer.synthesis.genus

4.2.2. Synthesis Input Keys

  • Namespace: synthesis

    • inputs.input_files ([])

      • A list of file paths to source files to be passed to the synthesis tool. The paths may be relative to the directory in which hammer-vlsi is called.

    • inputs.top_module (str)

      • Name of the top level verilog module of the design.

    • clock_gating_mode (str)

      • auto: turn on automatic clock gating inference in CAD tools

      • empty: do not do any clock gating

4.2.3. Synthesis Inputs

There are no prerequisites to running synthesis other than setting the keys that are described above.

4.2.4. Synthesis Outputs

  • Mapped verilog file: obj_dir/syn-rundir/{TOP_MODULE}.mapped.v

  • Mapped design SDF: obj_dir/syn-rundir/{TOP_MODULE}.mapped.sdf

  • Synthesis output Hammer IR is contained in obj_dir/syn-rundir/syn-output.json

  • Synthesis reports for gates, area, and timing are output in obj_dir/syn-rundir/reports

The synthesis output Hammer IR is converted to inputs for the P&R tool and the simulation tool by the Hammer syn-to-par and syn-to-sim commands, respectively.

4.2.5. Synthesis Commands

  • Synthesis Command

    • hammer-vlsi -e env.yml -p config.yml --obj_dir OBJ_DIR syn

  • Synthesis to Place-and-route

    • hammer-vlsi -e env.yml -p config.yml -p OBJ_DIR/syn-rundir/syn-output.json --obj_dir OBJ_DIR syn-to-par

  • Synthesis to Simulation

    • hammer-vlsi -e env.yml -p config.yml -p OBJ_DIR/syn-rundir/syn-output.json --obj_dir OBJ_DIR syn-to-sim