- High-level synthesis
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 hardware that implements that behavior. The starting point of a high-level synthesis flow is ANSI C/C++/SystemC code. The code is analyzed, architecturally constrained, and scheduled to create a register transfer level hardware design 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 tools 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, multiplexors, 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 a 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.
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
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.
- Electronic design automation
- Electronic system level
- Logic synthesis
- High level verification
- AutoPilot from AutoESL acquired by Xilinx 1/31/2011 http://www.eetimes.com/electronics-news/4212668/Xilinx-buys-high-level-synthesis-EDA-vendor
- BlueSpec Compiler from Bluespec, Inc.
- C-to-Silicon from Cadence Design Systems
- Concurrent Acceleration from Concurrent EDA
- Symphony C Compiler from Synopsys
- PowerOpt from ChipVision
- Cynthesizer from Forte Design Systems
- Catapult C from Mentor Graphics
- CyberWorkBench from NEC
- C-to-Verilog from C-to-Verilog.com
- C2R from CebaTech
- CoDeveloper from Impulse Accelerated Technologies
- eXCite from Y Explorations
- LegUP from University of Toronto
- HercuLeS from Nikolaos Kavvadias
- PICO from Synfora, acquired by Synopsys in June 2010 http://www.eetimes.com/electronics-news/4200083/Synopsys-buys-Synfora-assets (PICO = Program In/Code Out)
- ^ Springer Book High Level Synthesis From Algorithm to Digital Circuit ISBN 978-1-4020-8587-1
- ^ a b EETimes The 'why' and 'what' of algorithmic synthesis
- ^ UBS University, France C-Based Rapid Prototyping for Digital Signal Processing
- ^ BDTI Architectural Design Of DSP ASICs: Tools And Techniques
- ^ EETimes Behavioral synthesis crossroad
- ^ EETimes: High-level synthesis rollouts enable ESL
- ^ SCDSource 2008 ESL goes mainstream with synthesis, virtual platforms
- ^ Multiple Word-Length High-Level Synthesis EURASIP Journal on Embedded Systems
- ^ A look inside behavioral synthesis, EETimes 2004
- ^ DesignCon Design Space Exploration for high performance signal processing hardware using ESL design metholodologies
- 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.
- 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 9780849341991. chapter 76.
- Shahrzad Mirkhani, Zainalabedin Navabi (2007). "System Level Design Languages". In Wai-Kai Chen. The VLSI handbook (2nd ed.). CRC Press. ISBN 9780849341991. chapter 86. covers the use of C/C++, SystemC, TML and even UML
- John P. Elliott (1999). Understanding behavioral synthesis: a practical guide to high-level design. Springer. ISBN 9780792385424.
- Liming Xiu (2007). VLSI circuit design methodology demystified: a conceptual taxonomy. Wiley-IEEE. ISBN 9780470127421.
- Ewout S. J. Martens; Georges Gielen (2008). High-level modeling and synthesis of analog integrated systems. Springer. ISBN 9781402068010.
- Michael Fingeroff (2010). High-Level Synthesis Blue Book. Xlibris Corporation. ISBN 9781450097246.
Wikimedia Foundation. 2010.
Look at other dictionaries:
High-level programming language — In computing, a high level programming language is a programming language with strong abstraction from the details of the computer. In comparison to low level programming languages, it may use natural language elements, be easier to use, or more… … Wikipedia
High-density lipoprotein — High density lipoproteins (HDL) is one of the 5 major groups of lipoproteins (chylomicrons, VLDL, IDL, LDL, HDL) which enable lipids like cholesterol and triglycerides to be transported within the water based blood stream. In healthy individuals … Wikipedia
Synthesis — The term synthesis (from the ancient Greek Polytonic|σύνθεσις σύν with and θέσις placing ) is used in many fields, usually to mean a process which combines together two or more pre existing elements resulting in the formation of something new.… … Wikipedia
Synthesis of noble metals — refers to the realization of the age old dream of alchemists to artificially produce noble metals. The goal of this could be to achieve greater economic gain when compared to traditional methods of obtaining noble metals. Synthesis of noble… … Wikipedia
Level of support for evolution — The level of support for evolution among scientists, the public and other groups is a topic that frequently arises in the creation evolution controversy and touches on educational, religious, philosophical, scientific and political issues. The… … Wikipedia
speech synthesis — Generation of speech by artificial means, usually by computer. Production of sound to simulate human speech is referred to as low level synthesis. High level synthesis deals with the conversion of written text or symbols into an abstract… … Universalium
Device driver synthesis and verification — The device driver is a program which allows the software or higher level computer programs to interact with a hardware device. These software components act as a link between the devices and the operating systems, communicating with each of these … Wikipedia
Modern evolutionary synthesis — Evolutionary theory redirects here. For the sociological theory, see sociobiology. Part of a series on Evolutionary Biology … Wikipedia
Logic synthesis — is a process by which an abstract form of desired circuit behavior (typically register transfer level (RTL) or behavioral) is turned into a design implementation in terms of logic gates. Common examples of this process include synthesis of HDLs,… … Wikipedia
Register transfer level — In integrated circuit design, Register Transfer Level (RTL) description is a way of describing the operation of a synchronous digital circuit. In RTL design, a circuit s behavior is defined in terms of the flow of signals (or transfer of data)… … Wikipedia