林永隆 (Youn-Long Lin) Department of Computer Science National Tsing Hua University High-Level...

40
林林林 (Youn-Long Lin) Department of Computer Sc ience National Tsing Hua Univer sity High-Level Synthesis of VLSIs THEDA T sing H ua E lectronic D esign A utomation
  • date post

    21-Dec-2015
  • Category

    Documents

  • view

    267
  • download

    2

Transcript of 林永隆 (Youn-Long Lin) Department of Computer Science National Tsing Hua University High-Level...

Page 1: 林永隆 (Youn-Long Lin) Department of Computer Science National Tsing Hua University High-Level Synthesis of VLSIs THEDA Tsing Hua Electronic Design Automation.

林永隆 (Youn-Long Lin)Department of Computer Scienc

eNational Tsing Hua University

High-Level Synthesisof VLSIs

THEDA Tsing Hua Electronic Design Automation

Page 2: 林永隆 (Youn-Long Lin) Department of Computer Science National Tsing Hua University High-Level Synthesis of VLSIs THEDA Tsing Hua Electronic Design Automation.

2

VLSI Design Tools

• Design Capturing/Entry• Analysis and Characterization• Synthesis/Optimization

– Physical (Floor planning, Placement, Routing)

– Logic (FSM, Retiming, Sizing, DFT)– High Level(RTL, Behavioral)

• Management

Page 3: 林永隆 (Youn-Long Lin) Department of Computer Science National Tsing Hua University High-Level Synthesis of VLSIs THEDA Tsing Hua Electronic Design Automation.

3

Design Methodology Progress

Capture and Simulate

Describe and Synthesis

Specify and ???

Page 4: 林永隆 (Youn-Long Lin) Department of Computer Science National Tsing Hua University High-Level Synthesis of VLSIs THEDA Tsing Hua Electronic Design Automation.

4

Productivity

Re-Targetability

Correctness

Why Synthesis?

Unsynthesizability

Performance Loss

Inertial

Why not Synthesis?

Page 5: 林永隆 (Youn-Long Lin) Department of Computer Science National Tsing Hua University High-Level Synthesis of VLSIs THEDA Tsing Hua Electronic Design Automation.

5

Structural Behavioral

Physical

X’tor

Gate

RTL

Block

Boolean

FSM

Algorithm

GDSII

Placement

Floorplan

Y-ChartDan D Gajski

Page 6: 林永隆 (Youn-Long Lin) Department of Computer Science National Tsing Hua University High-Level Synthesis of VLSIs THEDA Tsing Hua Electronic Design Automation.

6

Structural Behavioral

Physical

X’tor

Gate

RTL

Block

Boolean

FSM

Algorithm

GDSII

Placement

Floorplan

LayoutSynthesis

Page 7: 林永隆 (Youn-Long Lin) Department of Computer Science National Tsing Hua University High-Level Synthesis of VLSIs THEDA Tsing Hua Electronic Design Automation.

7

Structural Behavioral

Physical

X’tor

Gate

RTL

Block

Boolean

FSM

Algorithm

GDSII

Placement

Floorplan

LogicSynthesis

Page 8: 林永隆 (Youn-Long Lin) Department of Computer Science National Tsing Hua University High-Level Synthesis of VLSIs THEDA Tsing Hua Electronic Design Automation.

8

Structural Behavioral

Physical

X’tor

Gate

RTL

Block

Boolean

FSM

Algorithm

GDSII

Placement

Floorplan

High-LevelSynthesis

Page 9: 林永隆 (Youn-Long Lin) Department of Computer Science National Tsing Hua University High-Level Synthesis of VLSIs THEDA Tsing Hua Electronic Design Automation.

9

High Level Synthesis

CDFG

Parsing

Transformation

Synthesis

StructuralRTL

BehavioralDescription

Page 10: 林永隆 (Youn-Long Lin) Department of Computer Science National Tsing Hua University High-Level Synthesis of VLSIs THEDA Tsing Hua Electronic Design Automation.

10

What Went Wrong?

• Too much emphasis on incremental work on algorithms and point tools

• Unrealistic assumption on component capability, architectures, timing, etc

• Lack of quality-measurement from the low level

• Too much promising on fully automation (silicon compiler??)

Page 11: 林永隆 (Youn-Long Lin) Department of Computer Science National Tsing Hua University High-Level Synthesis of VLSIs THEDA Tsing Hua Electronic Design Automation.

11

Essential Issues

• Behavioral Specification Languages

• Target Architectures

• Intermediate Representation

• Operation Scheduling

• Allocation/Binding

• Control Generation

Page 12: 林永隆 (Youn-Long Lin) Department of Computer Science National Tsing Hua University High-Level Synthesis of VLSIs THEDA Tsing Hua Electronic Design Automation.

12

Behavioral Specification Languages

• Add hardware-specific constructs to existing languages– HardwareC

