𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2007 IEEE International Workshop on Microprocessor Test and Verification (MTV) - Austin, TX, USA (2007.12.5-2007.12.6)] 2007 Eighth International Workshop on Microprocessor Test and Verification - A CLP-Based Functional ATPG for Extended FSMs

✍ Scribed by Fummi, Franco; Marconcini, Cristina; Pravadelli, Graziano; Harris, Ian G.

Book ID: 120487335
Publisher: IEEE
Year: 2007
Weight: 325 KB
Category: Article
ISBN: 0769532411
DOI: 10.1109/MTV.2007.18

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Seventh International Workshop on

[IEEE Seventh International Workshop on Microprocessor Test and Verification (MTV'06) - Austin, TX, USA (2006.12.4-2006.12.5)] Seventh International Workshop on Microprocessor Test and Verification (MTV'06) - Test Calculation for Logic and Delay Faults in Digital Circuits

✍ Sziray, Jozsef 📂 Article 📅 2006 🏛 IEEE 🌐 English ⚖ 389 KB

[IEEE 2012 13th International Workshop o

[IEEE 2012 13th International Workshop on Microprocessor Test and Verification (MTV) - Austin, TX, USA (2012.12.10-2012.12.13)] 2012 13th International Workshop on Microprocessor Test and Verification (MTV) - Dual-LFSR Reseeding for Low Power Testing

✍ Lee, Lung-Jen; Tseng, Wang-Dauh; Yang, Wen-Ting 📂 Article 📅 2012 🏛 IEEE ⚖ 178 KB

[IEEE Comput. Soc 5th International Work

[IEEE Comput. Soc 5th International Workshop on Microprocessor Test and Verification. Common Challenges and Solutions - Austin, TX, USA (9-10 Sept. 2004)] Fifth International Workshop on Microprocessor Test and Verification (MTV'04) - Functional verification of pipelined processors: a case study

✍ Prabhat Mishra, ; Nikil Dutt, ; Yaron Kashai, 📂 Article 📅 2004 🏛 IEEE Comput. Soc 🌐 English ⚖ 124 KB

[IEEE 2010 11th International Workshop o

[IEEE 2010 11th International Workshop on Microprocessor Test and Verification (MTV) - Austin, Texas, USA (2010.12.13-2010.12.15)] 2010 11th International Workshop on Microprocessor Test and Verification - Automatic Fault Localization for SystemC TLM Designs

✍ Le, Hoang M.; Große, Daniel; Drechsler, Rolf 📂 Article 📅 2010 🏛 IEEE ⚖ 214 KB

[IEEE 2008 Ninth International Workshop

[IEEE 2008 Ninth International Workshop on Microprocessor Test and Verification - Austin, TX, USA (2008.12.8-2008.12.10)] 2008 Ninth International Workshop on Microprocessor Test and Verification - Tutorial: SoC Power Management Verification and Testing Issues

✍ Kapoor, Bhanu; Edwards, J. Marc; Hemmady, Shankar; Verma, Shireesh; Roy, Kaushik 📂 Article 📅 2008 🏛 IEEE ⚖ 177 KB

[IEEE 4th International Workshop on Micr

[IEEE 4th International Workshop on Microprocessor Test and Verification - Common Challenges and Solutions - Austin, TX, USA (29-30 May 2003)] Proceedings. 4th International Workshop on Microprocessor Test and Verification - Common Challenges and Solutions - Definition of a systematic method for the generation of software test programs allowing the functional verification of system on chip (SoC)

✍ Hunsinger, F.; Francois, S.; Jerraya, A.A. 📂 Article 📅 2003 🏛 IEEE ⚖ 237 KB