Verification by Error Modeling Using Testing Techniques in Hardware Verification /

• Main Authors: Radecka, Katarzyna (Author), Zilic, Zeljko (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Boston, MA : Springer US, 2003.
• Series: Frontiers in Electronic Testing, 25
• Subjects: Engineering.; Computers.; Computer-aided engineering.; Robotics.; Automation.; Electrical engineering.; Electronic circuits.; Robotics and Automation.; Circuits and Systems.; Electrical Engineering.; Computer-Aided Engineering (CAD, CAE) and Design.; Computing Methodologies.

1. DESIGN FLOW Integrated circuit (IC) complexity is steadily increasing. ICs incorporating hundreds of millions of transistors, mega-bit memories, complicated pipelined structures, etc., are now in high demand. For example, Intel Itanium II processor contains more than 200 million transistors, incl...

Table of Contents:

• Boolean Function Representations
• Don’t Cares and Their Calculation
• Testing
• Design Error Models
• Design Verification by At
• Identifying Redundant Gate and Wire Replacements
• Conclusions and Future Work.