Design fr Testbarkeit, Fehlersuche und Zuverlssigkeit
Best Price (Coupon Required):
Buy Design fr Testbarkeit, Fehlersuche und Zuverlssigkeit for $80.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.
Single Product Purchase
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 |
|
10% OFF
This deals requires coupon
|
$80.10 | See Site | In stock | Visit Store |
Product Details
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.
