EITF35: Introduction to Structured VLSI Design · 31 Lund University / EITF35/ Liang Liu 2018 View...

51
Lund University / EITF35/ Liang Liu 2018 EITF35: Introduction to Structured VLSI Design Part 1.1.2: Introduction (Digital VLSI Systems) Liang Liu [email protected] 1

Transcript of EITF35: Introduction to Structured VLSI Design · 31 Lund University / EITF35/ Liang Liu 2018 View...

Page 1: EITF35: Introduction to Structured VLSI Design · 31 Lund University / EITF35/ Liang Liu 2018 View a Design in a Proper Way ... Intel 4004 (2.3K transistors) Full-custom Intel Haswell

Lund University / EITF35/ Liang Liu 2018

EITF35: Introduction to Structured

VLSI Design

Part 1.1.2: Introduction (Digital VLSI Systems)

Liang Liu

[email protected]

1

Page 2: EITF35: Introduction to Structured VLSI Design · 31 Lund University / EITF35/ Liang Liu 2018 View a Design in a Proper Way ... Intel 4004 (2.3K transistors) Full-custom Intel Haswell

Lund University / EITF35/ Liang Liu 2018

Outline

Digital VLSI

Roadmap

Device Technology & Platforms

System Representation

Design Flow

RTL (register transfer level) Basics

2

Page 3: EITF35: Introduction to Structured VLSI Design · 31 Lund University / EITF35/ Liang Liu 2018 View a Design in a Proper Way ... Intel 4004 (2.3K transistors) Full-custom Intel Haswell

Lund University / EITF35/ Liang Liu 2018

Digital is an abstraction

• Discrete in time: Sampling

• Discrete in value: Quantization

Digital vs. Analog

• Flexibility & functionality: easier to store and manipulate information

• Reliability: tolerant to noise, mismatch, variations, etc.

• Economic: “easy” to design, and friendly to technology evolvement

0 001 11

2.5 V

0 VClock

time

2.5 V

0 V

Signal

time

Digitalization

3

Page 4: EITF35: Introduction to Structured VLSI Design · 31 Lund University / EITF35/ Liang Liu 2018 View a Design in a Proper Way ... Intel 4004 (2.3K transistors) Full-custom Intel Haswell

Lund University / EITF35/ Liang Liu 20184

Page 5: EITF35: Introduction to Structured VLSI Design · 31 Lund University / EITF35/ Liang Liu 2018 View a Design in a Proper Way ... Intel 4004 (2.3K transistors) Full-custom Intel Haswell

Lund University / EITF35/ Liang Liu 2018

Applications 4C:CCCC

5

Computation

£17,000

(1832)

Communication

Consumer Control

Page 6: EITF35: Introduction to Structured VLSI Design · 31 Lund University / EITF35/ Liang Liu 2018 View a Design in a Proper Way ... Intel 4004 (2.3K transistors) Full-custom Intel Haswell

Lund University / EITF35/ Liang Liu 2018

Applications 4C (evolution):CCCC

6

Communication

(5G & Beyond)Computation (Cloud,

Mobile, Fog, Edge)

Consumer

(IoT, IoE)

Control

(AI, ML, DL)

Page 7: EITF35: Introduction to Structured VLSI Design · 31 Lund University / EITF35/ Liang Liu 2018 View a Design in a Proper Way ... Intel 4004 (2.3K transistors) Full-custom Intel Haswell

Lund University / EITF35/ Liang Liu 2018

Outline

Why Digital?

• Advantages

• Some applications

Roadmap (Enabling Tech.)

Device Technology & Platforms

System Representation

Design Flow

RTL Basics

7

Page 8: EITF35: Introduction to Structured VLSI Design · 31 Lund University / EITF35/ Liang Liu 2018 View a Design in a Proper Way ... Intel 4004 (2.3K transistors) Full-custom Intel Haswell

Lund University / EITF35/ Liang Liu 20188

Enabling Technology

1981

1946

Page 9: EITF35: Introduction to Structured VLSI Design · 31 Lund University / EITF35/ Liang Liu 2018 View a Design in a Proper Way ... Intel 4004 (2.3K transistors) Full-custom Intel Haswell

Lund University / EITF35/ Liang Liu 20189

