Automatic Programming Applied to VLSI CAD Software: A Case Study

Automatic Programming Applied to VLSI CAD Software: A Case Study
Author :
Publisher : Springer Science & Business Media
Total Pages : 237
Release :
ISBN-10 : 9781461315513
ISBN-13 : 1461315514
Rating : 4/5 (13 Downloads)

Book Synopsis Automatic Programming Applied to VLSI CAD Software: A Case Study by : Dorothy E. Setliff

Download or read book Automatic Programming Applied to VLSI CAD Software: A Case Study written by Dorothy E. Setliff and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 237 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book, and the research it describes, resulted from a simple observation we made sometime in 1986. Put simply, we noticed that many VLSI design tools looked "alike". That is, at least at the overall software architecture level, the algorithms and data structures required to solve problem X looked much like those required to solve problem X'. Unfortunately, this resemblance is often of little help in actually writing the software for problem X' given the software for problem X. In the VLSI CAD world, technology changes rapidly enough that design software must continually strive to keep up. And of course, VLSI design software, and engineering design software in general, is often exquisitely sensitive to some aspects of the domain (technology) in which it operates. Modest changes in functionality have an unfortunate tendency to require substantial (and time-consuming) internal software modifications. Now, observing that large engineering software systems are technology dependent is not particularly clever. However, we believe that our approach to xiv Preface dealing with this problem took an interesting new direction. We chose to investigate the extent to which automatic programming ideas cold be used to synthesize such software systems from high-level specifications. This book is one of the results of that effort.


Automatic Programming Applied to VLSI CAD Software: A Case Study Related Books

Automatic Programming Applied to VLSI CAD Software: A Case Study
Language: en
Pages: 237
Authors: Dorothy E. Setliff
Categories: Technology & Engineering
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book, and the research it describes, resulted from a simple observation we made sometime in 1986. Put simply, we noticed that many VLSI design tools looked
Symbolic Analysis for Automated Design of Analog Integrated Circuits
Language: en
Pages: 302
Authors: Georges Gielen
Categories: Technology & Engineering
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

It is a great honor to provide a few words of introduction for Dr. Georges Gielen's and Prof. Willy Sansen's book "Symbolic analysis for automated design of ana
Handbook of VLSI Chip Design and Expert Systems
Language: en
Pages: 593
Authors: A. F. Schwarz
Categories: Technology & Engineering
Type: BOOK - Published: 2014-05-10 - Publisher: Academic Press

DOWNLOAD EBOOK

Handbook of VLSI Chip Design and Expert Systems provides information pertinent to the fundamental aspects of expert systems, which provides a knowledge-based ap
Integrating Functional and Temporal Domains in Logic Design
Language: en
Pages: 227
Authors: Patrick C. McGeer
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book is an extension of one author's doctoral thesis on the false path problem. The work was begun with the idea of systematizing the various solutions to
Neural Models and Algorithms for Digital Testing
Language: en
Pages: 187
Authors: S.T. Chadradhar
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

References . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82 9 QUADRATIC 0-1 PROGRAMMING 8S 9. 1 Energy Minimization 86 9. 2 Notation and Tenninology .