Skip to main content
SpringerLink
Log in

Automatic Programming Applied to VLSI CAD Software: A Case Study

  • Book
  • © 1990

Overview

Authors:
  1. Dorothy E. Setliff

    1. University of Pittsburgh, USA

    View author publications

    You can also search for this author in PubMed   Google Scholar

  2. Rob A. Rutenbar

    1. Carnegie Mellon University, USA

    View author publications

    You can also search for this author in PubMed   Google Scholar

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

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (10 chapters)

  1. Front Matter

    Pages i-xix
    Download chapter PDF

  2. Introduction

    • Dorothy E. Setliff, Rob A. Rutenbar
    Pages 1-11

  3. Application Domain: Routing Algorithms

    • Dorothy E. Setliff, Rob A. Rutenbar
    Pages 13-32

  4. Software Reusability

    • Dorothy E. Setliff, Rob A. Rutenbar
    Pages 33-42

  5. ELF: A Program Synthesis Architecture

    • Dorothy E. Setliff, Rob A. Rutenbar
    Pages 43-69

  6. The Input Stage

    • Dorothy E. Setliff, Rob A. Rutenbar
    Pages 71-81

  7. The Selection Stage

    • Dorothy E. Setliff, Rob A. Rutenbar
    Pages 83-125

  8. The Code Generator Stage

    • Dorothy E. Setliff, Rob A. Rutenbar
    Pages 127-151

  9. Implementation

    • Dorothy E. Setliff, Rob A. Rutenbar
    Pages 153-167

  10. ELF Validation

    • Dorothy E. Setliff, Rob A. Rutenbar
    Pages 169-195

  11. Conclusion

    • Dorothy E. Setliff, Rob A. Rutenbar
    Pages 197-203

  12. Back Matter

    Pages 205-234
    Download chapter PDF
Back to top

Keywords

About this book

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.

Authors and Affiliations

  • University of Pittsburgh, USA

    Dorothy E. Setliff

  • Carnegie Mellon University, USA

    Rob A. Rutenbar

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation