A Survey of High-Level Synthesis Systems

Publisher : Springer Science & Business Media

ISBN-13 : 1461539684

Page : 182 pages

Rating : 4.5/5 from 684 voters

After long years of work that have seen little industrial application, high-level synthesis is finally on the verge of becoming a practical tool. The state of high-level synthesis today is similar to the state of logic synthesis ten years ago. At present, logic-synthesis tools are widely used in digital system design. In the future, high-level synthesis will play a key role in mastering design complexity and in truly exploiting the potential of ASIes and PLDs, which demand extremely short design cycles. Work on high-level synthesis began over twenty years ago. Since substantial progress has been made in understanding the basic then, problems involved, although no single universally-accepted theoretical framework has yet emerged. There is a growing number of publications devoted to high-level synthesis, specialized workshops are held regularly, and tutorials on the topic are commonly held at major conferences. This book gives an extensive survey of the research and development in high-level synthesis. In Part I, a short tutorial explains the basic concepts used in high-level synthesis, and follows an example design throughout the synthesis process. In Part II, current high-level synthesis systems are surveyed.

More Books:

A Survey of High-Level Synthesis Systems
Language: en
Pages: 182
Authors: Robert A. Walker
Categories: Technology & Engineering
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

After long years of work that have seen little industrial application, high-level synthesis is finally on the verge of becoming a practical tool. The state of h
High Level Synthesis of ASICs under Timing and Synchronization Constraints
Language: en
Pages: 294
Authors: David C. Ku
Categories: Technology & Engineering
Type: BOOK - Published: 2013-03-14 - Publisher: Springer Science & Business Media

Computer-aided synthesis of digital circuits from behavioral level specifications offers an effective means to deal with increasing complexity of digital hardwa
Advances in Computers
Language: en
Pages: 452
Authors:
Categories: Computers
Type: BOOK - Published: 1993-09-14 - Publisher: Academic Press

Advances in Computers
Hardware Implementation of Intelligent Systems
Language: en
Pages: 282
Authors: Horia-Nicolai Teodorescu
Categories: Computers
Type: BOOK - Published: 2013-11-11 - Publisher: Physica

Intelligent systems are now being used more commonly than in the past. These involve cognitive, evolving and artificial-life, robotic, and decision making syste
Low Power Design in Deep Submicron Electronics
Language: en
Pages: 580
Authors: W. Nebel
Categories: Technology & Engineering
Type: BOOK - Published: 2013-06-29 - Publisher: Springer Science & Business Media

Low Power Design in Deep Submicron Electronics deals with the different aspects of low power design for deep submicron electronics at all levels of abstraction
High-Level Verification
Language: en
Pages: 167
Authors: Sudipta Kundu
Categories: Technology & Engineering
Type: BOOK - Published: 2011-05-18 - Publisher: Springer Science & Business Media

Given the growing size and heterogeneity of Systems on Chip (SOC), the design process from initial specification to chip fabrication has become increasingly com
Advances in Hardware Design and Verification
Language: en
Pages: 313
Authors: Hon Li
Categories: Computers
Type: BOOK - Published: 2016-01-09 - Publisher: Springer

CHARM '97 is the ninth in a series of working conferences devoted to the development and use of formal techniques in digital hardware design and verification. T
Separation Logic for High-level Synthesis
Language: en
Pages: 132
Authors: Felix Winterstein
Categories: Technology & Engineering
Type: BOOK - Published: 2017-02-27 - Publisher: Springer

This book presents novel compiler techniques, which combine a rigorous mathematical framework, novel program analyses and digital hardware design to advance cur
Logic and Architecture Synthesis
Language: en
Pages: 390
Authors: Gabriele Saucier
Categories: Technology & Engineering
Type: BOOK - Published: 2016-01-09 - Publisher: Springer

This book describes several methods and systems solving one of the highlighted problems within computer aided design, namely architectural and logic synthesis.
High-Level VLSI Synthesis
Language: en
Pages: 390
Authors: Raul Camposano
Categories: Technology & Engineering
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

The time has come for high-level synthesis. When research into synthesizing hardware from abstract, program-like de scriptions started in the early 1970' s, the