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