Why machine learning hot now?

Big Data

Avaliability

350M

images/day

2.5 Petabytes of

customer data

hourly

IoT

20.4

billion connected

things by 2020 Source: http://www.asimovinstitute.org/neural-network-zoo/

ML Algorithms

and Methods

Hardware

Acceleration

TPU

Eyeriss

Page 10: EITF35: Introduction to Structured VLSI Design · 31 Lund University / EITF35/ Liang Liu 2018 View a Design in a Proper Way ... Intel 4004 (2.3K transistors) Full-custom Intel Haswell

Lund University / EITF35/ Liang Liu 201810

Implementation charllenges: power

consumption

Source: M. Shafique, “An Overview of Next-Generation Architectures for Machine Learning”

Mobile: Battery life

Page 11: EITF35: Introduction to Structured VLSI Design · 31 Lund University / EITF35/ Liang Liu 2018 View a Design in a Proper Way ... Intel 4004 (2.3K transistors) Full-custom Intel Haswell

Lund University / EITF35/ Liang Liu 201811

Moore’s Law

Electronics, Apr. 19, 1965

Gordon Moore (co-founder of Intel)

made a prediction that

semiconductor technology will

double its effectiveness every 18

months

16

15

14

13

12

11

10

9

8

7

6

5

4

3

2

1

0

1959

1960

1961

1962

1963

1964

1965

1966

1967

1968

1969

1970

1971

1972

1973

1974

1975

LOG

2 OF

THE

NU

MB

ER O

F

CO

MPO

NEN

TS P

ER IN

TEG

RA

TED

FU

NC

TIO

N

Page 12: EITF35: Introduction to Structured VLSI Design · 31 Lund University / EITF35/ Liang Liu 2018 View a Design in a Proper Way ... Intel 4004 (2.3K transistors) Full-custom Intel Haswell

Lund University / EITF35/ Liang Liu 201812

On-Time 2 Year Cycles

Source: Intel

Page 13: EITF35: Introduction to Structured VLSI Design · 31 Lund University / EITF35/ Liang Liu 2018 View a Design in a Proper Way ... Intel 4004 (2.3K transistors) Full-custom Intel Haswell

Lund University / EITF35/ Liang Liu 2018

FinFET

13

Source

Drain

Gate

p-

Gate

DrainSource

substrate

PMOSp-

Page 14: EITF35: Introduction to Structured VLSI Design · 31 Lund University / EITF35/ Liang Liu 2018 View a Design in a Proper Way ... Intel 4004 (2.3K transistors) Full-custom Intel Haswell

Lund University / EITF35/ Liang Liu 2018

Algorithms beats Moore beats Chemists

14

1

10

100

1000

10000

100000

1000000

10000000

19801984

19881992

19962000

20042008

20122016

2020

Algorithmic Complexity

Processor Performance

(~Moore’s Law)

Battery Capacity1G

2G

3G

Courtesy: Ravi Subramanian (Morphics)

Page 15: EITF35: Introduction to Structured VLSI Design · 31 Lund University / EITF35/ Liang Liu 2018 View a Design in a Proper Way ... Intel 4004 (2.3K transistors) Full-custom Intel Haswell

Lund University / EITF35/ Liang Liu 2018

VLSI Architecture: how to decide?

15

Page 16: EITF35: Introduction to Structured VLSI Design · 31 Lund University / EITF35/ Liang Liu 2018 View a Design in a Proper Way ... Intel 4004 (2.3K transistors) Full-custom Intel Haswell

Lund University / EITF35/ Liang Liu 2018

Moore’s Law: frequency

Source: CPU DB: Recording Microprocessor History

16

Page 17: EITF35: Introduction to Structured VLSI Design · 31 Lund University / EITF35/ Liang Liu 2018 View a Design in a Proper Way ... Intel 4004 (2.3K transistors) Full-custom Intel Haswell

Lund University / EITF35/ Liang Liu 2018

Architecture change due to technology

limitations

17

Page 18: EITF35: Introduction to Structured VLSI Design · 31 Lund University / EITF35/ Liang Liu 2018 View a Design in a Proper Way ... Intel 4004 (2.3K transistors) Full-custom Intel Haswell

