𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2008 IEEE International High Level Design Validation and Test Workshop (HLDVT) - Incline Village, NV, USA (2008.11.19-2008.11.21)] 2008 IEEE International High Level Design Validation and Test Workshop - On dynamic switching of navigation for semi-formal design validation

✍ Scribed by Parikh, Ankur; Hsiao, Michael S.

Book ID: 126677436
Publisher: IEEE
Year: 2008
Weight: 309 KB
Category: Article
ISBN: 1424429226
DOI: 10.1109/HLDVT.2008.4695873

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2008 IEEE International High Level

[IEEE 2008 IEEE International High Level Design Validation and Test Workshop (HLDVT) - Incline Village, NV, USA (2008.11.19-2008.11.21)] 2008 IEEE International High Level Design Validation and Test Workshop - Panel: Software practices for verification/testbench management

✍ Verma, Shireesh; Atluri, Srinath; Bertacco, Valeria; Glasser, Mark; Gopalan, Bad 📂 Article 📅 2008 🏛 IEEE ⚖ 216 KB

[IEEE 2008 IEEE International High Level

[IEEE 2008 IEEE International High Level Design Validation and Test Workshop (HLDVT) - Incline Village, NV, USA (2008.11.19-2008.11.21)] 2008 IEEE International High Level Design Validation and Test Workshop - Automating defects simulation and fault modeling for SRAMs

✍ Di Carlo, Stefano; Prinetto, Paolo; Scionti, Alberto; Al-Ars, Zaid 📂 Article 📅 2008 🏛 IEEE ⚖ 430 KB

[IEEE 2008 IEEE International High Level

[IEEE 2008 IEEE International High Level Design Validation and Test Workshop (HLDVT) - Incline Village, NV, USA (2008.11.19-2008.11.21)] 2008 IEEE International High Level Design Validation and Test Workshop - The role of parallel simulation in functional verification

✍ Guglielmo, Giuseppe Di; Fummi, Franco; Hampton, Mark; Pravadelli, Graziano; Stef 📂 Article 📅 2008 🏛 IEEE ⚖ 365 KB

[IEEE 2008 IEEE International High Level

[IEEE 2008 IEEE International High Level Design Validation and Test Workshop (HLDVT) - Incline Village, NV, USA (2008.11.19-2008.11.21)] 2008 IEEE International High Level Design Validation and Test Workshop - Timing verification of distributed network systems at higher levels of abstraction

✍ Hatefi-Ardakani, Hassan; Gharehbaghi, Amir Masoud; Hessabi, Shaahin 📂 Article 📅 2008 🏛 IEEE ⚖ 363 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 - Utilizing GPGPUs for design validation with a modified Ant Colony Optimization

✍ Li, Min; Gent, Kelson; Hsiao, Michael S. 📂 Article 📅 2011 🏛 IEEE ⚖ 467 KB

[IEEE 2012 IEEE International High Level

[IEEE 2012 IEEE International High Level Design Validation and Test Workshop (HLDVT) - Huntington Beach, CA, USA (2012.11.9-2012.11.10)] 2012 IEEE International High Level Design Validation and Test Workshop (HLDVT) - A functional test generation technique for RTL datapaths

✍ Alizadeh, Bijan; Fujita, Masahiro 📂 Article 📅 2012 🏛 IEEE ⚖ 544 KB