This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these template messages)(Learn how and when to remove this template message)
High-level synthesis (HLS), sometimes referred to as C synthesis, electronic system-level (ESL) synthesis, algorithmic synthesis, or behavioral synthesis, is an automated design process that interprets an algorithmic description of a desired behavior and creates digital hardware that implements that behavior. Synthesis begins with a high-level specification of the problem, where behavior is generally decoupled from e.g. clock-level timing. Early HLS explored a variety of input specification languages., although recent research and commercial applications generally accept synthesizable subsets of ANSI C/C++/SystemC/Matlab. The code is analyzed, architecturally constrained, and scheduled to create a register-transfer level (RTL) hardware description language (HDL), which is then in turn commonly synthesized to the gate level by the use of a logic synthesis tool. The goal of HLS is to let hardware designers efficiently build and verify hardware, by giving them better control over optimization of their design architecture, and through the nature of allowing the designer to describe the design at a higher level of abstraction while the tool does the RTL implementation. Verification of the RTL is an important part of the process.
While logic synthesis uses an RTL description of the design, high-level synthesis works at a higher level of abstraction, starting with an algorithmic description in a high-level language such as SystemC and Ansi C/C++. The designer typically develops the module functionality and the interconnect protocol. The high-level synthesis tools handle the micro-architecture and transform untimed or partially timed functional code into fully timed RTL implementations, automatically creating cycle-by-cycle detail for hardware implementation. The (RTL) implementations are then used directly in a conventional logic synthesis flow to create a gate-level implementation.
Early academic work extracted scheduling, allocation, and binding as the basic steps for high-level-synthesis. Scheduling partitions the algorithm in control steps that are used to define the states in the FSM. Each control step contains one small section of the algorithm that can be performed in a single clock cycle in the hardware. Allocation and binding maps the instructions and variables to the hardware components, multiplexers, registers and wires of the data path.
First generation behavioral synthesis was introduced by Synopsys in 1994 as Behavioral Compiler and used Verilog or VHDL as input languages. The abstraction level used was partially timed (clocked) processes. Tools based on behavioral Verilog or VHDL were not widely adopted in part because neither languages nor the partially timed abstraction were well suited to modeling behavior at a high level. 10 years later, in early 2004, Synopsys end-of-lifed Behavioral Compiler.
In 2004, there emerged a number of next generation commercial high-level synthesis products (also called behaviorial synthesis or algorithmic synthesis at the time) which provided synthesis of circuits specified at C level to a register transfer level (RTL) specification. Synthesizing from the popular C language offered accrued abstraction, expressive power and coding flexibility while tying with existing flows and legacy models. This language shift, combined with other technical advances was a key enabler for successful industrial usage. High-level synthesis tools are used for complex ASIC and FPGA design.
High-level synthesis was primarily adopted in Japan and Europe in the early years. As of late 2008, there was an emerging adoption in the United States.
High-level synthesis typically also includes a bit-accurate executable specification as input, since to derive an efficient hardware implementation, additional information is needed on what is an acceptable Mean-Square Error or Bit-Error Rate etc. For example, if the designer starts with an FIR filter written using the "double" floating type, before he or she can derive an efficient hardware implementation, they need to perform numerical refinement to arrive at a fixed-point implementation. The refinement requires additional information on the level of quantization noise that can be tolerated, the valid input ranges etc. This bit-accurate specification makes the high level synthesis source specification functionally complete. Normally the tools infer from the high level code a Finite State Machine and a Datapath that implement arithmetic operations
The high-level synthesis process consists of a number of activities. Various high-level synthesis tools perform these activities in different orders using different algorithms. Some high-level synthesis tools combine some of these activities or perform them iteratively to converge on the desired solution.
- Lexical processing
- Algorithm optimization
- Control/Dataflow analysis
- Library processing
- Resource allocation
- Functional unit binding
- Register binding
- Output processing
- Input Rebundling
In general, an algorithm can be performed over many clock cycles with few hardware resources, or over fewer clock cycles using a larger number of ALUs, registers and memories. Correspondingly, from one algorithmic description, a variety of hardware microarchitectures can be generated by an HLS compiler according to the directives given to the tool. This is the same trade off of execution speed for hardware complexity as seen when a given program is run on conventional processors of differing performance, yet all running at roughly the same clock frequency.
Synthesis constraints for the architecture can automatically be applied based on the design analysis. These constraints can be broken into
- Low-level timing constraints
Interface Synthesis refers to the ability to accept pure C/C++ description as its input, then use automated interface synthesis technology to control the timing and communications protocol on the design interface. This enables interface analysis and exploration of a full range of hardware interface options such as streaming, single- or dual-port RAM plus various handshaking mechanisms. With interface synthesis the designer does not embed interface protocols in the source description. Examples might be: direct connection, one line, 2 line handshake, FIFO.
Data reported on recent Survey
|In Use||AUGH||TIMA Lab.||Academic||C subset||VHDL||2012||All||?||?||?|
|Catapult-C||Calypto Design Systems||Commercial||C/C++ SysstemC||VHDL/Verilog /SystemC||2004||All||Yes||No||Yes|
|CoDeve-loper||Impulse Accelerated||Commercial||Impulse-C||VHDL||2003||Image Streaming||Yes||Yes||No|
|CtoS||Cadence||Commercial||TLM/C++ SystemC||SystemC Verilog||2008||All||Only cycle accurate||No||Yes|
|Cyber- Workbench||NEC||Commercial||BDL||VHDL/Verilog||2011||All||Cycle/ Formal||Yes||Yes|
|DK Design Suite||Mentor Graphics||Commercial||Handel-C||VHDL/Verilog||2009||Streaming||No||No||Yes|
|DWARV||TU. Delft||Academic||C subset||VHDL||2012||All||Yes||Yes||Yes|
|ROCCC||Jacquard Comp.||Commercial||C subset||VHDL||2010||Streaming||No||Yes||No|
|Symphony C||Synopsys||Commercial||C/C++||VHDL/Verilog /SystemC||2010||All||Yes||No||Yes|
(formerly AutoPilot from AutoESL)
|Trident||Los Alamos NL||Academic||C subset||VHDL||2007||Scientiﬁc||No||Yes||No|
|DEFACTO||U. South Cailf.||Academic||C||RTL||1999||DSE||No||No||No|
|Garp||U. Berkeley||Academic||C subset||bitstream||2000||Loop||No||No||No|
|Napa-C||Sarnoff Corp.||Academic||C subset||VHDL/Verilog||1998||Loop||No||No||No|
|SeaCucumber||U. Brigham Y.||Academic||Java||EDIF||2002||All||No||Yes||Yes|
|SPARK||U. Cal. Irvine||Academic||C||VHDL||2003||Control||No||No||No|
- Matlab HDL Coder from Mathworks
- HLS-QSP from CircuitSutra Technologies
- C-to-Silicon from Cadence Design Systems
- Concurrent Acceleration from Concurrent EDA
- Symphony C Compiler from Synopsys
- QuickPlay from PLDA
- PowerOpt from ChipVision
- Cynthesizer from Forte Design Systems, acquired by Cadence Design Systems on 2014, February 14
- Catapult C from Calypto Design Systems, part of Mentor Graphics as of 2015, September 16
- CyberWorkBench from NEC
- C2R from CebaTech
- CoDeveloper from Impulse Accelerated Technologies
- HercuLeS by Nikolaos Kavvadias
- PICO from Synfora, acquired by Synopsys in June 2010 (PICO = Program In/Code Out)
- xPilot from University of California, Los Angeles
- Vsyn from vsyn.ru
- ngDesign from SynFlow
- C to HDL
- Electronic design automation (EDA)
- Electronic system-level (ESL)
- Logic synthesis
- High-level verification (HLV)
- "High-Level Synthesis - Springer". Springerlink.com. Retrieved 2016-10-03.
- IEEE Xplore High-Level Synthesis: Past, Present, and Future DOI 10.1109/MDT.2009.83
- "The 'why' and 'what' of algorithmic synthesis". EE Times. Retrieved 2016-10-03.
- "C-Based Rapid Prototyping for Digital Signal Processing" (PDF). UBS University, France. Retrieved 2016-10-03.
- "Publications and Presentations". Bdti.com. Retrieved 2016-10-03.
- "Behavioral synthesis crossroad". EE Times. Retrieved 2016-10-03.
- [dead link]
- [dead link]
- Multiple Word-Length High-Level Synthesis EURASIP Journal on Embedded Systems
- "A look inside behavioral synthesis". EE Times. Retrieved 2016-10-03.
- [dead link]
- Nane, R.; Sima, V. M.; Pilato, C.; Choi, J.; Fort, B.; Canis, A.; Chen, Y. T.; Hsiao, H.; Brown, S. (2016-01-01). "A Survey and Evaluation of FPGA High-Level Synthesis Tools". IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. PP (99): 1–1. doi:10.1109/TCAD.2015.2513673. ISSN 0278-0070.
- "Xilinx buys high-level synthesis EDA vendor". EE Times. 2011-02-05. Retrieved 2016-10-03.
- "MathWorks – Makers of MATLAB and Simulink". Mathworks.com. Retrieved 2016-10-03.
- "SystemC based ESL methodologies - SystemC based ESL methodologies". Circuitsutra.com. Retrieved 2016-10-03.
- John M. at a major ERP & DBMS Corporation (2016-08-29). "QuickPlay: Bringing FPGA Computing to the Masses". Quickplay.io. Retrieved 2016-10-03.
- [dead link]
- "CyberWorkBench: Products". NEC. Retrieved 2016-10-03.
- [dead link]
- [dead link]
- "Nikolaos Kavvadias - HercuLeS high-level synthesis tool". Nkavvadias.com. Retrieved 2016-10-03.
- "Synopsys buys Synfora assets". EE Times. Retrieved 2016-10-03.
- "The xPilot System". Cadlab.cs.ucla.edu. Retrieved 2016-10-03.
- "vSyn.ru". vSyn.ru. 2016-06-16. Retrieved 2016-10-03.
- "Hardware design for all". Synflow. Retrieved 2016-10-03.
- Michael Fingeroff (2010). High-Level Synthesis Blue Book. Xlibris Corporation. ISBN 978-1-4500-9724-6.
- Coussy, P.; Gajski, D. D.; Meredith, M.; Takach, A. (2009). "An Introduction to High-Level Synthesis". IEEE Design & Test of Computers. 26 (4): 8–17. doi:10.1109/MDT.2009.69.
- Ewout S. J. Martens; Georges Gielen (2008). High-level modeling and synthesis of analog integrated systems. Springer. ISBN 978-1-4020-6801-0.
- Saraju Mohanty, N. Ranganathan, E. Kougianos, and P. Patra (2008). Low-Power High-Level Synthesis for Nanoscale CMOS Circuits. Springer. ISBN 978-0387764733.
- Alice C. Parker; Yosef Tirat-Gefen; Suhrid A. Wadekar (2007). "System-Level Design". In Wai-Kai Chen. The VLSI handbook (2nd ed.). CRC Press. ISBN 978-0-8493-4199-1. chapter 76.
- Shahrzad Mirkhani; Zainalabedin Navabi (2007). "System Level Design Languages". In Wai-Kai Chen. The VLSI handbook (2nd ed.). CRC Press. ISBN 978-0-8493-4199-1. chapter 86. covers the use of C/C++, SystemC, TML and even UML
- Liming Xiu (2007). VLSI circuit design methodology demystified: a conceptual taxonomy. Wiley-IEEE. ISBN 978-0-470-12742-1.
- John P. Elliott (1999). Understanding behavioral synthesis: a practical guide to high-level design. Springer. ISBN 978-0-7923-8542-4.
- Razvan Nane, Vlad-Mihai Sima, Christian Pilato, Jongsok Choi, Blair Fort, Andrew Canis, Yu Ting Chen, Hsuan Hsiao, Stephen Brown, Fabrizio Ferrandi, Jason Anderson, Koen Bertels. "A Survey and Evaluation of FPGA High-Level Synthesis Tools". In IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (Volume:PP, Issue: 99 ). ISSN 0278-0070.