Professional Documents
Culture Documents
Introduction
1 lecture
IC Design Data Formats and Tools
4 lectures
Electronic Design Methodology
4 lectures
IC Synthesis
2 lectures
Databases for EDA
3 lectures
IC Design Approaches and Flows
3 lectures
EDA Tools
3 lectures
Overview of Synopsys EDA Tools
3 lectures
transformations.
Technology advances give rise to new problems
Synopsys University Courseware
Copyright © 2017 Synopsys, Inc. All rights reserved.
EDA Introduction
Lecture - 6
Developed By: Vazgen Melikyan
4
Abstraction Levels in IC Design
Design Options
Custom Semicustom
Cell-based Array-based
Ctrl
comp I/O
RAM
... A/D
File Unit
add82 : kadd8 port map (
a => add_i1, b => add_i2,
ci => carry, s => sum_o);
Mult_i1 <= sum_o(7 downto 0);
D C C B
A C C
D C D B Cell library
A B
C C C B
C D
Design library
IP
Floorplanning
IP
IP
Routing Placement
process begin
Process wait until not
Design CLOCK'stable
and CLOCK=1; RTL / Logic
if(ENABLE='1') then
Rules TOGGLE<= not
TOGGLE;
end if;
end process;
Cell Library
EDA Tools
Design
Timing
Characterization
Transition delay setup hold
recovery removal times
Power
Characterization
Internal power
leakager power
Model Building
(*.LIB,*.V,*.VHD,
*TLF,*.ALF)
Datasheet
Generation (*HTML)
Array of cells:
Each cell performs a logic function
Personalization:
Soft: memory cell (e.g. Synopsys
HASP)
Hard: anti-fuse (e.g. Actel)
Immediate turn-around (for
low volumes)
Inferior performances and
density
Good for prototyping and re-
customization
Compaction
Partitioning
Physical design
Partitioning
Routing
Compaction
No
Extraction and verification
Yes
Fabrication
Cell-based Array-based
Gate-Level FU-Level
Schematic HDL Synthesis Synthesis
Time
DRC LVS
Multi-Variable
Optimization
SPICE Schematic
Time
Synthesis
Netlist
Floorplanning
Placed
Netlist
5. Layout verification
Post layout verification through
simulation (example: VCS-MX,
NanoSim, HSPICE)
Layout versus Schematic
(LVS) and Design Rule
Checks (DRC) verification
(example: StarRC, IC
Validator)
6. Test creation
Test Synthesis and Automatic Test Program Generation (example:
DFT Compiler, TetraMAX)
+ +
7. IC fabrication
Automated creation of GDSII file (example: IC Compiler / IC Compiler II)
7. IC fabrication
Image correction (example: Proteus, Progen, IC Workbench, CATS)
Yield Management (example: Yield Explorer, Odyssey )
Behavioral Structural
VHDL, C VHDL
High-level Functional
Specifications
Description Description
X=(AB*CD)+
(A+D)+(A(B+C))
Y = (A(B+C)+AC+
D+A(BC+D))
Full Custom
Standard Cell
Library Design
ASIC – Standard
Cell Design
RTL-Level Design
Algorithmic
Encoding data, computation scheduling, balancing delays of
components, etc.
Gate-level
Level of detail
Effectiveness
Reduce fan-out, capacitance
Gate duplication, buffer insertion
Layout / Physical-Design
Move cells/gates around to shorten wires on critical paths
Abut rows to share power / ground lines
Specification
So on and blah blah
so forth
Jibber jabber jibber
on andyidie
just jawing on yadie
So on and
Jibberyack
jabber so forth
jibber
System
Yackety on and on
just jawing
Technology
Ya'll com back
Jibberyack
jabber jibber
Yackety
Ya'll com just
backjawing
Yackety yack
Ya'll com back
Analysis Process
Select Scripts
Architecture
TestbenchBlah blah blah
Initial constraints
Blah blah blah
yada yada yada yada
Blahblah
Blah blah blah blah Blahblah
Blah blah blah blah
yada yada
yidie yadie yada yada
yidie yadie
Blah Blahblah
blah blah blah Blah Blahblah
blah blah blah
So on and so forth yada yada So on and so forth yada yada
on andyidie yadie
on Blah blah blah on andyidie yadie
on Blah blah blah
So on and
Jibber jabber jibberso forth So on and
Jibber jabber jibberso forth
on andyidie
on yadie on andyidie
on yadie
RTL
just jawing
So on and so forth just jawing
So on and so forth
Gates Models / IP
Jibberyack
Yackety jabber jibber Jibberyack
Yackety jabber jibber
just on and on
jawing just on and on
jawing
Ya'll com back
Jibber jabber jibber Ya'll com back
Jibber jabber jibber
Yackety yack Yackety yack
Ya'll com just
backjawing Ya'll com just
backjawing
Yackety yack Yackety yack
Ya'll com back Ya'll com back
RTL Verification
Synthesis
Links-to-Layout
Verification Design Planning
Gate-level Design
ATPG netlist Constraints
GDSII
yada yada
on andyidie yadie
on Blah blah blah
Physical Design
So on and so forth
Physical Data
Jibber jabber jibber
on andyidie
just jawing on yadie
So on and
Jibberyack
jabber so forth
jibber
Yackety on and on
Ya'll comjust
backjawing
Jibberyack
Yackety jabber jibber
just jawing
Checks
Ya'll com back