Algorithmic and Register-Transfer Level Synthesis: The System Architect’s Workbench

Algorithmic and Register-Transfer Level Synthesis: The System Architect’s Workbench
Author :
Publisher : Springer
Total Pages : 306
Release :
ISBN-10 : 1461288150
ISBN-13 : 9781461288152
Rating : 4/5 (152 Downloads)

Book Synopsis Algorithmic and Register-Transfer Level Synthesis: The System Architect’s Workbench by : Donald E. Thomas

Download or read book Algorithmic and Register-Transfer Level Synthesis: The System Architect’s Workbench written by Donald E. Thomas and published by Springer. This book was released on 2011-09-16 with total page 306 pages. Available in PDF, EPUB and Kindle. Book excerpt: Recently there has been increased interest in the development of computer-aided design programs to support the system level designer of integrated circuits more actively. Such design tools hold the promise of raising the level of abstraction at which an integrated circuit is designed, thus releasing the current designers from many of the details of logic and circuit level design. The promise further suggests that a whole new group of designers in neighboring engineering and science disciplines, with far less understanding of integrated circuit design, will also be able to increase their productivity and the functionality of the systems they design. This promise has been made repeatedly as each new higher level of computer-aided design tool is introduced and has repeatedly fallen short of fulfillment. This book presents the results of research aimed at introducing yet higher levels of design tools that will inch the integrated circuit design community closer to the fulfillment of that promise. 1. 1. SYNTHESIS OF INTEGRATED CmCUITS In the integrated circuit (Ie) design process, a behavior that meets certain specifications is conceived for a system, the behavior is used to produce a design in terms of a set of structural logic elements, and these logic elements are mapped onto physical units. The design process is impacted by a set of constraints as well as technological information (i. e. the logic elements and physical units used for the design).


Algorithmic and Register-Transfer Level Synthesis: The System Architect’s Workbench Related Books

Algorithmic and Register-Transfer Level Synthesis: The System Architect’s Workbench
Language: en
Pages: 330
Authors: Donald E. Thomas
Categories: Technology & Engineering
Type: BOOK - Published: 1989-10-31 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Recently there has been increased interest in the development of computer-aided design programs to support the system level designer of integrated circuits more
Algorithmic and Register-Transfer Level Synthesis: The System Architect’s Workbench
Language: en
Pages: 306
Authors: Donald E. Thomas
Categories: Technology & Engineering
Type: BOOK - Published: 2011-09-16 - Publisher: Springer

DOWNLOAD EBOOK

Recently there has been increased interest in the development of computer-aided design programs to support the system level designer of integrated circuits more
Algorithmic and Register-Transfer Level Synthesis: The System Architect’s Workbench
Language: en
Pages: 313
Authors: Donald E. Thomas
Categories: Technology & Engineering
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Recently there has been increased interest in the development of computer-aided design programs to support the system level designer of integrated circuits more
A Survey of High-Level Synthesis Systems
Language: en
Pages: 190
Authors: Robert A. Walker
Categories: Technology & Engineering
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

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
Theorem Proving in Higher Order Logics
Language: en
Pages: 516
Authors: Jim Grundy
Categories: Computers
Type: BOOK - Published: 1998-09-09 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 11th International Conference on Theorem Proving in Higher Order Logics, TPHOLs '98, held in Canberra, Aus