Download as pdf or txt
Download as pdf or txt
You are on page 1of 18

Integrated Circuits

ECE481
Fall 2021
M3: Digital IC Design
Lecture 2
Design Flow
DiaaEldin Khalil
Ain Shams University
Integrated Circuits Laboratory

D. Khalil ECE481 – M3 Lecture 2 1

Outline

• System Design Flow


• Digital Abstraction Levels
• ASIC Design Flow Details
• FPGA Design Flow Details
• Designer-Fab Relationship
• Designer-FPGA Relationship
• Integrated Circuits Industry

D. Khalil ECE481 – M3 Lecture 2 2

Fall 2021 1
General System Design Flow
System Architecture
System design System analysis
& Specifications

System breakdown

Analog Arch Digital Arch Software Arch


Schematic
RTL design Design &
design
coding
Schematics Simulation RTL RTL simulation Code Testing &
Layout Logical validation
design synthesis
Layout Physical verification Gate-Level GL simulation
Parasitics extraction
Physical
Post-layout simulation
synthesis
Layout Physical verification
Parasitics extraction
System integration Post-layout simulation
Iteration loops are Physical verification
Integrated System
omitted for simplicity Co-simulation
D. Khalil ECE481 – M3 Lecture 2 3

Digital Abstraction Levels


• Typical more compact level of abstraction got 3 levels
below the architecture level
• An upper/lower level can be created from a given level
• Design is done from top-to-bottom
• Verification is done at each level to confirm correctness

Behavioral View
Logical
Abstraction (RTL)
Synthesis

Structural View
(Gate-Level Netlist)
Physical
Extraction Synthesis
Physical View
(Layout)

D. Khalil ECE481 – M3 Lecture 2 4

Fall 2021 2
Outline

• System Design Flow


• Digital Abstraction Levels
• ASIC Design Flow Details
• FPGA Design Flow Details
• Designer-Fab Relationship
• Designer-FPGA Relationship
• Integrated Circuits Industry

D. Khalil ECE481 – M3 Lecture 2 5

ASIC Design Flow

RTL Design Behavioral View RTL Verification


(RTL)

Formal Logical Synthesis


Abstracted View
Verification
Abstraction Structural View Gate-Level
(Gate-Level Netlist) Simulation
Post-Layout
Simulation Extracted Netlist Physical Synthesis

ERC (Electrical
Parasitics Physical View Rules Check)
Extraction (Layout) DRC (Design
Rules Check)
GDSII Generation
LVS (Layout vs.
Iteration loops are omitted for simplicity Fab Schematics)
D. Khalil ECE481 – M3 Lecture 2 6

Fall 2021 3
RTL Design
• Input:
– Design specs
• Output:
– RTL behavioral description
• Tools:
– Manual writing.
– Automated HDL generation tools like HDL Designer
– Automated behavioral synthesis

Register Transfer Level (RTL)


– Written using a HDL
– Describe operation of synchronous circuit in terms of the flow of signals
(or transfer of data) between registers and the logical operations
performed on those signals

D. Khalil ECE481 – M3 Lecture 2 7

RTL Verification
• Goal:
– Check that behavioral RTL functions as specs

• Tools:
Depend on design complexity
– Logic simulation
– FPGA Prototyping
– Emulation

D. Khalil ECE481 – M3 Lecture 2 8