• Popular HDL– Verilog, VHDL

• Synthesis-oriented HDL– UDL/I

Page 13: 林永隆 (Youn-Long Lin) Department of Computer Science National Tsing Hua University High-Level Synthesis of VLSIs THEDA Tsing Hua Electronic Design Automation.

13

Target Architectures

• Bus-based

• Multiplexer-based

• Register file

• Pipelined

• RISC, VLIW

• Interface Protocol

Page 14: 林永隆 (Youn-Long Lin) Department of Computer Science National Tsing Hua University High-Level Synthesis of VLSIs THEDA Tsing Hua Electronic Design Automation.

14

Design Space Exploration

Arch I

Arch II

Arch III

Dela

y

Area

Page 15: 林永隆 (Youn-Long Lin) Department of Computer Science National Tsing Hua University High-Level Synthesis of VLSIs THEDA Tsing Hua Electronic Design Automation.

15

FSM with Data Path (FSMD)

FSMDataPath

FSMDataPath

FSMDataPath

Interactive FSMDs

Page 16: 林永隆 (Youn-Long Lin) Department of Computer Science National Tsing Hua University High-Level Synthesis of VLSIs THEDA Tsing Hua Electronic Design Automation.

16

Intermediate Representation

* *+

Control Flow Graph

Data Flow Graph

Page 17: 林永隆 (Youn-Long Lin) Department of Computer Science National Tsing Hua University High-Level Synthesis of VLSIs THEDA Tsing Hua Electronic Design Automation.

17

Scheduling (Temporal Binding)

• Time & Resource Tradeoff• Time-Constrained

– Integer Linear Programming (ILP)– Force-Directed

• Resource-Constrained– List Scheduling

• Other Heuristics– Simulated Annealing, Tabu Search, ...

Page 18: 林永隆 (Youn-Long Lin) Department of Computer Science National Tsing Hua University High-Level Synthesis of VLSIs THEDA Tsing Hua Electronic Design Automation.

18

Allocation/Binding

Functional UnitsOperations

StorageVariablesSignals

Bus/Wire/MuxData Transfers

Page 19: 林永隆 (Youn-Long Lin) Department of Computer Science National Tsing Hua University High-Level Synthesis of VLSIs THEDA Tsing Hua Electronic Design Automation.

19

RF

FUFU

RF

Variables/Signals

Data Transfer

Operations

Page 20: 林永隆 (Youn-Long Lin) Department of Computer Science National Tsing Hua University High-Level Synthesis of VLSIs THEDA Tsing Hua Electronic Design Automation.

20

Controller Specification Generation

ScheduledCDFG

AllocatedDatapath

Micro-Operationsfor

Every Control Step

Page 21: 林永隆 (Youn-Long Lin) Department of Computer Science National Tsing Hua University High-Level Synthesis of VLSIs THEDA Tsing Hua Electronic Design Automation.

21

HLS Quality Measures

• Performance

• Area Cost

• Power Consumption

• Testability

• Reusability

Page 22: 林永隆 (Youn-Long Lin) Department of Computer Science National Tsing Hua University High-Level Synthesis of VLSIs THEDA Tsing Hua Electronic Design Automation.

22

Hardware Variations

• Functional Units– Pipelined, Multi-Cycle, Chained, Multi-

Function

• Storage– Register, RF, Multi-Ported, RAM, ROM,

FIFO, Distributed

• Interconnect– Bus, Segmented Bus, Mux, Protocol-Based

Page 23: 林永隆 (Youn-Long Lin) Department of Computer Science National Tsing Hua University High-Level Synthesis of VLSIs THEDA Tsing Hua Electronic Design Automation.

23

Functional Unit Variations

+**

**

-+

Step 1

Step 2

Step 3

Step 4

+

++

Page 24: 林永隆 (Youn-Long Lin) Department of Computer Science National Tsing Hua University High-Level Synthesis of VLSIs THEDA Tsing Hua Electronic Design Automation.

24

Storage/Interconnect Variations

RF

FUFU

RFSegmentedBuses

DistributedFIFO

Mux

Chaining

Multi-Port

Page 25: 林永隆 (Youn-Long Lin) Department of Computer Science National Tsing Hua University High-Level Synthesis of VLSIs THEDA Tsing Hua Electronic Design Automation.

25

Architectural Pipelining

FSMDataPath

Page 26: 林永隆 (Youn-Long Lin) Department of Computer Science National Tsing Hua University High-Level Synthesis of VLSIs THEDA Tsing Hua Electronic Design Automation.

26

THEDA’s Work on HLS

• ILP-based Scheduling• Bipartite Weighted Matching for Datapath

Allocation• Performance-Driven Interconnect Synthesis• Loop Folding & Retiming• Integrating Synthesis and Layout• DSP Core Generation• Book on HLS

