CH 01
CH 01
CH 01
Jin-Fu Li Advanced Reliable Systems (ARES) Laboratory Department of Electrical Engineering National Central University Jhongli, Taiwan
Outline
Introduction VLSI Design Flows & Design Verification VLSI Design Styles System-on-Chip Design Methodology
100,000,000 Productivity 10,000,000 1,000,000 100,000 10,000 1,000 100 1985 1990 1995 2000 2005 2010
[Source: MITRE]
3
IC Community
Design rules
Silicon foundry
IC design
CAD
Process information
tool provider
Software tools
System Integration
Physical
Co nt ro l
[Source: MITRE]
Advanced Reliable Systems (ARES) Lab. Jin-Fu Li, EE, NCU 6
Y-Chart
Structural Domain
Processor Register ALU Leaf Cell Transistor FSM Module Description Boolean Equ.
Behavioral Domain
Algorithm
Physical Domain
Advanced Reliable Systems (ARES) Lab. Jin-Fu Li, EE, NCU 7
Design Validation
Designer
Behavior Specification
Manufacturing
RTL Verification
Behavior Synthesis
RTL Design
Layout Synthesis
Logic Verification
Logic Synthesis
Behavioral Synthesis
Vary clock period 3 cycles=15 ns
HDL
z = a(i) b(i) c d (k ) + f
2 cycles=20 ns
Multiple Architectures
RTL Synthesis
Vary clock period 1 clock cycle 1 cycle=50 ns
Single Architecture
Source: Synopsys
Advanced Reliable Systems (ARES) Lab. Jin-Fu Li, EE, NCU 9
Constraints allow designer to explore different architectures, trading off speed vs. area Two possible implementations for a complex multiplier:
tp=5
tp=8.7
tp=23.0
tp=9.5
= 3 clock cycles
[Source: MITRE]
11
Verification
The four representations of the design
Behavioral, RTL, gate level, and layout
In mapping the design from one phase to another, it is likely that some errors are produced
Caused by the CAD tools or human mishandling of the tools
Usually, simulation is used for verification, although more recently, formal verification has been gaining in importance Two types of simulations are used to verify the design
Functional simulation & timing simulation
12
DFT Flow
Behavioral Description Behavioral DFT Synthesis RTL Description Logic DFT Synthesis Gate Description Test Pattern Generation Low Fault Coverage ? High Good Product
Advanced Reliable Systems (ARES) Lab. Jin-Fu Li, EE, NCU 13
Gate Technology Mapping Layout Parameter Extraction Manufacturing Product Test Application
Vss z
Vdd
14
Buffering Inputs
Advanced Reliable Systems (ARES) Lab. Jin-Fu Li, EE, NCU
Buffering Outputs
15
Cell 9
Cell 10
Cell 11
Cell 12
Cell 13
Cell 14
Cell 15
Cell 16
Cell 17
Cell 18
Cell 19
Cell 20
Cell 21
Cell 22
Cell 23
Cell 24
16
17
18
19
EAB
I/O I/O Embedded Array Block I/O I/O
I/O I/O
EAB
I/O I/O
20
21
Cell 6
Cell 7
Cell 8
Cell 9
Cell 10
Cell 11
Cell 12
Cell 13
Advanced Reliable Systems (ARES) Lab.
Cell 14
Cell 15
Cell 16
Cell 17
22
ci
fadder
cout
sum
23
Semi-custom
-Can be time consuming to built-up standard cells; -Expensive in the short term but cheaper in long-term costs; -Can be wasteful of space and pin connections; -Relatively expensive in large volumes;
24
FPGA
25
Whats a System?
System
[Source: M. Gudarzi]
Advanced Reliable Systems (ARES) Lab. Jin-Fu Li, EE, NCU 26
Whats a System?
Customers view: System = User/Customer-specified functionality + requirements in terms of: Cost, Speed, Power, Dimensions, Weight,
[Source: M. Gudarzi]
Advanced Reliable Systems (ARES) Lab. Jin-Fu Li, EE, NCU 27
Integration Test
Integration Test
28
SDLs
C Pascal ADA
[Source: M. Gudarzi]
Advanced Reliable Systems (ARES) Lab. Jin-Fu Li, EE, NCU 29
Operating System
[Source: M. Gudarzi]
Advanced Reliable Systems (ARES) Lab. Jin-Fu Li, EE, NCU 30
Hardware Realization
Speed Energy Efficiency Cost Efficiency (in high volumes)
Software Realization
Flexibility Ease of Development Ease of Test and Debug Cost = SW + Processor
[Source: M. Gudarzi]
31
HW-SW Co-design
How much SW + how much HW? Objectives:
Power Speed Area Memory space Time-to-market
Implementation platform:
Collection of chips on a board (MCM)
32
Can build pieces somewhat independently, but integration is major step. Also requires bottom-up feedback
33
System
OS Specification Verification
[Source: M. Gudarzi]
Advanced Reliable Systems (ARES) Lab. Jin-Fu Li, EE, NCU 34
[Source: M. Gudarzi]
System Specification
Verification
Co-Synthesis
Partitioning HW Parameter Estimation SW Parameter Estimation Verification
HW Synthesis ASIC
SW Synthesis
Verification
OS EXE Code
Verification
Final Verification
35
IP Core Examples:
Processors: PowerPC, 680x0, ARM, Controllers: PCI, DSP Processors: TI ...
IP Core Categories:
Soft Cores: HDL, SW/HW Cores Firm Cores: Synthesized HDL Hard Cores: Layout for a specific fabrication process
36
Architecture trends
Regular architectures, e.g., multi-core architecture Network-on-chip communication
Challenges
Power Reliability Yield Design-for-manufacturability
37