HOME
UP
  PREV
NEXT (Join Calculus)
ACS P35-16/17+ SoC D/M Slide Pack 3.2 (High-Level Synthesis)
Start Here
Higher-level: Generative, Behavioural or Declarative?
Parellelism: The key to high performance.
Instruction-Level Parallelism
Beyond Pure RTL: Behavioural descriptions of hardware.
More-advanced behavioural specification:
A Simple Worked Example: Classical HLS of Multiply
Multiplier Answer (2)
Classical HLS Compiler: Operational Phases
Adopting a Suitable Coding Style for HLS
HLS Synthesisable Subset.
Unrolling: Trading time for space.
Pipelined Schedulling - One Basic Block
Pipelined Schedulling - Between Basic Blocks
HLS Functional Units (FUs)
Functional Unit (FU) Block Properties
Functional Unit (FU) Chaining
Discovering Parallelism: Classical HLS Paradigms
Memory Banking and Widening
Data Layout for Burrows-Wheeler Transform
Smith-Waterman D/P Data Dependencies
Polyhedral Address Mapping
The Perfect Shuffle Network - FFT Example
Classical HLS: Pros and Cons
Kiwi: Compiling Concurrent Programs to Hardware
Parallel-For and Parallel-ForEach Loops
Atomic Commutable Effects
Classical High-Level Synthesis Example: Kiwi compilation of Sieve of Eratosthenes.
Profile-Directed Guidance
Static versus Dynamic Scheduling
Locally-Static, Globally-Dynamic Schedulling
Shortcomings of Verilog and VHDL as Algorithmic Expression Languages
Motivation To Adopt HLS
Other Models of Computation: Channel Communication
Other Expression forms: Hardware Construction Languages
Other Expression forms: Logic Synthesis from Guarded Atomic Actions (Bluespec)
Classical Imperative/Behavioural H/L Synthesis Summary
High-Level Synthesis Survey
Maxeler SPL Open Stream/Spatial Processing (OpenSPL)
VSFG Value State Flow Graph - Zaidi
HLS Expression forms: Behavioural using a Thread or Threads
Join Calculus
Synopsys Behavioural Compiler
Expression forms: Declarative Specifications
Synthesis from Formal Specification
Synthesis/Refinement from Formal Specifications
Synthesis from Rules (SAT-based idea).
Synthesis from Cross-Product: Tool Flow:
Synthesis from Cross-Product (Greaves/Nam).
Expression forms: State charts and Graphical `languages'
All-forms High-level Synthesis Summary
HLS to replace Von Neumann?