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

Toward Equity in Quality in Mathematics Education

Toward Equity in Quality in Mathematics Education

$84.99
Biotechnologie in Cartoons

Biotechnologie in Cartoons

$19.99
Interventions in the Acute Phase of Myocardial Infarction

Interventions in the Acute Phase of Myocardial Infarction

$84.99
Advances in Tourism Economics

Advances in Tourism Economics

$139.99
Klteprozesse

Klteprozesse

$54.99
Fuzzy Logic

Fuzzy Logic

$109.99
Public Administration in Europe

Public Administration in Europe

$169.99
Prozeorientiertes Distributionscontrolling

Prozeorientiertes Distributionscontrolling

$49.99
Late Modernist Style in Samuel Beckett and Emmanuel Levinas

Late Modernist Style in Samuel Beckett and Emmanuel Levinas

$54.99
Praktikum der Physiologischen Chemie

Praktikum der Physiologischen Chemie

$59.99
Space Groups (135) P42/mbc  (123) P4/mmm

Space Groups (135) P42/mbc (123) P4/mmm

$549.99
Wertschpfungsmanagement im Mittelstand

Wertschpfungsmanagement im Mittelstand

$64.99
Translation Issues in Language and Law

Translation Issues in Language and Law

$84.99
Pharmacy Practice Research Methods

Pharmacy Practice Research Methods

$169.99
The Pope of Happiness

The Pope of Happiness

$109.99
AI and Neuro-Degenerative Diseases

AI and Neuro-Degenerative Diseases

$179.99
Narrative Strategies in Television Series

Narrative Strategies in Television Series

$109.99
Lasertechnik in der Medizin

Lasertechnik in der Medizin

$84.99
Implementierung von Geschftsmodellinnovationen im Kontext der digitalen Servitisation im industriel

Implementierung von Geschftsmodellinnovationen im Kontext der digitalen Servitisation im industriel

$84.99
Practical Machine Learning with Python

Practical Machine Learning with Python

$79.99
Machine Learning and Intelligent Communications

Machine Learning and Intelligent Communications

$54.99
Spatiality at the Periphery in European Literatures and Visual Arts

Spatiality at the Periphery in European Literatures and Visual Arts

$109.00
Combinatorial Number Theory and Additive Group Theory

Combinatorial Number Theory and Additive Group Theory

$54.95
Theory and Interpretation of Magnetic Resonance Spectra

Theory and Interpretation of Magnetic Resonance Spectra

$54.99
Volume Microscopy

Volume Microscopy

$89.00
Functions of Glutathione in Liver and Kidney

Functions of Glutathione in Liver and Kidney

$84.99
My Thoughts on Biological Evolution

My Thoughts on Biological Evolution

$119.00
Instrumentation Between Science, State and Industry

Instrumentation Between Science, State and Industry

$54.99
Stereoselective Synthesis

Stereoselective Synthesis

$109.99
The Korean Wave

The Korean Wave

$129.99
Living Buddhist Statues in Early Medieval and Modern Japan

Living Buddhist Statues in Early Medieval and Modern Japan

$54.99
2D Nanomaterials for Energy and Environmental Sustainability

2D Nanomaterials for Energy and Environmental Sustainability

$179.99
Legal Aspects of Alien Acquisition of Real Property

Legal Aspects of Alien Acquisition of Real Property

$54.99
Ageism and Mistreatment of Older Workers

Ageism and Mistreatment of Older Workers

$84.99
Botanophilia in Eighteenth-Century France

Botanophilia in Eighteenth-Century France

$109.99
Boundary Elements: Implementation and Analysis of Advanced Algorithms

Boundary Elements: Implementation and Analysis of Advanced Algorithms

$84.99
Ecology of Cenchrus grass complex

Ecology of Cenchrus grass complex

$54.99
Menschheitsproblem Klimanderung

Menschheitsproblem Klimanderung

$19.99
Urban Intelligence and Applications

Urban Intelligence and Applications

$39.99
Software Product-Family Engineering

Software Product-Family Engineering

$39.99
previous
next