Fall 2021 4
RTL Verification
• Logic simulation: Use logic simulator like Modelsim (optionally use a System
Verilog verification methodology like Open V. M. (OVM) & Unified V. M. (UVM)
– Easy, accurate, flexible, and low cost
– However, not fast enough for large designs
– Too slow to run application software against the hardware design
• FPGA prototyping: Put design on FPGA and test in lab
– Fast and inexpensive
– Long time required to implement a large design
– Little debugging capability
• Emulation: Use Emulator (special hardware of many FPGAs and
dedicated software for real-time verification)
– Improves greatly on the long time of FPGA prototyping
– Provides comprehensive and efficient debugging capability
– Test application (software + hardware debug environment)
– Most expensive

D. Khalil ECE481 – M3 Lecture 2 9

Logical Synthesis

• Input:
– RTL behavioral description

• Output:
– Gate-level netlist (using specific technology library)

• Tools:
– Automated logical synthesis tools
like Design Compiler and Leonardo Spectrum

D. Khalil ECE481 – M3 Lecture 2 10

10

Fall 2021 5
Physical Synthesis (Design)

• Input:
– Gate-level netlist (using specific technology library)

• Output:
– Layout with specific constraints like: area, signal delays,
interconnection area, power, cross-talk

• Tools:
– Automated logical synthesis tools
like Encounter and Olympus-SoC

D. Khalil ECE481 – M3 Lecture 2 11

11

Physical Design – Floorplanning


• Determines sizes and locations of all blocks
• Keeps highly connected blocks physically close to each other

D. Khalil ECE481 – M3 Lecture 2 12

12

Fall 2021 6
Physical Design – Placement
• Determines the location of all logic cells and interconnection
areas within the flexible blocks

D. Khalil ECE481 – M3 Lecture 2 13

13

Physical Design – Routing


• Divided into global routing and detailed routing.
• Global routing determines the location of all interconnections
• Detailed routing completely connects all signals on the chip

Global Routing Detailed Routing

D. Khalil ECE481 – M3 Lecture 2 14

14

Fall 2021 7
Electrical/Design Rules Check (ERC/DRC)
• ERC checks layout to ensure that it meets fabrication electrical rules
• DRC checks layout to ensure that it meets fabrication design rules

D. Khalil ECE481 – M3 Lecture 2 15

15

Layout vs. Schematic (LVS)


• Checks that the layout devices and connectivity have a one-to-one
correspondence with the gate-level netlist
Extracted Netlist

Extract

Layout

Yes
Compare End

No
Netlist
Debug

D. Khalil ECE481 – M3 Lecture 2 16

16

Fall 2021 8
Parasitics Extraction & Post-Layout Simulation
• Parasitics Extraction (PEX) generates an extracted netlist that
includes interconnect parasitics
• Post-layout simulation checks that the extracted netlist performs
correctly compared to the original netlist
Extracted Netlist + Parasitics (RC)

Extract

Layout
Simulate

Yes
Simulate Compare End

No
Netlist
Debug
D. Khalil ECE481 – M3 Lecture 2 17

17

Abstraction & Formal Verification


• Abstraction generates a model that symbolically describe
behavioral operation of the design
• Formal verification checks the abstracted view model against
the design specs Abstracted model

Abstraction

Netlist
Simulate

Yes
Design Specs Compare End

No
Debug

D. Khalil ECE481 – M3 Lecture 2 18

18

Fall 2021 9
Outline

• System Design Flow


• Digital Abstraction Levels
• ASIC Design Flow Details
• FPGA Design Flow Details
• Designer-Fab Relationship
• Designer-FPGA Relationship
• Integrated Circuits Industry

D. Khalil ECE481 – M3 Lecture 2 19

19

FPGA Design Flow


Same as ASIC design flow

RTL Design Behavioral View RTL Verification


(RTL)

Formal Logical Synthesis


Abstracted View
Verification
Abstraction Structural View Gate-Level
(Gate-Level Netlist) Simulation
Timing Mapping
New simplified steps

Simulation Delays Placement


Routing
FPGA
Back-Annotation Physical View

Bit-stream Generation
& FPGA Programming
Iteration loops are omitted for simplicity FPGA
D. Khalil ECE481 – M3 Lecture 2 20

20

Fall 2021 10
Physical Design – Mapping
• Transforms the logic gates into FPGA technology specific logic
blocks (LUTs & FFs). Also optimizes the total number of logic
blocks required (area optimization) or the number of logic blocks
in time-critical paths (delay optimization).

D. Khalil ECE481 – M3 Lecture 2 21

21

Physical Design – Placement


• Determines the specific location for each logic block in the
FPGA fabric, while trying to optimize routing to avoid
congestions and minimize wire delays.

D. Khalil ECE481 – M3 Lecture 2 22

22

Fall 2021 11
Physical Design – Routing
• Routing can be done as one-step.
• Determines the wiring channels capacity and performs detailed
routing to completely connects all signals on the FPGA using the
connect and switch boxes.

D. Khalil ECE481 – M3 Lecture 2 23

23

Back-Annotation & Timing Simulation


• Back-annotation generates timing information (delays, setup,
hold, clock edge) from physical design post routing.
• Timing simulation includes the back-annotated netlist to simulate
and check functionality and timing.
Netlist + Delays

FPGA Back-
Generate Annotate
Physical
Delays Netlist
View

Simulate

Yes
Simulate Compare End

No
Netlist
Debug
D. Khalil ECE481 – M3 Lecture 2 24

24

Fall 2021 12
Outline

• System Design Flow


• Digital Abstraction Levels
• ASIC Design Flow Details
• FPGA Design Flow Details
• Designer-Fab Relationship
• Designer-FPGA Relationship
• Integrated Circuits Industry

D. Khalil ECE481 – M3 Lecture 2 25

25

Designer-Fab Relationship

• In order to fabricate a chip, the designer has to choose


– An appropriate technology with required speed
– A fabrication house (Fab)
– The CAD tools to use

D. Khalil ECE481 – M3 Lecture 2 26

26

Fall 2021 13
Designer-Fab Relationship

• Design Libraries
CAD Tools • Process Design Kit (PDK)

D. Khalil ECE481 – M3 Lecture 2 27

27

Designer-Fab Relationship

Layout Masks

• Design Libraries
CAD Tools • Process Design Kit (PDK)

D. Khalil ECE481 – M3 Lecture 2 28

28

Fall 2021 14
Designer-Fab Relationship

Layout Masks

(Packaged) Chips

• Design Libraries
CAD Tools • Process Design Kit (PDK)

D. Khalil ECE481 – M3 Lecture 2 29

29

Outline

• System Design Flow


• Digital Abstraction Levels
• ASIC Design Flow Details
• FPGA Design Flow Details
• Designer-Fab Relationship
• Designer-FPGA Relationship
• Integrated Circuits Industry

D. Khalil ECE481 – M3 Lecture 2 30

30

Fall 2021 15
Designer-FPGA Relationship

• FPGA development kit


• FPGA design tools FPGA Vendor

• In order to implement on FPGA, the designer has to choose


– An appropriate FPGA with required embedded-blocks, capacity, and
speed
– An appropriate development board with required peripherals (for system
development).
• The designer then completes the flow and programs the FPGA

D. Khalil ECE481 – M3 Lecture 2 31

31

Outline

• System Design Flow


• Digital Abstraction Levels
• ASIC Design Flow Details
• FPGA Design Flow Details
• Designer-Fab Relationship
• Designer-FPGA Relationship
• Integrated Circuits Industry

D. Khalil ECE481 – M3 Lecture 2 32

32

Fall 2021 16
ICs Business Models

• Integrated Device Manufacturer (IDM)


– Have in-house IC design and manufacturing Fabs
– Intel, IBM, Sony, TI, Toshiba, Samsung, Philips, …
• Fabless Design House
– Only focus on IC design of products and IPs
– Broadcom, Marvell, Xilinx, nVidia, Qualcomm, …
• IP Vendor
– ARM, Virage, Artisan, Denali, MIPS, Synopsys, …
• Design Services
– Wipro, TATA Elxsi, HCL Technologies, …
• Electronic Design Automation Vendor (CAD tools)
– Synopsys, Mentor Graphics, Cadence, …

D. Khalil ECE481 – M3 Lecture 2 33

33

ICs Business Models

• Fab
– Only focus on IC manufacturing, mainly for the fabless companies
– TSMC, GlobalFoundries, SMIC, …
• Fab Equipment Vendor
– ASML, Applied Material, Novellus, Hitachi, …
• Wafer Supplier
– NOVA, Wafer World, SVM, …
• Assembly (Packaging) & Testing
– Amkor, Siliconware Precision, Advanced Semi Engineering, …

D. Khalil ECE481 – M3 Lecture 2 34

34

Fall 2021 17
ICs in Egypt
ICs related careers in Egypt:
• Digital RTL design, physical design, verification
• Analog & mixed-signal design, layout, verification
• MEMS design, layout, verification
• Embedded systems & DSP design, verification, implementation
• System integration and development
• CAD development, consultation
ICs related companies in Egypt: (Alphabetical)
• Analog Devices • Mixel
• Axxcelera • Pearl
• Consultix • SilMinds
• Goodix • Si-Vision
• ICpedia • Si-Ware Systems
• MEMS-Vision • ST
• Mentor (Siemens EDA) • Vidatronics
• Microchip • …(there are more)
D. Khalil ECE481 – M3 Lecture 2 35

35

References

• Rabaey, inserts F & G

D. Khalil ECE481 – M3 Lecture 2 36

36

Fall 2021 18

You might also like