Professional Documents
Culture Documents
4
Functional Verification
❑ This is the stage where the design team and verification team come into
the cycle where they generate RTL code using test-benches.
5
Functional Verification
6
RTL Synthesis
❑ It is a process of converting the RTL code into gate level netlist.
1.Translation
2.Optimization
3.Mapping
The inputs for synthesis are RTL code, .SDC and .LIB.after the synthesis the generated
outputs are gate level netlist and .SDC.
7
Chip Partitioning
❑ Chip Partitioning is a process of dividing the chip into small blocks.
❑ These modules are linked together in the main module called the TOP
LEVEL module.
8
Design for Test (DFT)
❑ Design for testability(DFT) is a technique which facilitates a design to
become testable after production.
❑ In this stage we put extra logic along with the design logic during
implementation process which helps post production process.
❑ The DFT will make the testing easy at post production process.At this
stage an ATPG(automatic test pattern generator) file will generated.
9
Design for Test (DFT)
❑ In order to overcome this situation, design for test is introduced with a list
of techniques:
10
Floor Planning
11
Inputs for floorplan
❑ Netlist (.v)
❑ Technology file (techlef)
❑ Timing Library files (.lib)
❑ Physical library (.lef)
❑ Synopsys design constraints (.sdc)
❑ Tlu+
12
Placement
❑ Various factors, like the timing requirement, the net lengths and hence
the connections of cells, power dissipation should be taken care.
13
Inputs and output of placement:
Inputs
❑ Netlist
❑ Floorplan def
❑ Logical and physical library
❑ Design constraint
❑ Technology file
Output:
❑ Placement def
15
Clock Tree Synthesis
❑ With the help of these structures, each flop in the clock tree gets the
clock connection.
❑ During the optimization, tools insert the buffer to build the CTS
structure.
❑ Different clock structures will build the clock tree with a minimum buffer
insertion and lower power consumption of chips.
16
Inputs required for CTS
❑ Placement def
❑ Target latency and skew if specify (SDC)
❑ Buffer or inverters for building the clock tree
❑ The source of clock and all the sinks where the clock is going to feed
Clock tree DRC (max Tran, max cap, max fan-out, max no. of buffer
levels)
❑ NDR (Nondefault routing) rules (because clock nets are more prone to
cross-talk effect)
❑ Routing metal layers used for clocks.
1. Global routing
2. Track assignment
3. Detail routing
4. Search and repair
19
Final Verification
❑ After routing, ASIC design layout undergoes three steps of physical
verification, known as signoff checks. This stage helps to check whether
the layout working the way it was designed to:
20
GDS II- Graphical Data Stream Information Interchange
❑ In the last stage of the tapeout, the engineer performs wafer processing,
packaging, testing, verification and delivery to the physical IC.
21
INTEGRATED CIRCUIT PACKAGING