Skip to content
Scan a barcode
Scan
Hardcover Design for Testability, Debug and Reliability: Next Generation Measures Using Formal Techniques Book

ISBN: 3030692086

ISBN13: 9783030692087

Design for Testability, Debug and Reliability: Next Generation Measures Using Formal Techniques

Select Format

Select Condition ThriftBooks Help Icon

Recommended

Format: Hardcover

Condition: New

$119.99
50 Available
Ships within 2-3 days

Book Overview

This book introduces several novel approaches to pave the way for the next generation of integrated circuits, which can be successfully and reliably integrated, even in safety-critical applications. The authors describe new measures to address the rising challenges in the field of design for testability, debug, and reliability, as strictly required for state-of-the-art circuit designs. In particular, this book combines formal techniques, such as the Satisfiability (SAT) problem and the Bounded Model Checking (BMC), to address the arising challenges concerning the increase in test data volume, as well as test application time and the required reliability. All methods are discussed in detail and evaluated extensively, while considering industry-relevant benchmark candidates. All measures have been integrated into a common framework, which implements standardized software/hardware interfaces.

Customer Reviews

0 rating
Copyright © 2025 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
GoDaddy Verified and Secured