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
9780792391128
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

Quantum Mechanics of One- and Two-Electron Atoms

Quantum Mechanics of One- and Two-Electron Atoms

$119.99
Glass-Ionomers in Dentistry

Glass-Ionomers in Dentistry

$129.99
Empirically Informed Ethics: Morality between Facts and Norms

Empirically Informed Ethics: Morality between Facts and Norms

$84.99
Engineering Empires

Engineering Empires

$109.99
Jan Brett's The Nutcracker by Jan Brett

Jan Brett's The Nutcracker by Jan Brett

$18.99
Non-Representational Theory and the Creative Arts

Non-Representational Theory and the Creative Arts

$139.00
Artificial Intelligence of Things

Artificial Intelligence of Things

$84.99
Der Globalisierungsdiskurs in hybriden Literaturen

Der Globalisierungsdiskurs in hybriden Literaturen

$64.99
Britain and the Cinema in the Second World War

Britain and the Cinema in the Second World War

$109.99
Tocqueville, Lieber, and Bagehot

Tocqueville, Lieber, and Bagehot

$39.99
Seminar

Seminar

$69.95
Cleaning and Corporate Management

Cleaning and Corporate Management

$129.99
Der Aufstieg der Netzwerkgesellschaft

Der Aufstieg der Netzwerkgesellschaft

$89.99
The Continuum Limit of Causal Fermion Systems

The Continuum Limit of Causal Fermion Systems

$84.99
Sustainable Finance and Financial Crime

Sustainable Finance and Financial Crime

$199.99
Multimedia Internet Broadcasting

Multimedia Internet Broadcasting

$109.99
River (Hardcover)

River (Hardcover)

$14.24
Environmental Technology Development in Liberal and Coordinated Market Economies

Environmental Technology Development in Liberal and Coordinated Market Economies

$39.99
Australia's Children's Courts Today and Tomorrow

Australia's Children's Courts Today and Tomorrow

$169.99
Fuzzy Control of Queuing Systems

Fuzzy Control of Queuing Systems

$84.99
Metaplectic Groups and Segal Algebras

Metaplectic Groups and Segal Algebras

$29.99
Markenbudgetierung

Markenbudgetierung

$69.99
Die Physikalisch-Chemischen Eigenschaften der Legierungen

Die Physikalisch-Chemischen Eigenschaften der Legierungen

$59.99
Transnational Outrage

Transnational Outrage

$54.99
Science Vocabulary Readers: Beautiful Birds

Science Vocabulary Readers: Beautiful Birds

$3.71
Compiler Construction

Compiler Construction

$39.99
Dynamically Consolidated Composites: Manufacture and Properties

Dynamically Consolidated Composites: Manufacture and Properties

$54.99
Freiheit und Kommunikation

Freiheit und Kommunikation

$119.99
A Practical Guide to Acceptance and Commitment Therapy

A Practical Guide to Acceptance and Commitment Therapy

$179.99
Stress and Tension Control

Stress and Tension Control

$39.99
Bridging the Communication Gap in Science and Technology

Bridging the Communication Gap in Science and Technology

$29.99
Radiological and Nuclear Terrorism

Radiological and Nuclear Terrorism

$159.99
Governing Continuous Transformation

Governing Continuous Transformation

$89.00
Multi-Armed Bandits

Multi-Armed Bandits

$59.99
Recent Advances in Constraints

Recent Advances in Constraints

$39.99
Multimodal Imaging in Neurology

Multimodal Imaging in Neurology

$19.99
International Perspectives on the Teaching and Learning of Geometry in Secondary Schools

International Perspectives on the Teaching and Learning of Geometry in Secondary Schools

$99.00
Einfhrung Inventor 2019

Einfhrung Inventor 2019

$29.99
Robust Multivariate Analysis

Robust Multivariate Analysis

$89.99
Handbook of Healthcare Logistics

Handbook of Healthcare Logistics

$159.99
previous
next