Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Robustness and Usability in Modern Design Flows

Robustness and Usability in Modern Design Flows

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

The size of technically producible integrated circuits increases continuously. But the ability to design and verify these circuits does not keep up with this development. Therefore, todays design ?ow has to be improved to achieve a higher productivity. In this book the current design methodology and ver- cation methodology are analyzed, a number of de?ciencies are identi?ed, and solutions are suggested. Improvements in the methodology as well as in the underlying algorithms are proposed. An in-depth presentation of preliminary concepts makes the book self-contained. Based on this foundation major - sign problems are targeted. In particular, a complete tool ?ow for Synthesis for Testability of SystemC descriptions is presented. The resulting circuits are completely testable and test pattern generation in polynomial time is possible. Veri?cation issues are covered in even more detail. A whole new paradigm for formal design veri?cation is suggested. This is based upon design und- standing, the automatic generation of properties, and powerful tool support for debugging failures. All these new techniques are empirically evaluated and - perimental results are provided. As a result, an enhanced design ?ow is created that provides more automation (i.e. better usability) and reduces the probability of introducing conceptual errors (i.e. higher robustness). Acknowledgments We would like to thank all members of the research group for computer arc- tecture in Bremen for the helpful discussions and the great atmosphere during work and research.

Available Colors
Available Sizes
1 Offer Price Range: $84.99 - $84.99
BEST PRICE

Single Product Purchase

$84.99
@ 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
Contact Store Call Store Contact Support
$84.99 $84.99

$84.99
See Site In stock Visit Store

Similar Products

Human-Computer Interaction. Novel Interaction Methods and Techniques

$109.99

Geographies of New Caledonia-Kanaky

$59.99

The Afterglow of Womens Pornography in Post-Digital China

$39.99

Coleridge's Ancient Mariner

$99.99

Complementarity, Duality and Symmetry in Nonlinear Mechanics

$219.99

Breadth and Depth of Semantic Lexicons

$169.99

Five Nights at Freddy's: The Freddy Files Ultimate Edition

$11.24

Artificial Intelligence

$54.99

Free Flaps in Head and Neck Reconstruction

$129.99

Adaptive Approach to Petroleum Reservoir Simulation

$39.99

The Politics of the People in Eighteenth-Century Britain

$54.99

Molecular Aspects of Early Development

$39.99

Drugs for HER-2-positive Breast Cancer

$129.00

Orthopaedic Biomechanics in Sports Medicine

$129.99

Entrepreneurship in the Public Sector

$54.99

Art Maps and Cities

$129.99

God Gave Us Heaven by Lisa Tawn Bergren

$10.99

Wechselwirkungen

$59.99

Number Theoretic Methods in Cryptography

$39.99

Modern trends in Superconductivity and Superfluidity

$54.99

Filtering, Segmentation and Depth

$39.99

Biology of the Mouse Histocompatibility-2 Complex

$54.99

Das Mrkisch-Thringische Dreiecksnetz

$54.99

Mela and the Elephant

$5.96

Population and family in the Low Countries II

$54.99

Properties and Chemistry of Biomolecular Systems

$39.99

One Grain of Rice (Hardcover)

$16.49

Crisis and Change in the Japanese Financial System

$169.00

Design Principles for Embedded Systems

$119.99

Women in British Politics, 1780-1860

$39.99

Intersections of Religion and Migration

$169.99

Umfragen als Anker?

$49.99

Intersections without Traffic Signals II

$84.99

Biogeography, Time and Place: Distributions, Barriers and Islands

$169.99

The Invention of Infinity: Essays on Husserl and the History of Philosophy

$139.99

My Book of Animals: Big and Little / Grande y pequeo

$5.21

The Political Theory of Modus Vivendi

$159.99

Medien, Geschichte und Wahrnehmung

$34.99

Womens Contributions to Development in West Africa

$139.99