Lund University / EITF35/ Liang Liu 2018

Moore’s Law: power density

1

10

100

1000

10000

Po

wer D

en

sit

y [

W/

cm

²]

4004

8008

8080

8085

8086

286386

486

P6

Pentium® proc

Source: Borkar, De Intel

Rocket Nozzle

Nuclear Reactor

Hot Plate

18

Sun’s

Surface

i5, i7

Page 19: EITF35: Introduction to Structured VLSI Design · 31 Lund University / EITF35/ Liang Liu 2018 View a Design in a Proper Way ... Intel 4004 (2.3K transistors) Full-custom Intel Haswell

Lund University / EITF35/ Liang Liu 2018

Architecture change due to new applications

(Power)

19

?

Page 20: EITF35: Introduction to Structured VLSI Design · 31 Lund University / EITF35/ Liang Liu 2018 View a Design in a Proper Way ... Intel 4004 (2.3K transistors) Full-custom Intel Haswell

Lund University / EITF35/ Liang Liu 2018

Architecture change due to new applications

(Performance)

20

TPU

Page 21: EITF35: Introduction to Structured VLSI Design · 31 Lund University / EITF35/ Liang Liu 2018 View a Design in a Proper Way ... Intel 4004 (2.3K transistors) Full-custom Intel Haswell

Lund University / EITF35/ Liang Liu 2018

Architecture change due to new applications

(big data)

21

Page 22: EITF35: Introduction to Structured VLSI Design · 31 Lund University / EITF35/ Liang Liu 2018 View a Design in a Proper Way ... Intel 4004 (2.3K transistors) Full-custom Intel Haswell

Lund University / EITF35/ Liang Liu 2018

Architecture change due to new applications

(big data)

22

Data Processing

Data Transfer

Data Storage

Page 23: EITF35: Introduction to Structured VLSI Design · 31 Lund University / EITF35/ Liang Liu 2018 View a Design in a Proper Way ... Intel 4004 (2.3K transistors) Full-custom Intel Haswell

Lund University / EITF35/ Liang Liu 2018

Outline

Why Digital?

• Advantages

• Some applications

History & Roadmap

Device Technology & Platforms

System Representation

Design Flow

RTL Basics

23

Page 24: EITF35: Introduction to Structured VLSI Design · 31 Lund University / EITF35/ Liang Liu 2018 View a Design in a Proper Way ... Intel 4004 (2.3K transistors) Full-custom Intel Haswell

Lund University / EITF35/ Liang Liu 2018

Programmable integrated circuits

•Microprocessors, DSP, FPGA and memories

Application-specific integrated circuits (ASIC)

•Full-custom ASIC

•Standard-cell ASIC (IP)

Devices

24

ASIC FPGA

Processor

Power

FlexibilityASIC

DSP

Std. Proc.

FPGA

Reconfiguring

of hardware

Specialization

of processor

This Course

Page 25: EITF35: Introduction to Structured VLSI Design · 31 Lund University / EITF35/ Liang Liu 2018 View a Design in a Proper Way ... Intel 4004 (2.3K transistors) Full-custom Intel Haswell

Lund University / EITF35/ Liang Liu 2018

Devices (heterogeneous)

All Programmable

SoC

Page 26: EITF35: Introduction to Structured VLSI Design · 31 Lund University / EITF35/ Liang Liu 2018 View a Design in a Proper Way ... Intel 4004 (2.3K transistors) Full-custom Intel Haswell

Lund University / EITF35/ Liang Liu 2018

Devices (heterogeneous)

Page 27: EITF35: Introduction to Structured VLSI Design · 31 Lund University / EITF35/ Liang Liu 2018 View a Design in a Proper Way ... Intel 4004 (2.3K transistors) Full-custom Intel Haswell

Lund University / EITF35/ Liang Liu 2018

Devices

27

Page 28: EITF35: Introduction to Structured VLSI Design · 31 Lund University / EITF35/ Liang Liu 2018 View a Design in a Proper Way ... Intel 4004 (2.3K transistors) Full-custom Intel Haswell

Lund University / EITF35/ Liang Liu 2018

xG MPSoC @ EIT

28

