Breaking News!
60% Off the Hottest Halloween Costumes & Accessories

Automatic Programming Applied to VLSI CAD Software: A Case Study

Best Price:
Buy Automatic Programming Applied to VLSI CAD Software: A Case Study for $129.00 at @ Link.springer.com
No coupon is required — this is the standard retail price.

Set a price drop alert to never miss an offer.

1 Offer Price Range: $129.00 - $129.00
BEST PRICE

Single Product Purchase

$129.00
@ Link.springer.com     BUY Now

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
$129.00 $129.00

$129.00
See Site In stock Visit Store

Product Details

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9781461315513
Condition
New
Product Description

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.

Available Colors
Available Sizes

Reviews

0
0 reviews
5 stars
4 stars
3 stars
2 stars
1 star

Questions & Answers

Similar Products

Formal Modeling and Analysis of Timed Systems

Formal Modeling and Analysis of Timed Systems

$39.99
Ciencia Fsica: Micromundos

Ciencia Fsica: Micromundos

$7.46
Mathematik mit dem PC

Mathematik mit dem PC

$69.99
Neuroaesthetics

Neuroaesthetics

$49.99
Automatic Indexing and Abstracting of Document Texts

Automatic Indexing and Abstracting of Document Texts

$229.00
(Re)Storying Human/Earth Relationships in Environmental Education

(Re)Storying Human/Earth Relationships in Environmental Education

$139.99
Designing the City of People 4.0

Designing the City of People 4.0

$119.00
Scientific Writing and Communication in Agriculture and Natural Resources

Scientific Writing and Communication in Agriculture and Natural Resources

$84.99
Aufbauorganisation der Datenverarbeitung

Aufbauorganisation der Datenverarbeitung

$69.99
Transforming Growth Factor-Beta in Cancer Therapy, Volume I

Transforming Growth Factor-Beta in Cancer Therapy, Volume I

$169.00
Uterus Transplantation

Uterus Transplantation

$139.99
The Impact of Radical Right-Wing Parties in West European Democracies

The Impact of Radical Right-Wing Parties in West European Democracies

$54.99
Menschliches Verhalten im Wandel der Zeit

Menschliches Verhalten im Wandel der Zeit

$19.99
Machine Learning Approaches for Urban Computing

Machine Learning Approaches for Urban Computing

$179.99
Nuclear and Radiation Chemical Approaches to Fullerene Science

Nuclear and Radiation Chemical Approaches to Fullerene Science

$109.99
Der Orient als Geosystem

Der Orient als Geosystem

$59.99
Code of Honor

Code of Honor

$5.99
Das IT-Gesetz: Compliance in der IT-Sicherheit

Das IT-Gesetz: Compliance in der IT-Sicherheit

$89.99
Ruins in the Literary and Cultural Imagination

Ruins in the Literary and Cultural Imagination

$89.00
Migrating from Pascal to C++

Migrating from Pascal to C++

$39.99
Islamic Ethics and Incidental Findings

Islamic Ethics and Incidental Findings

$59.99
Elizabeth of York and Her Six Daughters-in-Law

Elizabeth of York and Her Six Daughters-in-Law

$139.99
Bridging the Communication Gap in Science and Technology

Bridging the Communication Gap in Science and Technology

$29.99
Information- and Communication Theory in Molecular Biology

Information- and Communication Theory in Molecular Biology

$84.99
Cellular Communication Networks and Standards

Cellular Communication Networks and Standards

$99.99
Grundkurs SAP R/3

Grundkurs SAP R/3

$44.99
Quick Guide Agile Content-Produktion

Quick Guide Agile Content-Produktion

$29.99
Blockchain and Trustworthy Systems

Blockchain and Trustworthy Systems

$69.99
Schizophrenic Disorders:

Schizophrenic Disorders:

$109.99
Iterative Learning Control with Passive Incomplete Information

Iterative Learning Control with Passive Incomplete Information

$119.00
Westcotts Plant Disease Handbook

Westcotts Plant Disease Handbook

$129.00
Running across Europe

Running across Europe

$54.99
Electroporation Protocols for Microorganisms

Electroporation Protocols for Microorganisms

$84.99
Im Diskurs mit dem Qurn

Im Diskurs mit dem Qurn

$64.99
Cyber-Physical Systems and Control

Cyber-Physical Systems and Control

$109.99
Bifurcations in Flow Patterns

Bifurcations in Flow Patterns

$129.00
Arbeit 4.0 aktiv gestalten

Arbeit 4.0 aktiv gestalten

$39.99
Electrochemistry in Ionic Liquids

Electrochemistry in Ionic Liquids

$109.99
Conspiracy Ideologies in Films and Series

Conspiracy Ideologies in Films and Series

$79.99
Civil Engineering Materials for Transportation Infrastructure

Civil Engineering Materials for Transportation Infrastructure

$84.99
previous
next