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

Automatic Programming Applied to VLSI CAD Software: A Case Study

Best Price (Coupon Required):
Buy Automatic Programming Applied to VLSI CAD Software: A Case Study for $116.10 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.

Set a price drop alert to never miss an offer.

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

Single Product Purchase

$116.10
@ Link.springer.com with extra coupon

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

10% OFF
This deals requires coupon
$116.10
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

Verification of the Biological and Toxin Weapons Convention

Verification of the Biological and Toxin Weapons Convention

$219.99
ATM Network Performance

ATM Network Performance

$84.99
Knowledge Transfers over Geographical Distance in Organisations

Knowledge Transfers over Geographical Distance in Organisations

$54.99
Augmented Reality and Artificial Intelligence

Augmented Reality and Artificial Intelligence

$169.99
Nutritional Quality Management of Forages in the Himalayan Region

Nutritional Quality Management of Forages in the Himalayan Region

$169.99
Understanding PTMs in Neurodegenerative Diseases

Understanding PTMs in Neurodegenerative Diseases

$199.99
Bioremediation

Bioremediation

$84.99
Strategisches Affinity-Group-Management

Strategisches Affinity-Group-Management

$37.99
Computational Approaches in Molecular Radiation Biology

Computational Approaches in Molecular Radiation Biology

$169.99
Historical Studies in Computing, Information, and Society

Historical Studies in Computing, Information, and Society

$34.99
Subgame Consistent Cooperation

Subgame Consistent Cooperation

$84.99
Linear Functional Equations. Operator Approach

Linear Functional Equations. Operator Approach

$39.99
The Interactions of Amsterdam and Antwerp with the Baltic region, 14001800

The Interactions of Amsterdam and Antwerp with the Baltic region, 14001800

$54.99
Qualitative Research Methods in Mental Health

Qualitative Research Methods in Mental Health

$159.99
Symphonien aus dem Geiste der Vokalmusik

Symphonien aus dem Geiste der Vokalmusik

$79.99
The Relativity of Theory

The Relativity of Theory

$99.99
Instructional Scaffolding in STEM Education

Instructional Scaffolding in STEM Education

$59.99
Search for New Phenomena in Top-Antitop Quarks Final States with Additional Heavy-Flavour Jets with

Search for New Phenomena in Top-Antitop Quarks Final States with Additional Heavy-Flavour Jets with

$129.00
Food Safety and Quality-Based Shelf Life of Perishable Foods

Food Safety and Quality-Based Shelf Life of Perishable Foods

$179.99
Die Elektronenrhre als physikalisches Megert

Die Elektronenrhre als physikalisches Megert

$59.99
Headspace Analysis of Foods and Flavors

Headspace Analysis of Foods and Flavors

$109.99
Problem Posing and Solving for Mathematically Gifted and Interested Students

Problem Posing and Solving for Mathematically Gifted and Interested Students

$109.99
Personalpsychologie fr das Human Resource Management

Personalpsychologie fr das Human Resource Management

$59.99
Mehr Erfolg im Technischen Vertrieb

Mehr Erfolg im Technischen Vertrieb

$39.99
Das Burnout-Syndrom

Das Burnout-Syndrom

$29.99
Lehrbuch der Algebra

Lehrbuch der Algebra

$34.99
Wirtschaftsmacht Organisierte Kriminalitt

Wirtschaftsmacht Organisierte Kriminalitt

$29.99
The Reception of Darwinism in the Iberian World

The Reception of Darwinism in the Iberian World

$109.99
3D Robotic Mapping

3D Robotic Mapping

$149.00
Geldanlage und Steuer 2007

Geldanlage und Steuer 2007

$69.99
Korruption

Korruption

$49.99
Nearby Molecular Clouds

Nearby Molecular Clouds

$39.99
The Art of Doing Algebraic Geometry

The Art of Doing Algebraic Geometry

$139.99
Functionality of Molecular Systems

Functionality of Molecular Systems

$54.99
Economics and Finance Readings

Economics and Finance Readings

$109.99
A Nuclear Weapons-Free World?

A Nuclear Weapons-Free World?

$54.99
Beitrge zu physikalischen und verfahrenstechnischen Problemen der barometrischen Hhenmessung in de

Beitrge zu physikalischen und verfahrenstechnischen Problemen der barometrischen Hhenmessung in de

$59.99
Private Data and Public Value

Private Data and Public Value

$84.99
Internationaler Markteintritt von kleinen und mittleren Unternehmen in China

Internationaler Markteintritt von kleinen und mittleren Unternehmen in China

$69.99
Public Choice Analysis of Economic Policy

Public Choice Analysis of Economic Policy

$109.99
previous
next