Page 29: EITF35: Introduction to Structured VLSI Design · 31 Lund University / EITF35/ Liang Liu 2018 View a Design in a Proper Way ... Intel 4004 (2.3K transistors) Full-custom Intel Haswell

Lund University / EITF35/ Liang Liu 2018

Outline

Why Digital?

• Advantages

• Some applications

History & Roadmap

Device Technology & Platforms

System Representation

Design Flow

RTL Basics

29

Page 30: EITF35: Introduction to Structured VLSI Design · 31 Lund University / EITF35/ Liang Liu 2018 View a Design in a Proper Way ... Intel 4004 (2.3K transistors) Full-custom Intel Haswell

Lund University / EITF35/ Liang Liu 201830

System Representation

System

•SoC: a CPU chip …

Module

•Macro cell in a chip:ALU…

Gate

•Basic logic block:xor, nor…

Circuit

•Transistors

Device

•Gate, source, drain

This course Digital IC Design

Page 31: EITF35: Introduction to Structured VLSI Design · 31 Lund University / EITF35/ Liang Liu 2018 View a Design in a Proper Way ... Intel 4004 (2.3K transistors) Full-custom Intel Haswell

Lund University / EITF35/ Liang Liu 201831

View a Design in a Proper Way

Abstraction: simplified model of a system

• Show the selected features accurate enough

• Ignore the others

Intel 4004 (2.3K transistors)

Full-custom

Intel Haswell (1.4B transistors)

?

Page 32: EITF35: Introduction to Structured VLSI Design · 31 Lund University / EITF35/ Liang Liu 2018 View a Design in a Proper Way ... Intel 4004 (2.3K transistors) Full-custom Intel Haswell

Lund University / EITF35/ Liang Liu 201832

VLSI Design Flow

Evolution of circuit design (Design Hierarchy)

•Full-customDesign-automation

Based on library cells and IPs

Top-down methodology

•Design abstraction“Black box” or “Model”

Parameter simplification

Accurate enough to meet the requirement

module HS65_GH_NAND2AX14 (Z, A, B);

output Z;

input A,B;

not U1 (INTERNAL1, B) ;

or #1 U2 (Z, A, INTERNAL1) ;

specify

(A +=> Z) = (0.1,0.1);

(B -=> Z) = (0.1,0.1);

endspecify

endmodule // HS65_GH_NAND2AX14

Page 33: EITF35: Introduction to Structured VLSI Design · 31 Lund University / EITF35/ Liang Liu 2018 View a Design in a Proper Way ... Intel 4004 (2.3K transistors) Full-custom Intel Haswell

Lund University / EITF35/ Liang Liu 2018

Outline

Why Digital?

• Advantages

• Some applications

History & Roadmap

Device Technology & Platforms

System Representation

Design Flow

RTL Basics

33

Page 34: EITF35: Introduction to Structured VLSI Design · 31 Lund University / EITF35/ Liang Liu 2018 View a Design in a Proper Way ... Intel 4004 (2.3K transistors) Full-custom Intel Haswell

Lund University / EITF35/ Liang Liu 2018

Set of specification:

•What does the chip do?

•How fast does it run?

•How reliable will it be?

•How is the silicon area?

•How much power will it consume?

•……

?

VLSI Design Flow

34

Page 35: EITF35: Introduction to Structured VLSI Design · 31 Lund University / EITF35/ Liang Liu 2018 View a Design in a Proper Way ... Intel 4004 (2.3K transistors) Full-custom Intel Haswell

Lund University / EITF35/ Liang Liu 2018

An iterative process that transfer the specification to a

manufacturable chip through at least five levels of design

abstraction.

Behavior Design

Behavior simulation

Behavior, algorithm: C/C++, SystemC,

Matlab …

VLSI Design Flow

Specification Function, performance, definition:

English

35

Page 36: EITF35: Introduction to Structured VLSI Design · 31 Lund University / EITF35/ Liang Liu 2018 View a Design in a Proper Way ... Intel 4004 (2.3K transistors) Full-custom Intel Haswell

Lund University / EITF35/ Liang Liu 2018

Register Transfer

Level Design

RTL simulation

Logic Design

Gate-level simulation

Timing analysis

Power analysis

Architecture

VHDL

