𝔖 Bobbio Scriptorium

✦ LIBER ✦

Genesys-Pro: innovations in test program generation for functional processor verification

✍ Scribed by Adir, A.; Almog, E.; Fournier, L.; Marcus, E.; Rimon, M.; Vinov, M.; Ziv, A.

Book ID: 118060459
Publisher: IEEE
Year: 2004
Tongue: English
Weight: 358 KB
Volume: 21
Category: Article
ISSN: 0740-7475
DOI: 10.1109/mdt.2004.1277900

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Design, Automation and Test in Eur

[IEEE Design, Automation and Test in Europe - Munich, Germany (07-11 March 2005)] Design, Automation and Test in Europe - Functional Coverage Driven Test Generation for Validation of Pipelined Processors

✍ Mishra, P.; Dutt, N. 📂 Article 📅 2005 🏛 IEEE ⚖ 141 KB

[ACM Press the 32nd ACM/IEEE conference

[ACM Press the 32nd ACM/IEEE conference - San Francisco, California, United States (1995.06.12-1995.06.16)] Proceedings of the 32nd ACM/IEEE conference on Design automation conference - DAC '95 - Test program generation for functional verification of PowerPC processors in IBM

✍ Aharon, Aharon; Goodman, Dave; Levinger, Moshe; Lichtenstein, Yossi; Malka, Yoss 📂 Article 📅 1995 🏛 ACM Press ⚖ 77 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

[IEEE Comput. Soc IEEE International Hig

[IEEE Comput. Soc IEEE International High Level Design Validation and Test Workshop (HLDVT'02) - Cannes, France (27-29 Oct. 2002)] Seventh IEEE International High-Level Design Validation and Test Workshop, 2002. - Automatic functional test program generation for pipelined processors using model checking

✍ Mishra, P.; Dutt, N. 📂 Article 📅 2002 🏛 IEEE Comput. Soc ⚖ 440 KB

[IEEE ASP-DAC 2005. Asia and South Pacif

[IEEE ASP-DAC 2005. Asia and South Pacific Design Automation Conference 2005 - Shanghai, China (18-21 Jan. 2005)] Proceedings of the ASP-DAC 2005. Asia and South Pacific Design Automation Conference, 2005. - Automatic functional test program generation for microprocessor verification

✍ Tun Li, ; Dan Zhu, ; Lei Liang, ; Yang Guo, ; SiKun Li, 📂 Article 📅 2005 🏛 IEEE ⚖ 703 KB