000			nam a22 4500
999			_c33029 _d33029
008			240319b xxu||||| |||| 00| 0 eng d
020			_a9783030692117
082			_a621.3815 _bHUH
100			_aHuhn, Sebastian
245			_aDesign for testability, debug and reliability : next generation measures using formal techniques
260			_bSpringer, _c2021 _aCham :
300			_axxi, 164 p. ; _bill., _c23 cm
365			_b69.99 _c€ _d93.50
504			_aIncludes bibliographical references and index.
520			_aThis 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. Provides readers with a combination of a comprehensive set of formal techniques covering and enhancing different aspects of the state-of-the-art design and test flow for ICs; Introduces newly developed heuristic, formal optimization-based and partition-based retargeting techniques and integrates them into a common framework; Describes fully compliant (with respect to industrial de-facto standard) measures to enhance the DFT, DFD and DFR capabilities while supporting standardized data exchange formats; Includes new measures to tackle shortcomings of existing state-of-the-art methods, including zero-defect enforcing safety-critical applications.
650			_aIntegrated circuits
650			_aDesign and construction
650			_aCircuits Reliability
700			_aDrechsler, Rolf
942			_2ddc _cBK