Verilog

Synthesis

36

Page 37: EITF35: Introduction to Structured VLSI Design · 31 Lund University / EITF35/ Liang Liu 2018 View a Design in a Proper Way ... Intel 4004 (2.3K transistors) Full-custom Intel Haswell

Lund University / EITF35/ Liang Liu 2018

Circuit Design

Physical Design

Design rule checking

Post layout simulation

Layout

(Place & Route)

Custom Design

37

Page 38: EITF35: Introduction to Structured VLSI Design · 31 Lund University / EITF35/ Liang Liu 2018 View a Design in a Proper Way ... Intel 4004 (2.3K transistors) Full-custom Intel Haswell

Lund University / EITF35/ Liang Liu 201838

Verification at ALL levels !!!

Verification

•Check whether a design meets the specification and performance goals

Two aspects

•Functionality

•Performance (timing/power/area)

Method of Verification

• Simulation

Spot check: cannot verify the absence of errors

Can be computation intensive

• Timing analysis

Just check delay

• Formal verification

E.g, equivalence checking

• Hardware emulation

•…

Page 39: EITF35: Introduction to Structured VLSI Design · 31 Lund University / EITF35/ Liang Liu 2018 View a Design in a Proper Way ... Intel 4004 (2.3K transistors) Full-custom Intel Haswell

Lund University / EITF35/ Liang Liu 201840

Fabrication

https://www.youtube.com/watch?v=Q5paWn7bFg4

From Sand to Silicon: the Making of a Chip | Intel

http://download.intel.com/newsroom/kits/chipmaking/pdfs/S

and-to-Silicon_32nm-Version.pdf

Page 40: EITF35: Introduction to Structured VLSI Design · 31 Lund University / EITF35/ Liang Liu 2018 View a Design in a Proper Way ... Intel 4004 (2.3K transistors) Full-custom Intel Haswell

Lund University / EITF35/ Liang Liu 201841

Testing

Testing is the process of detecting physical defects of a

die or a package occurred at the time of manufacturing

Testing and verification are different tasks.

Difficult for large circuit

•Need to add auxiliary testing circuit in design

•E.g., built-in self test (BIST), scan chain etc.

Page 41: EITF35: Introduction to Structured VLSI Design · 31 Lund University / EITF35/ Liang Liu 2018 View a Design in a Proper Way ... Intel 4004 (2.3K transistors) Full-custom Intel Haswell

Lund University / EITF35/ Liang Liu 2018

VLSI Design Flow: Tools

Algorithm

•Matlab

RTL Simulation

•Modelsim,Mentor

•VCS,Synopsys

•VerilogXL,Cadence

Logic Synthesis

•Design Compiler,Synopsys

•Blast Create,Magma

Transistor Simulation

•Hspice/Starsim,Synopsys

•Spectra,Cadence

•Eldo,Mentor

Mixed-Signal Simulation

•AMS Designer,Cadence

•ADMS,Mentor

•Saber,Synopsys

Place & Route

•Astro,Synopsys

•Silicon Encounter,Cadence

•Blast Fusion,Magma

Layout

•Icfb/Dracula,Cadence

•ICstation/Calibre,Mentor

FPGA

•Vivado, Xilinx

•Quatus, Altera

42

Page 42: EITF35: Introduction to Structured VLSI Design · 31 Lund University / EITF35/ Liang Liu 2018 View a Design in a Proper Way ... Intel 4004 (2.3K transistors) Full-custom Intel Haswell

Lund University / EITF35/ Liang Liu 2018

specification

behavior

register-

transfer

logic

circuit

layout

English

Executable

program

HDL

Logic gates

Transistors

Rectangles

VLSI Design Flow (This course): Summary

43

PDF

Matlab/C/Pen&Paper

Emacs/UltraEdit/Modelsim

Xilinx

VivadoV

erific

atio

n

Page 43: EITF35: Introduction to Structured VLSI Design · 31 Lund University / EITF35/ Liang Liu 2018 View a Design in a Proper Way ... Intel 4004 (2.3K transistors) Full-custom Intel Haswell

Lund University / EITF35/ Liang Liu 2018

Following slides should fresh up your memory

44

