Könyv Verification by Error Modeling Katarzyna Radecka

Verification by Error Modeling

Using Testing Techniques in Hardware Verification

Nyelv: Angol
Kötés: Puha kötésű
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
38 537 Ft
This book presents the basis for reusing the test vector generation and simulation for the purpose o...

Információk a könyvről

Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2010
oldal
216
EAN
9781441954022
ISBN
1441954023
Enbook ID
01423688
Súly
454
Méretek
155 x 235 x 13

Teljes leírás

This book presents the basis for reusing the test vector generation and simulation for the purpose of implementation verification, to result in a significant timesaving. It brings the results in the direction of merging manufacturing test vector generation and verification.Verification presents the most time-consuming task in the integrated circuit design process. The increasing similarity between implementation verification and the ever-needed task of providing vectors for manufacturing fault testing is tempting many professionals to combine verification and testing efforts. This book presents the basis for reusing the test vector generation and simulation for the purpose of implementation verification, to result in a significant timesaving. The book brings the results in the direction of merging manufacturing test vector generation and verification. It first discusses error fault models suitable for approaching the verification by testing methods. Then, it elaborates a proposal for an implicit fault model that uses the Arithmetic Transform representation of a circuit and the faults. Presented is the fundamental link between the error size and the test vector size, which allows parametrizable verification by test vectors. Furthermore, the test vector set is sufficient not only for detecting, but also for diagnosing and correcting the design errors. The practical use of any such simulation-based verification scheme can be seriously impaired by redundant faults, that otherwise require exhaustive simulations. The redundant fault identification methods are presented that are well suited for the type of faults considered. Finally, the same representation can be used to augment and expand the formal verification schemes that are to be used in conjunction with the simulation-based verification. The primary audience for Verification by Error Modeling includes researchers in verification and testing, managers in charge of verification of test and practicing engineers. Due to its comprehensive coverage of background topics, the book can also be used for teaching courses on verification and test topics.

Érdekelheti

Blood Rebellion

Suttle Connie Suttle
5 080 Ft
4 340 Ft
18 997 Ft

Lost & Found

KATHRYN SCHULZ
5 892 Ft
5 978 Ft
5 978 Ft
86 655 Ft

Borders of Justice

Etienne Balibar
35 934 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

5 592 Ft

Die Lügen der Frauen

Ljudmila Ulitzkaja
4 111 Ft
15 443 Ft
2 706 Ft

Rusko v plamenech

Tomáš Lemešani
3 842 Ft

Barbe Bleue

Charles Perrault
2 549 Ft

White King

Juan Gomez-Jurado
7 800 Ft