HDL Lecture1
HDL Lecture1
Languages
SystemVerilog,
System Structural Circuit RAM bus CPU Queuing theory
SystemC
Add
Accumulator
Functional
Register- Circuits on the Input
Transfer level of multibit Command Register
devices +1
Command Counter
Boolean Algebra Verilog,VHDL
Circuit on the
Gate level of gates and J
flip-flops
K
System of
Circuit Electrical Circuit differential Spice
equations
n+
System of
p+ differential
Device IC Components n equations with
n+ partial
p derivative
VCS
-
HDL Simulation
.db constr.
DC/DCT
OK DFT, Power Compiler
Synthesis
DFT, Power .v, .sdf
Formality
- PrimeTime
Formal verific.
& STA Reports
OK ICC
Place & Route
DFT, Power, XTALK
A B C D E
.v, GDSII
- Parasitic STARRC
Extraction, STA, STARRC VX
SI PT, PTSI
Prime Rail
.sdf, .spef, RT VX, PT PX
OK timing-report
- Reports
Physical verification check Hercules
Fix violations OK
.sdb, .v, .vhd Reports
FAIL Gate level
Simulation VCS
PASS
RTL Design
N0 Type Description