© Synopsys 2012 21 Key Innovations in Electronics: Audio/Video... © Synopsys 2012 22 Key Innovations in Electronics: Audio/Video... © Synopsys 2012 23 Key Innovations in Electronics: Aud
Trang 1© Synopsys 2012 1
Digital IC Design
Victor Grimblatt R&D Group Director
SASE 2012
Trang 3© Synopsys 2012 3
Introduction
Trang 5© Synopsys 2012 5
Mobile
0 20 40 60 80 100
2010 2011 2012 2013 2014 2015
Handset IC Market Value ($B)
0 3 6 9 12 15
2010 2011 2012 2013 2014 2015
Tablet IC Market Value ($B)
$38B to $109B in non-memory ICs in 5 years!
Source IBS, February 2011
Trang 7© Synopsys 2012 7
Smart Everything
Lines of Code
SW & E/E
% Vehicle Cost
Software Sensors Microprocessors
Storage Communication
“Smart”
33% 1M
Trang 9© Synopsys 2012 9
Applications
Electronics
~$1.31T Semi
Trang 10© Synopsys 2012 10
What Drives the Drivers?
Power Performance
Cloud
Infrastructure
Power/Cost/Perf Integration
“Smart”
Performance
Power
Mobile
Trang 11© Synopsys 2012 11
Advanced Designs and Tapeouts
Source: Synopsys Global Technical Services
Trang 12© Synopsys 2012 12
Leading the Way at 32/28nm Design
Source: Synopsys Global Technical Services
> 370 32/28nm Active Designs
Trang 13© Synopsys 2012 13
Leading the Way at 22/20nm Design
Source: Synopsys Global Technical Services
> 70 22/20nm Active Designs
Trang 14© Synopsys 2012 14
Leading the Way at 16/14nm Design
Source: Synopsys Global Technical Services
> 12 16/14nm Active Designs
Trang 15Advanced Design Trends
56% of Respondents Currently Designing at 45nm or Below
Source: 2011 Synopsys Global User Survey
Trang 16Last Current Next
Power Performance Requirements Drive Node Migrations
Source: 2011 Synopsys Global User Survey
48% of “Next Designs” ≤ 32nm!
“Next Design” is this Year!
Trang 17Clock Frequency Trends
Frequency is Increasing Over 1GHz
Source: 2011 Synopsys Global User Survey
Trang 18Designs Are Growing More Complex
Memory = 48% of Gate Count (on average)
Source: 2011 Synopsys Global User Survey
Trang 19OS Support Design Management Post-silicon Validation Masks
Physical Design RTL Verification RTL Development Spec Development
IP Qualification
Hardware/Software Development Costs
Software Is Half of Time-to-Market
Source: IBS, Synopsys
Trang 20© Synopsys 2012 20
Electronic Systems, an Historic Prospective
Trang 21© Synopsys 2012 21
Key Innovations in Electronics: Audio/Video
Trang 22© Synopsys 2012 22
Key Innovations in Electronics: Audio/Video
Trang 23© Synopsys 2012 23
Key Innovations in Electronics: Audio/Video
Trang 24© Synopsys 2012 24
Key Innovations in Electronics: Audio/Video
Trang 25© Synopsys 2012 25
Key Innovations in Electronics: Audio/Video
Trang 26© Synopsys 2012 26
Key Innovations in Electronics: Audio/Video
Trang 27© Synopsys 2012 27
Key Innovations in Electronics: Audio/Video
Trang 28© Synopsys 2012 28
Key Innovations in Electronics: Audio/Video
Trang 29© Synopsys 2012 29
Key Innovations in Electronics: Audio/Video
Trang 30© Synopsys 2012 30
Key Innovations in Electronics: Audio/Video
Trang 31© Synopsys 2012 31
Key Innovations in Electronics: Audio/Video
Trang 32© Synopsys 2012 32
Key Innovations in Electronics:
Audio/Video
2005 Sonos
Trang 33© Synopsys 2012 33
Key Innovations in Electronics: Computers & Communications
Trang 34© Synopsys 2012 34
Going to a satellite not so far away!
Apollo Guidance Computer, ~100 Microns, MIT
Source: MIT, 1961
1961
Trang 35© Synopsys 2012 35
Key Innovations in Electronics: Computers & Communications
Trang 36© Synopsys 2012 36
Key Innovations in Electronics: Computers & Communications
Trang 37© Synopsys 2012 37
Key Innovations in Electronics: Computers & Communications
Trang 38© Synopsys 2012 38
Key Innovations in Electronics: Computers & Communications
Trang 39© Synopsys 2012 39
Key Innovations in Electronics: Computers & Communications
Trang 40© Synopsys 2012 40
Key Innovations in Electronics: Computers & Communications
Trang 41© Synopsys 2012 41
Key Innovations in Electronics: Computers & Communications
Trang 42© Synopsys 2012 42
Key Innovations in Electronics: Computers & Communications
Trang 43© Synopsys 2012 43
Key Innovations in Electronics: Computers & Communications
Trang 44© Synopsys 2012 44
Key Innovations in Semiconductors
Trang 45© Synopsys 2012 45
Key Innovations in Semiconductors
Trang 46© Synopsys 2012 46
Once Upon a Time …
April, 1961 first integrated circuit developed by Robert Noyce, from Fairchild Semiconductor
Trang 47© Synopsys 2012 47
Key Innovations in Semiconductors
Trang 48© Synopsys 2012 48
Key Innovations in Semiconductors
Trang 49© Synopsys 2012 49
Key Innovations in Semiconductors
Trang 51© Synopsys 2012 51
Key Innovations in Semiconductors
Trang 52© Synopsys 2012 52
A 10,000X Improvement, Thanks To…
“A Computer Code Entitled SCALD […] Speeds the Job”
Source: Lawrence Livermore National Laboratory, Newsline, January 10 th , 1979
Trang 53© Synopsys 2012 53
Key Innovations in Semiconductors
Trang 55© Synopsys 2012 55
Time Flies Away …
DEC Alpha 21064, 64bits, 750 nm CMOS, 200Mhz
Source: Wikimedia Commons; Courtesy of A Domic
1991
300 DMIPS
Trang 56© Synopsys 2012 56
Key Innovations in Semiconductors
Trang 57© Synopsys 2012 57
Key Innovations in Semiconductors
Trang 58© Synopsys 2012 58
Key Innovations in Semiconductors
Trang 59© Synopsys 2012 59
Another Time Stamp …
Itanium, 180 Nanometers, Intel
Source: Intel, 2001
2001
~25 GOPS
Trang 60© Synopsys 2012 60
Key Innovations in Semiconductors
Trang 62DDR CTRL1
CSI
DSS
• Application processor for
smart phones and tablets
– Dual ARM Cortex A9
Trang 63© Synopsys 2012 63
Area = 1
Area = 0.5
Gordon E Moore’s Law
Twice the Number of Transistors for the Same Price, Every Two Years
“The complexity for minimum component
costs has increased at a rate of roughly a
factor of two per year Certainly over
the short term this rate can be expected to
continue, if not to increase Over the
longer term, the rate of increase is a bit
more uncertain, although there is no
reason to believe it will not remain nearly
constant for at least 10 years.” Gordon E
Moore, Electronic Magazine, April 19 th ,
1965
The Scaling Factor
Trang 64© Synopsys 2012 64
Ley de Moore
16 15 14 13 12 11 10 9 8 7 6 5 4 3 2 1 0
Trang 65© Synopsys 2012 65
Wafer 1” – 1959
Trang 66© Synopsys 2012 66
Wafer 300 mm
Trang 67© Synopsys 2012 67
Proyecciones para el 2000 en 1975
Moore no siempre tuvo razón
Trang 68© Synopsys 2012 68
Design - Layout
Trang 70© Synopsys 2012 70
Design - Layout
Trang 71© Synopsys 2012 71
Plotter
1970 – From Manual Layout to Manufacturing
Mainframe-500 lbs 128k; 8-16 bit
33 MB Disk
Keyboard, Tablet and CRT
Digitizing Table/Tablet
Mag Tape-Output
Photo-Mask Generation
* Computer Aided Manufacturing
The Age of the Gods SENSES
Trang 72© Synopsys 2012 72
Design - Layout
Trang 74© Synopsys 2012 74
Standard Cells & Channel Routing
Source: GE Avionics, 1968
Trang 75© Synopsys 2012 75
Technology Or… Art?
Source: Intel & MoMA, 1974
Trang 76© Synopsys 2012 76
Design - Synthesis
Trang 77© Synopsys 2012 77
Design - Synthesis
Trang 78© Synopsys 2012 78
Design - Synthesis
Trang 79© Synopsys 2012 79
Design - Fab
Trang 80© Synopsys 2012 80
Design - Fab
Trang 81© Synopsys 2012 81
Design - Verification
Trang 82© Synopsys 2012 82
Design - Verification
Trang 83© Synopsys 2012 83
Design - Verification
Trang 84
Logic Synthesis
Flex Cathedral Ptolemy
Trang 85Place &
Route Logic
Synthesis High-Level
Design DRC/LVS Discipline Multi
Innovators
Trang 86© Synopsys 2012 86
Synopsys Design Flow
Trang 87Verify: verify the correctness of
design and implementation
Trang 88© Synopsys 2012 88
Bottom – up / Top – down
• Bottom – up
– Start from simple modules
– Goes to complex modules
– Suitable to create small parts that will be reused
• Top – down
– Start from complex modules
– Goes to simple modules
– Suitable for big systems
Trang 89© Synopsys 2012 89
Bottom – up / Top – down
Complex system
Module (one function)
Register and gates
Transistors
Top – down Bottom – up
Trang 90© Synopsys 2012 90
Front End
Architecture
Functional Verification
RTL Design/Logic Synthesis
Physical Design Integrity Design
Trang 91© Synopsys 2012 91
The Front End
Architecture:
• Key Algorithms (filtering, for example)
• Amount of on-chip Memories, sizes?
• How many Integer Proc Units?
RTL: Register Transfer Language
• Verilog (1988), VHDL, SystemVerilog: an executable spec for the chip, amounting to over a million lines of code
• Lots of simulations to verify the spec (literally billions of cycles)
• Timing constraints, clock definitions, etc
Trang 92© Synopsys 2012 92
The Front End
Logic Design: convert the RTL to logic gates
(NAND-NORs, NOTs, Registers)
• A manual process in the past, still mostly manual for Analog
• Logic Synthesis (1989): automate the process
• Many discrete optimization techniques used here: boolean minimization, static timing analysis, state equivalence, etc, etc
• End point is a “netlist”, meaning a set of logic gates and their connections A large netlist is in the 10s of millions of gates
• Can be simulated or “formally verified” versus the RTL
• Key technique: how do you prove that two logic equations are equivalent?
Trang 93complete the connections
• Note that connections do have R and C (to substrate and coupling between wires) so they introduce delay! Meeting timing can be very difficult!
• The Power and Ground lines usually get decided here
Trang 94• Note may have to add logic: repeaters to
restore signals a key example
Trang 95© Synopsys 2012 95
The Back End
Routing
• Complete all the connections!
• But, need to meet timing and keep signal integrity This also involve separating some wires, for example, to avoid bad
couplings
• Automation is the norm here (1980)
Verification:
• Spacing and sizing rules are checked for all polygons (1980)
• Parasitics are extracted, netlists back annotated and time
analyzed using static techniques (1990)
• Manufacturing requires complicated rules, such as wire density been “uniform”
Trang 96© Synopsys 2012 96
Design Goes to Fabrication
Sounds simple, but have a host of
very hard problems to solve!
Trang 98© Synopsys 2012 98
…the steps you take to design a chip!
What’s a design flow?
Technology Process
Blah blah blah yada yada Blah blah blah yidie yadie
So on and so forth
on and on Jibber jabber jibber just jawing Yackety yack Ya'll com back
Blah blah blah yada yada Blah blah blah yidie yadie
So on and so forth
on and on Jibber jabber jibber just jawing Yackety yack Ya'll com back
Blah blah blah yada yada Blah blah blah yidie yadie
So on and so forth
on and on Jibber jabber jibber just jawing Yackety yack Ya'll com back
Gate-level netlist
Testbench
Blah blah blah yada yada Blah blah blah yidie yadie
So on and so forth
on and on Jibber jabber jibber just jawing Yackety yack Ya'll com back
Blah blah blah yada yada Blah blah blah yidie yadie
So on and so forth
on and on Jibber jabber jibber just jawing Yackety yack Ya'll com back
Blah blah blah yada yada Blah blah blah yidie yadie
So on and so forth
on and on Jibber jabber jibber just jawing Yackety yack Ya'll com back Specification
Blah blah blah yada yada Blah blah blah yidie yadie
So on and so forth
on and on Jibber jabber jibber just jawing Yackety yack Ya'll com back
Blah blah blah yada yada Blah blah blah yidie yadie
So on and so forth
on and on Jibber jabber jibber just jawing Yackety yack Ya'll com back
Blah blah blah yada yada Blah blah blah yidie yadie
So on and so forth
on and on Jibber jabber jibber just jawing Yackety yack Ya'll com back
Scripts Initial constraints
System Analysis
System Studio
Logic Modeling
Select Architecture
Module Compiler
Models / IP
Library Compiler DesignWare Library VERA
Gate-level verification
Links-to- Layout Design Planning
Blah blah blah yada yada Blah blah blah yidie yadie
So on and so forth
on and on Jibber jabber jibber just jawing Yackety yack Ya'll com back
Blah blah blah yada yada Blah blah blah yidie yadie
So on and so forth
on and on Jibber jabber jibber just jawing Yackety yack Ya'll com back
Blah blah blah yada yada Blah blah blah yidie yadie
So on and so forth
on and on Jibber jabber jibber just jawing Yackety yack Ya'll com back GDSII
Physical Compiler JupiterXT
Proteus
Physical Design Checks
STAR-RCXT Hercules
RTL Gates
Design Constraints
Mask Writer
CATS
Trang 99© Synopsys 2012 99
Technology Process
Blah blah blah yada yada Blah blah blah yidie yadie
So on and so forth
on and on Jibber jabber jibber just jawing Yackety yack Ya'll com back
Blah blah blah yada yada Blah blah blah yidie yadie
So on and so forth
on and on Jibber jabber jibber just jawing Yackety yack Ya'll com back
Blah blah blah yada yada Blah blah blah yidie yadie
So on and so forth
on and on Jibber jabber jibber just jawing Yackety yack Ya'll com back
Gate-level netlist
Testbench
Blah blah blah yada yada Blah blah blah yidie yadie
So on and so forth
on and on Jibber jabber jibber just jawing Yackety yack Ya'll com back
Blah blah blah yada yada Blah blah blah yidie yadie
So on and so forth
on and on Jibber jabber jibber just jawing Yackety yack Ya'll com back
Blah blah blah yada yada Blah blah blah yidie yadie
So on and so forth
on and on Jibber jabber jibber just jawing Yackety yack Ya'll com back Specification
Blah blah blah yada yada Blah blah blah yidie yadie
So on and so forth
on and on Jibber jabber jibber just jawing Yackety yack Ya'll com back
Blah blah blah yada yada Blah blah blah yidie yadie
So on and so forth
on and on Jibber jabber jibber just jawing Yackety yack Ya'll com back
Blah blah blah yada yada Blah blah blah yidie yadie
So on and so forth
on and on Jibber jabber jibber just jawing Yackety yack Ya'll com back
Scripts Initial constraints
System Analysis
System Studio
Logic Modeling
Select Architecture
Module Compiler
Models / IP
Library Compiler DesignWare Library VERA
Gate-level verification
Links-to- Layout Design Planning
Blah blah blah yada yada Blah blah blah yidie yadie
So on and so forth
on and on Jibber jabber jibber just jawing Yackety yack Ya'll com back
Blah blah blah yada yada Blah blah blah yidie yadie
So on and so forth
on and on Jibber jabber jibber just jawing Yackety yack Ya'll com back
Blah blah blah yada yada Blah blah blah yidie yadie
So on and so forth
on and on Jibber jabber jibber just jawing Yackety yack Ya'll com back GDSII
Physical Compiler JupiterXT
Proteus
Physical Design Checks
STAR-RCXT Hercules
RTL Gates
Design Constraints
Trang 100Verification IP Implementation
Trang 101© Synopsys 2012 101
Classic IC Design Flow
Architectural choices, RTL compilation and simulation
(VCS)
Logic synthesis (Design Compiler)
Formal verification (Formality)
Generation of test patterns (TetraMAX)
Physical design (IC Compiler)
Physical verification (Hercules)
Layout parasitics extraction (StarRC)
SPICE level simulation of completed design (HSPICE)
Trang 102© Synopsys 2012 102
Synopsys Design Flow
Architectural choices, RTL Compilation and Simulation (VCS)
Trang 104• Trace drivers and loads of a
signal at any time to see the
drivers and loads that caused a value change and see all the
drivers/loads that possibly
contributed to a signal value
RTL and Gate Signal
Comparison
Highlighting the net in level schematic and Verilog
Trang 105gate-© Synopsys 2012 105
Synopsys Design Flow
Logic Synthesis
(Design Compiler)
Trang 106© Synopsys 2012 106
Introduction to Design Compiler
Design Compiler performs logic synthesis and
optimization of design
• Synthesizes HDL designs into optimized
technology-dependent gate-level designs
• Results in smallest and fastest logical representation of a given function
• Design Compiler supports a wide range of flat and
hierarchical design styles
• Combinational and sequential designs can be optimized for
• timing
• area
• power