Page 44: EITF35: Introduction to Structured VLSI Design · 31 Lund University / EITF35/ Liang Liu 2018 View a Design in a Proper Way ... Intel 4004 (2.3K transistors) Full-custom Intel Haswell

Lund University / EITF35/ Liang Liu 2018

Overall VLSI Structure

Scheduling / ordering / sequencing of operations

Mapping / allocation:

• Variables -> {Reg1, ... ,RegN}

• Operations -> {MUL, ADD, ALU, ... ,}

We will implement

something similar in this

course

45

Control

FSM

RegALU ALU

MemoryIF (a>10)

b = c + d;

ELSE

b = c – d;

Page 45: EITF35: Introduction to Structured VLSI Design · 31 Lund University / EITF35/ Liang Liu 2018 View a Design in a Proper Way ... Intel 4004 (2.3K transistors) Full-custom Intel Haswell

Lund University / EITF35/ Liang Liu 2018

Two Basic Digital Components (What)

F

Combinational

Logic

a

b

c

z

Always:

z <= F(a, b, c);

Register

D Q

clk

if clk’event and clk=‘1’ then

Q <= D;

i.e. a function that is always

evaluated when an input changes.

Can be expressed by a truth table.

i.e. a stored variable,

Edge triggered D Flip-Flop

with enable.

Rising

clock edge

46

Page 46: EITF35: Introduction to Structured VLSI Design · 31 Lund University / EITF35/ Liang Liu 2018 View a Design in a Proper Way ... Intel 4004 (2.3K transistors) Full-custom Intel Haswell

Lund University / EITF35/ Liang Liu 2018

Timing (When)

Only if we guarantee to meet the timing

requirements

... do the components guarantee to behave as

intended.

47

Page 47: EITF35: Introduction to Structured VLSI Design · 31 Lund University / EITF35/ Liang Liu 2018 View a Design in a Proper Way ... Intel 4004 (2.3K transistors) Full-custom Intel Haswell

Lund University / EITF35/ Liang Liu 2018

Combinational Logic Timing

F

a

b

c

z

a, b, c

z

fS fF

tprop

• Propagation delay:

After presenting new inputs

Worst case delay before

producing correct output

time

48

Page 48: EITF35: Introduction to Structured VLSI Design · 31 Lund University / EITF35/ Liang Liu 2018 View a Design in a Proper Way ... Intel 4004 (2.3K transistors) Full-custom Intel Haswell

Lund University / EITF35/ Liang Liu 2018

Setup time:

Minimum time input must be

stable before clk↑

Register timing

D

Q

time

Register

D Q

clk

1

1

2

2

3

clk

Hold time:

Minimum time input must be

stable after clk↑

3

clk↑ = Rising clock

edge

Propagation delay (clk_to_Q):

Worst case (maximum) delay after

clk↑ before new output data is valid

on Q.

49

Page 49: EITF35: Introduction to Structured VLSI Design · 31 Lund University / EITF35/ Liang Liu 2018 View a Design in a Proper Way ... Intel 4004 (2.3K transistors) Full-custom Intel Haswell

Lund University / EITF35/ Liang Liu 2018

Clock Frequency (RTL)

What is the maximum clock frequency?

Reg

clk

& &

&Reg

clk

Register

Propagation delay: Tckl-Q 250ps

Setup time: Tsu 200ps

Hold time: Th 100ps

AND-gate

Propagation delay: Tprop 250ps

50

250+250×3+200=1.2ns

f=833MHz

Page 50: EITF35: Introduction to Structured VLSI Design · 31 Lund University / EITF35/ Liang Liu 2018 View a Design in a Proper Way ... Intel 4004 (2.3K transistors) Full-custom Intel Haswell

Lund University / EITF35/ Liang Liu 2018

Critical path

…begin to explore the construction of digital systems with complex behavior

• Example: K = (A +1 B) *1 (C +2 D *2 E)

Combinational circuit:

Critical Path

51

Page 51: EITF35: Introduction to Structured VLSI Design · 31 Lund University / EITF35/ Liang Liu 2018 View a Design in a Proper Way ... Intel 4004 (2.3K transistors) Full-custom Intel Haswell

Lund University / EITF35/ Liang Liu 2018

Thanks

52