L5 Digital System Modeling1
L5 Digital System Modeling1
L5 Digital System Modeling1
Dr Sumam David S.
EC806
Objectives
• At the end of the lecture the student
must be able to
– Appreciate top-down design methodology,
need for HDL, and choose level of
abstraction for modeling a digital system
You are writing HDL code to get this image automatically using the tools
Different Tools?
• Cadence
• Synopsys
• Mentor Graphics
• Xilinx
• Intel Altera – Quartus
• Open source tools
Fabrication facilities
• SCL Chandigarh – under ISRO
• UMC
• TSMC
• Global foundries
• Intel
• Samsung ….etc.
FPGA
Logic blocks
Implement combinational
and sequential logic
Interconnect
Wires to connect inputs
and outputs to logic
blocks
I/O blocks
Special logic blocks at
periphery of device for
external connections
Domains
• Digital systems modeled in 3 principal domains and
at different levels of abstraction
• Behavioral
– What does it do?
– Truth table, state diagram, waveform, algo
• Structural
– What are the components and how are they connected ?
– Schematic, net list
• Physical
– Where are the components located on Si/PCB ?
– Placement & routing
Behavioural view
• What the system does
• Info on how this will be achieved is hidden
• Inputs and outputs are defined along with
the relationship between them
• Examples
– Truth table
A
– State diagram B
Y=A+B Y
– Waveform
– Algorithm
Structural
• What the design is
– What components are used
– How are they interconnected
• No info on what the system does nor how it will be
made
• Example
– Schematic
– Net list
• The components may be defined using behavioral or
structural description
– hierarchical description
Physical
• How the design is made
• Placement & routing or Manufacturing info
• No info on what components are being made nor on how they
behave
• PCB manufacture
– GERBER files
• Etching tracks, drilling holes
• IC layout
– GDS2 files
• Mask layout: diffusion, metal …
• PLDs
– JEDEC files
• Define internal connections
Example
• Controller for a temperature
measurement system with data input
and display output
high level of
abstraction
low level of
abstraction
Register-Transfer
Language
Boolean Equation
Differential Equation
Register-Transfer
Gate
Transistor
Levels of abstraction
Polygons
Sticks
Standard Cells
Floor Plan
Adv…
• Automatic synthesis
• Testing & verification using simulation
• Formal verification
• Max reliability for min cost & design
time
• Design reuse
RTL description
Control Status
External External
Control path
Control in Control out
Datapath
Control Load
Control path
inputs outputs
CL