𝔖 Bobbio Scriptorium

✦ LIBER ✦

[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

✍ Scribed by Li, Min; Gent, Kelson; Hsiao, Michael S.

Book ID: 126093592
Publisher: IEEE
Year: 2011
Weight: 467 KB
Category: Article
ISBN: 1457717425
DOI: 10.1109/HLDVT.2011.6113988

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[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 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 - Modular equivalence verification of polynomial datapaths with multiple word-length operands

✍ Alizadeh, Bijan; Fujita, Masahiro 📂 Article 📅 2011 🏛 IEEE ⚖ 553 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 - Formal verification guided automatic design error diagnosis and correction of complex processors

✍ Gharehbaghi, Amir Masoud; Fujita, Masahiro 📂 Article 📅 2011 🏛 IEEE ⚖ 503 KB

[IEEE 2006 IEEE International High Level

[IEEE 2006 IEEE International High Level Design Validation and Test Workshop - Monterey, CA, USA (2006.11.8-2006.11.10)] 2006 IEEE International High Level Design Validation and Test Workshop -

✍ Baumgartner, Jason 📂 Article 📅 2006 🏛 IEEE ⚖ 61 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

[IEEE 2007 IEEE International High Level

[IEEE 2007 IEEE International High Level Design Validation and Test Workshop - Irvine, CA, USA (2007.11.7-2007.11.9)] 2007 IEEE International High Level Design Validation and Test Workshop - Model-driven test generation for system level validation

✍ Mathaikutty, Deepak A.; Sumit Ahuja, ; Ajit Dingankar, ; Sandeep Shukla, 📂 Article 📅 2007 🏛 IEEE ⚖ 259 KB