𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Proceedings. Ninth IEEE International High-Level Design Validation and Test Workshop (IEEE Cat. No.04EX940) - Sonoma Valley, CA, USA (2004.11.10-2004.11.12)] Proceedings. Ninth IEEE International High-Level Design Validation and Test Workshop (IEEE Cat. No.04EX940) - Functional verification based on the EFSM model

✍ Scribed by Fummi, F.; Marconcini, C.; Pravadelli, G.

Book ID: 120061098
Publisher: IEEE
Year: 2004
Weight: 545 KB
Category: Article
ISBN-13: 9780780387140
DOI: 10.1109/HLDVT.2004.1431240

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Proceedings. Ninth IEEE Internatio

[IEEE Proceedings. Ninth IEEE International High-Level Design Validation and Test Workshop (IEEE Cat. No.04EX940) - Sonoma Valley, CA, USA (2004.11.10-2004.11.12)] Proceedings. Ninth IEEE International High-Level Design Validation and Test Workshop (IEEE Cat. No.04EX940) - Enhancing the efficiency of Bayesian network based coverage directed test generation

✍ Braun, M.; Fine, S.; Ziv, A. 📂 Article 📅 2004 🏛 IEEE ⚖ 480 KB

[IEEE Proceedings. Ninth IEEE Internatio

[IEEE Proceedings. Ninth IEEE International High-Level Design Validation and Test Workshop (IEEE Cat. No.04EX940) - Sonoma Valley, CA, USA (2004.11.10-2004.11.12)] Proceedings. Ninth IEEE International High-Level Design Validation and Test Workshop (IEEE Cat. No.04EX940) - Effects of property ordering in an incremental formal modeling methodology

✍ Syed Suhaib, ; Deepak Mathaikutty, ; Sandeep Shukla, 📂 Article 📅 2004 🏛 IEEE ⚖ 697 KB

[IEEE 2011 IEEE International High Level

[IEEE 2011 IEEE International High Level Design Validation and Test Workshop (HLDVT) - Napa Valley, CA, USA (2011.11.9-2011.11.11)] 2011 IEEE International High Level Design Validation and Test Workshop - UNIVERCM: The UNIversal VERsatile computational model for heterogeneous embedded system design

✍ Di Guglielm, Luigi; Fummi, Franco; Pravadelli, Graziano; Stefanni, Francesco; Vi 📂 Article 📅 2011 🏛 IEEE ⚖ 877 KB

[IEEE Tenth IEEE International High-Leve

[IEEE Tenth IEEE International High-Level Design Validation and Test Workshop, 2005. - Napa Valley, CA, USA (Nov. 30-Dec. 2, 2005)] Tenth IEEE International High-Level Design Validation and Test Workshop, 2005. - Improvement of fault injection techniques based on VHDL code modification

✍ Baraza, J.C.; Gracia, J.; Gil, D.; Gil, P.J. 📂 Article 📅 2005 🏛 IEEE ⚖ 557 KB