Professional Documents
Culture Documents
chip_design_lecture3
chip_design_lecture3
9 bit resolution
10 bit
200 MHz
conversion rate
400 MHz
200 MHz clock
frequency 400
MHz
Integral nonlinearity
1 LSB
. . . . . . . .
One-sided Pi aj or Pi al
Limitations
Two-sided bk Pj bm
Pi is ith parameter of IC
aj is boundary value of ith parameter of IC
. . . . . .
.
9 bit resolution 10
bit
Integral nonlinearity 1
LSB
. . . . . . . .
Automat
All design problems are formalized.
Automated
A part of design problems is formalized,
and some problems are unformalized.
Add
Accumulator Register-Transfer
Input
Command Register
+1
Command Counter
1
Gate
& &
J TT
C
K
Circuit
Device
n+
p
n +
n
+
p
Structural Synthesis
Structural
optimization
Parametrical Synthesis
Parametrical
optimization
Simulation
no
Are the operational
conditions met?
yes
Level 1
Operation
needed
Level 2
no
Meets the
spec?
yes
Level n
Next level
Completed
Design
Synopsys University Courseware
Copyright © 2018 Synopsys, Inc. All rights reserved.
Chip Design
Lecture - 3
Developed By: Vazgen Melikyan
13
Verification
Formal Verification
This method mathematically proves that same design at different design levels
has fully equivalent function
Static Timing Analysis
Path delay is calculated by summing delays of elements without simulation
Simulation
The behavior of object in time and space is reproduced
Emulation
Using device, which works as the system to be verified, submits test vectors,
output signal checks
Prototyping
Building of hardware implementation of design and its testing
Formal verification
(Equivalence check)
O=max[sum(B,D22),sum(C,D21)]
C D21
D22 O
A
D1
B=sum(A,D1)
0 2 4 6
Description of
circuit
Simulation
program Results
Simulation deck
Models
ground
Component behavior
A
Interconnect behavior
Signal values
B
Timing models
Component behavior C
Interconnect behavior
Signal delays Time
Synopsys University Courseware
Copyright © 2018 Synopsys, Inc. All rights reserved.
Chip Design
Lecture - 3
Developed By: Vazgen Melikyan
20