0
Your cart

Your cart is empty

Books > Professional & Technical > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics

Buy Now

Verification by Error Modeling - Using Testing Techniques in Hardware Verification (Hardcover, 2003 ed.) Loot Price: R3,145
Discovery Miles 31 450
Verification by Error Modeling - Using Testing Techniques in Hardware Verification (Hardcover, 2003 ed.): Katarzyna Radecka,...

Verification by Error Modeling - Using Testing Techniques in Hardware Verification (Hardcover, 2003 ed.)

Katarzyna Radecka, Zeljko Zilic

Series: Frontiers in Electronic Testing, 25

 (sign in to rate)
Loot Price R3,145 Discovery Miles 31 450 | Repayment Terms: R295 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

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 andpracticing engineers. Due to its comprehensive coverage of background topics, the book can also be used for teaching courses on verification and test topics.

General

Imprint: Springer-Verlag New York
Country of origin: United States
Series: Frontiers in Electronic Testing, 25
Release date: November 2003
First published: 2003
Authors: Katarzyna Radecka • Zeljko Zilic
Dimensions: 235 x 155 x 14mm (L x W x T)
Format: Hardcover
Pages: 216
Edition: 2003 ed.
ISBN-13: 978-1-4020-7652-7
Categories: Books > Professional & Technical > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
LSN: 1-4020-7652-5
Barcode: 9781402076527

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

AI 2041 - Ten Visions for Our Future
Kai-Fu Lee, Chen Qiufan Paperback R345 R270 Discovery Miles 2 700
LEGO Gadgets
Editors of Klutz Hardcover  (4)
R479 R410 Discovery Miles 4 100
Scary Smart - The Future Of Artificial…
Mo Gawdat Paperback R299 R234 Discovery Miles 2 340
The New Breed - What Our History with…
Kate Darling Paperback R548 R464 Discovery Miles 4 640
Hallo Robot - Meet Your New Workmate and…
Bennie Mols, Nieske Vergunst Paperback  (1)
R442 R318 Discovery Miles 3 180
Robotics: From Manipulator To Mobilebot
Zi-Xing Cai Hardcover R4,839 Discovery Miles 48 390
Robotics, Vision and Control…
Peter Corke Paperback R1,738 R1,546 Discovery Miles 15 460
Algebraic Geometry For Robotics And…
Laura Menini, Corrado Possieri, … Hardcover R4,574 Discovery Miles 45 740
Caregiving, Carebots, and Contagion
Michael C. Brannigan Hardcover R2,361 Discovery Miles 23 610
AI for Scientific Discovery
Janna Hastings Hardcover R3,666 Discovery Miles 36 660
The Ethics of AI and Robotics - A…
Soraj Hongladarom Paperback R1,023 Discovery Miles 10 230
Intersectional Automations - Robotics…
Nathan Rambukkana Hardcover R2,620 Discovery Miles 26 200

See more

Partners