Verification by Error Modeling: Using Testing Techniques in Hardware Verification (Frontiers in Electronic Testing)

✍ Scribed by Katarzyna Radecka, Zeljko Zilic

Year: 2003
Tongue: English
Leaves: 226
Edition: 1
Category: Library

⬇ Acquire This Volume

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Verification by Error Modeling: Using Te

📁 Verification by Error Modeling: Using Testing Techniques in Hardware Verification (Frontiers in Electronic Testing)

✍ Katarzyna Radecka, Zeljko Zilic 📂 Library 📅 2003 🌐 English

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 by error modeling : using t

📁 Verification by error modeling : using testing techniques in hardware verification

✍ Katarzyna Radecka; Zeljko Zilic 📂 Library 📅 2003 🏛 Kluwer Academic Publishers 🌐 English

Verification by Error Modeling: Using Te

📁 Verification by Error Modeling: Using Testing Techniques in Hardware Verification

✍ Katarzyna Radecka, Zeljko Zilic (auth.) 📂 Library 📅 2004 🏛 Springer US 🌐 English

<p>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, i

Reasoning in Boolean Networks: Logic Syn

📁 Reasoning in Boolean Networks: Logic Synthesis and Verification using Testing Techniques

✍ Wolfgang Kunz, Dominik Stoffel (auth.) 📂 Library 📅 1997 🏛 Springer US 🌐 English

<p><em>Reasoning in Boolean Networks</em> provides a detailed treatment of recent research advances in algorithmic techniques for logic synthesis, test generation and formal verification of digital circuits. The book presents the central idea of approaching design automation problems for logic-level

Tensile testing of metallic materials. V

📁 Tensile testing of metallic materials. Verification of extensometers used in uniaxial testing

📂 Scientific 📅 1999

Tensile testing of metallic materials. V

📁 Tensile testing of metallic materials. Verification of extensometers used in uniaxial testing

📂 Scientific 📅 1999