Copied Design fr Testbarkeit, Fehlersuche und Zuverlssigkeit
Design fr Testbarkeit, Fehlersuche und Zuverlssigkeit
In diesem Buch werden mehrere neue Anstze vorgestellt, die den Weg fr die nchste Generation integrierter Schaltungen ebnen, die auch in sicherheitskritischen Anwendungen erfolgreich und zuverlssig integriert werden knnen. Die Autoren beschreiben neue Manahmen zur Bewltigung der steigenden Herausforderungen im Bereich des Designs fr Testbarkeit, Fehlersuche und Zuverlssigkeit, die fr moderne Schaltungsentwrfe unbedingt erforderlich sind. Insbesondere werden in diesem Buch formale Techniken wie das Satisfiability (SAT)-Problem und das Bounded Model Checking (BMC) kombiniert, um die entstehenden Herausforderungen in Bezug auf die Zunahme des Testdatenvolumens, die Testanwendungszeit und die erforderliche Zuverlssigkeit zu bewltigen. Alle Methoden werden detailliert diskutiert und unter Bercksichtigung von industrie-relevanten Benchmark-Kandidaten ausfhrlich evaluiert. Alle Manahmen wurden in ein gemeinsames Framework integriert, das standardisierte Software/Hardware-Schnittstellen implementiert.
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
|
|
$89.00 | $89.00 |
|
$80.10 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Theatre, Globalization and the Cold War
$119.99
Einfhrung in die Programmiersprache FORTRAN 77
$59.99
Die Merowinger und das Imperium
$49.99
Besonderheiten auslndischer Eisenbahnbetriebsverfahren
$17.99
Nitric Oxide and Infection
$169.00
The Dynamics of Clusters and Innovation
$54.99
Adapting Approaches and Methods to Teaching English Online
$79.99
Exchanging Human Bodily Material: Rethinking Bodies and Markets
$169.99
Paraconsistent Intelligent-Based Systems
$109.99
Tumor Suppressor Genes in Human Cancer
$219.99
Interfaces Under Laser Irradiation
$219.99
Shaping Regional Futures
$169.99
Own Voice Grades 9-12
$74.00
Compressible Navier-Stokes Equations
$109.99
Die Pathologisch-Histologischen Untersuchungsmethoden
$59.99
Einfhrung in die Informations- und Codierungstheorie
$49.99
Modern Aspects of Electrochemistry, Number 38
$89.00
An Anthology of Theories and Models of Design
$169.99
In der DDR investieren und kooperieren
$59.99
Das sichtbare Publikum?
$49.99
Russia and the Challengers
$54.99
Klner Papyri (P. Kln)
$69.99
Microwave Remote Sensing for Oceanographic and Marine Weather-Forecast Models
$39.99
Handbuch Export Import Spedition
$69.95
Drachenflug
$59.99
Self-Regulation of the Brain and Behavior
$39.99
Marine Organic Matter: Biomarkers, Isotopes and DNA
$259.00
COVID-19 Experience in the Philippines
$109.99
Student Entrepreneurship in the Social Knowledge Economy
$54.99
Polyarenes I
$169.00
Vorgehensmodelle kompakt
$19.99
The United Nations
$54.99
Richard Quinney
$89.99
Fundamentals of Power Electronics
$199.99
Sociological Theories of the Economy
$109.99
Environmental Instrumentation
$54.99
Electronic Structure of Semiconductor Interfaces
$44.99
Blake and Conflict
$39.99
Vorbereitungskurs Staatsexamen Mathematik
$34.99
New Diplomacy In The Post-Cold-War World
$54.99
