Automatic Programming Applied to VLSI CAD Software: A Case Study (Paperback, Softcover reprint of the original 1st ed. 1990)

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."

General

Imprint:	Springer-Verlag New York
Country of origin:	United States
Series:	The Springer International Series in Engineering and Computer Science, 101
Release date:	September 2011
First published:	1990
Authors:	Dorothy E Setliff • Rob A. Rutenbar
Dimensions:	235 x 155 x 14mm (L x W x T)
Format:	Paperback
Pages:	234
Edition:	Softcover reprint of the original 1st ed. 1990
ISBN-13:	978-1-4612-8831-2
Categories:	Books > Computing & IT > Computer programming > Software engineering Books > Professional & Technical > Technology: general issues > Technical design > Computer aided design (CAD) Books > Professional & Technical > Energy technology & engineering > Electrical engineering > General Books > Professional & Technical > Electronics & communications engineering > Electronics engineering > Circuits & components Books > Computing & IT > Applications of computing > Artificial intelligence > General
LSN:	1-4612-8831-2
Barcode:	9781461288312

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!