3/1/22, 11:24 AM Synthesis – signoffsemiconductors
Home Services Solutions Domains Insights Careers Company
Synthesis
October 17, 2017
By signoff-scribe
Synthesis
Author: Batchu Sri Sai Chaitanya, Physical Design Engineer, Signoff Semiconductors
Synthesis is process of converting RTL (Synthesizable Verilog code) to technology specific gate level netlist (includes nets, se
combinational cells and their connectivity).
Goals of Synthesis
1. To get a gate level netlist
2. Inserting clock gates
3. Logic optimization
4. Inserting DFT logic
5. Logic equivalence between RTL and netlist should be maintained
Input files required
https://signoffsemiconductors.com/synthesis-2/ 1/10
3/1/22, 11:24 AM Synthesis – signoffsemiconductors
1. Tech related:
.tf- technology related
Homeinformation.
Services Solutions Domains Insights Careers Company
.lib-timing info of standard cell & macros
2. Design related:
.v- RTL code.
SDC- Timing constraints.
UPF- power intent of the design.
Scan config- Scan related info like scan chain length, scan IO, which flops are to be considered in the scan chains
3. For Physical aware:
RC co-efficient file (tluplus).
LEF/FRAM- abstract view of the cell.
Floorplan DEF- locations of IO ports and macros.
Synthesis steps
Fig1: Synthesis Flow
https://signoffsemiconductors.com/synthesis-2/ 2/10
3/1/22, 11:24 AM Synthesis – signoffsemiconductors
Home Services Solutions Domains Insights Careers Company
1. Analyze
Checks syntax on RTL and generates immediate files.
2. Elaborate
Brings all lower level blocks into synthesis tool.
All the codes and arithmetic operators are converted into Gtech and DW (Design Ware) components. These are technolo
Gtech- contains basic logic gates &flops.
DesignWare- contains complex cells like FIFO, counters.
Elaborate performs following tasks;
Analyses design hierarchy.
Removes empty switches and dead branches.
Executes initial commands.
Detects asynchronous reset.
Converts decision trees to mux.
Converts synchronous to Dlatch/DFF.
FSM pass
Detects FSM logic and extracts the no of input, output bits and state bits.
Converts FSM logic to basic logic.
Memory pass
Merging DFF to memory write(memwr) and memory read (memrd)
Consolidating memwr/memrd cells
https://signoffsemiconductors.com/synthesis-2/ 3/10
3/1/22, 11:24 AM Synthesis – signoffsemiconductors
Generate memory (mem) cells
Mapping mem cells to basic
Home logic
Services Solutions Domains Insights Careers Company
3. Import constraints and UPF
Once the design is extracted in the form of technology independent cells, timing constraints are imported from the SDC file.
If the design consists of multiple power domains, then using the UPF power domains, isolation cells, level shifters, power switc
placed.
4. Clock gating
Due to high switching activity of clock a lot of dynamic power is consumed. One of the techniques to lower the dynamic pow
enabled flops, the output of the flops switches only when the enable is on. But clock switches continuously, increasing the dy
By converting load enable circuits to clock gating circuit dynamic power can be reduced. Normal clock gating circuit consist
clock path with one input as enable. But when enable becomes one in between positive level of the clock a glitch is obtained
Fig2: Load enabled register bank
https://signoffsemiconductors.com/synthesis-2/ 4/10
3/1/22, 11:24 AM Synthesis – signoffsemiconductors
Home Services Solutions Domains Insights Careers Company
Fig3: Clock gated register bank
Fig4: Waveform for clock gate
To remove the glitches due to AND gate, integrated clock gate is used. It has a negative triggered latch and an AND gate.
Fig5: Integrated clock gated register bank
https://signoffsemiconductors.com/synthesis-2/ 5/10
3/1/22, 11:24 AM Synthesis – signoffsemiconductors
Home Services Solutions Domains Insights Careers Company
Fig6: Waveform for ICG
Clock gating makes design more complex. Timing and CG timing closure becomes complex. Clock gating adds more gates
bit width (minimum register bit width to be clock gated) should be wisely chosen, because the overall dynamic power consu
5. Compile
Performs Boolean optimization.
Maps all the cells to technology libraries.
Performs logic and design optimization.
6. Optimization
Logic optimization
Constant folding
Detect identical cells
Optimize mux(dead branches in mux)
consolidate mux and reduce inputs(many to single)
Remove DFF with constant value
Reduce word size of the cells
Remove unused cells and wires
https://signoffsemiconductors.com/synthesis-2/ 6/10
3/1/22, 11:24 AM Synthesis – signoffsemiconductors
Design optimization
Reduce TNS and WNS Home Services Solutions Domains Insights Careers Company
Power Optimization
Area Optimization
Meet the timing DRV’s
incremental clock gating
7. DFT (Design for Testing) insertion
DFT circuits are used for testing each and every node in the design.
More the numbers of nodes that can be tested with some targeted pattern, more is the coverage.
To get more coverage the design needs to be more controllable and observable.
For the design to be more controllable we need more control points (mux through which alternate path is provided to pr
For the design to be more observable we need more observe point (A scan-able flop that observes the value at that nod
Scan mode is used to test stuck at faults and manufactured devices for delay.
Scan mode is done using scan chains
Scan chains are part of scan based designs to propagate the test data.
By having scan chains, the design can be more controlable and observable.
Each scan chain inputs the pattern through scan input and outputs the pattern through scan output.
Scan chain consists of scan flops where the output of scanflops is directly connected to scan inputs of the flops.
Stages of scan mode
Inputs the pattern through scan input port.
Scan shift- Scan enable is set to 1. Then inputs the pattern through the scan input, shifts the pattern through the scan
with test pattern.
https://signoffsemiconductors.com/synthesis-2/ 7/10
3/1/22, 11:24 AM Synthesis – signoffsemiconductors
Scan capture- Scan enable is set to 0. In one clock cycle the loaded value in the flops propagates through combinat
the D pin of the next flop.
Home Services Solutions Domains Insights Careers Company
Scan enable is set to 1 and outputs the pattern through scan output port.
The scan chain length and number of scan chains has to be properly chosen, as having more scan chain length increas
time and having more scan chains increases the number of scan IO ports.
Fig7: Scan chain
8. Compile incremental
Technology mapping of DFT circuit
Optimization of the design
9. Outputs of Synthesis
netlist
SDC
UPF
ScanDEF- information of scan flops and their connectivity in a scan chain
Checklist
https://signoffsemiconductors.com/synthesis-2/ 8/10
3/1/22, 11:24 AM Synthesis – signoffsemiconductors
Check if the RTL and netlist are logically equivalent (LEC/FM).
Check if SDC and UPF are generated after synthesis
Home Services and also check their completeness.
Solutions Domains Insights Careers Company
Check if there are any assign statements.
Checks related to timing
Combinational loops
Un-clocked registers
unconstrained IO’s
IO delay missing
Un-expandable clocks
Master slave separation
multiple clocks
Checks related to design
Floating pins
multi driven inputs
un-driven inputs
un-driven outputs
normal cells in clock path
pin direction mismatch
don’t use cells
There is no better time Contact Us India Location North America Locations
than now
+91 80 4865 0875
https://signoffsemiconductors.com/synthesis-2/ 9/10
3/1/22, 11:24 AM Synthesis – signoffsemiconductors
Let’s Talk!
Home
hr@signoffsemi.com
Services Solutions
Bangalore, India
(Headquarter)
Domains Insights
No 3C-1001, 3rd Floor,
San Jose, USA
6203 San Ignacio
Careers Company
Suits
Avenue 110, PMB
Write to us now 100 ft Road, HRBR 1157, San Jose CA 95119
sales@signoffsemi.com
Layout 1st Block, Banswadi,
Canada
Bangalore-560043, India.
Yonge St Unit #
MAILBOX Thornhill, ON
L4J 8J2 Canada
© 2022. All rights reserved. | Privacy Policy
https://signoffsemiconductors.com/synthesis-2/ 10/10