Page 27: 林永隆 (Youn-Long Lin) Department of Computer Science National Tsing Hua University High-Level Synthesis of VLSIs THEDA Tsing Hua Electronic Design Automation.

27

Integer Linear Programming for Scheduling

• Given # Control Steps• ASAP + ALAP ==> Possible Steps for

each Operations• Tight Constraints on

– Dependency– One Scheduled Step per Op– Resource Usage per Step

• Many Extensions

Page 28: 林永隆 (Youn-Long Lin) Department of Computer Science National Tsing Hua University High-Level Synthesis of VLSIs THEDA Tsing Hua Electronic Design Automation.

28

Advanced Scheduling for Loop Folding

1

2

33

2

1

1 iteration per 3 cycles 1 iteration per 2 cycles

Page 29: 林永隆 (Youn-Long Lin) Department of Computer Science National Tsing Hua University High-Level Synthesis of VLSIs THEDA Tsing Hua Electronic Design Automation.

29

Loop Folding(cont.)

1

2

3

Prologue

Epilogue

Folded Body

Page 30: 林永隆 (Youn-Long Lin) Department of Computer Science National Tsing Hua University High-Level Synthesis of VLSIs THEDA Tsing Hua Electronic Design Automation.

30

Retiming and Loop Folding

1

2

3

BA C D E F BA C D E F

1

2

3

BACD

E

F B

AC

D

E

F

Page 31: 林永隆 (Youn-Long Lin) Department of Computer Science National Tsing Hua University High-Level Synthesis of VLSIs THEDA Tsing Hua Electronic Design Automation.

31

Integrating Layout and Synthesis

HDL Description

HDL Synthesis RC Extraction &Delay Calculation

Chip Layout

Post-LayoutTiming Analysis

Module Resynthesis

Timing Ok & no morearea improvement

P&R

Soft-MacroPlacement

Block Placement

Soft-MacroFormation

No

Module ResynthesisSoft-MacroPlacement

Soft-MacroFormation

Page 32: 林永隆 (Youn-Long Lin) Department of Computer Science National Tsing Hua University High-Level Synthesis of VLSIs THEDA Tsing Hua Electronic Design Automation.

32

HLS Techniques for DSP Code Generation

Memory Allocation

SchedulingAddress Generation

Page 33: 林永隆 (Youn-Long Lin) Department of Computer Science National Tsing Hua University High-Level Synthesis of VLSIs THEDA Tsing Hua Electronic Design Automation.

33

Applications of HLS Technology

• Code generation for embedded processors

• Retargetable compilers for application-specific instruction-set processors (ASIP)

• Reconfigurable computing

• Advanced features in logic synthesizer

Page 34: 林永隆 (Youn-Long Lin) Department of Computer Science National Tsing Hua University High-Level Synthesis of VLSIs THEDA Tsing Hua Electronic Design Automation.

34

System-on-a-Chip

Processor Memory

ExternalMemoryInterface

IPBus Master UART

WirelessB

ridg

e US

B

Page 35: 林永隆 (Youn-Long Lin) Department of Computer Science National Tsing Hua University High-Level Synthesis of VLSIs THEDA Tsing Hua Electronic Design Automation.

35

SOC with PLDs

Processor Memory

ExternalMemoryInterface

FPGABus Master FPGA

WirelessB

ridg

e US

B

Page 36: 林永隆 (Youn-Long Lin) Department of Computer Science National Tsing Hua University High-Level Synthesis of VLSIs THEDA Tsing Hua Electronic Design Automation.

36

WaferFoundry

SystemHouses/

IC Vendors(Fabless)

Integrators

Library/IP

Vendors(Chipless)

EDAVendors

Paradigm Shift

Page 37: 林永隆 (Youn-Long Lin) Department of Computer Science National Tsing Hua University High-Level Synthesis of VLSIs THEDA Tsing Hua Electronic Design Automation.

37

IP and Synthesis

• Authoring IP for Synthesis

• Synthesis utilizing IP

• Synthesizing IPs

Executable Data Sheets

Page 38: 林永隆 (Youn-Long Lin) Department of Computer Science National Tsing Hua University High-Level Synthesis of VLSIs THEDA Tsing Hua Electronic Design Automation.

38

Executable Data Sheets

IP

IP WrapperMore thanjust thePort Interface

Page 39: 林永隆 (Youn-Long Lin) Department of Computer Science National Tsing Hua University High-Level Synthesis of VLSIs THEDA Tsing Hua Electronic Design Automation.

39

Future Directions

• Realistic Methodology– Evolutional Transition from Current

Practice– Domain Specific

• IP-Centric– As both Authoring Aid and Integrator

• Software– Co-design and Code Generation

Page 40: 林永隆 (Youn-Long Lin) Department of Computer Science National Tsing Hua University High-Level Synthesis of VLSIs THEDA Tsing Hua Electronic Design Automation.

40

Valu

e

Time

EDA

IP

IC