𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2008 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - San Jose, CA, USA (2008.11.10-2008.11.13)] 2008 IEEE/ACM International Conference on Computer-Aided Design - Verification of arithmetic datapaths using polynomial function models and congruence solving

✍ Scribed by Tew, Neal; Kalla, Priyank; Shekhar, Namrata; Gopalakrishnan, Sivaram

Book ID: 118256884
Publisher: IEEE
Year: 2008
Tongue: English
Weight: 224 KB
Volume: 0
Category: Article
ISBN: 142442819X
DOI: 10.1109/iccad.2008.4681562

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2008 IEEE/ACM International Confer

[IEEE 2008 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - San Jose, CA, USA (2008.11.10-2008.11.13)] 2008 IEEE/ACM International Conference on Computer-Aided Design - Impulse sensitivity function analysis of periodic circuits

✍ Kim, Jaeha; Leibowitz, Brian S.; Jeeradit, Metha 📂 Article 📅 2008 🏛 IEEE 🌐 English ⚖ 889 KB

[IEEE 2008 IEEE/ACM International Confer

[IEEE 2008 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - San Jose, CA, USA (2008.11.10-2008.11.13)] 2008 IEEE/ACM International Conference on Computer-Aided Design - Routing for chip-package-board co-design considering differential pairs

✍ Jia-Wei Fang, ; Kuan-Hsien Ho, ; Yao-Wen Chang, 📂 Article 📅 2008 🏛 IEEE 🌐 English ⚖ 433 KB

[IEEE 2010 IEEE/ACM International Confer

[IEEE 2010 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - San Jose, CA, USA (2010.11.7-2010.11.11)] 2010 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - Polynomial datapath optimization using constraint solving and formal modelling

✍ Haedicke, Finn; Alizadeh, Bijan; Fey, Gourschwin; Fujita, Masahiro; Drechsler, R 📂 Article 📅 2010 🏛 IEEE ⚖ 521 KB

[IEEE 2011 IEEE/ACM International Confer

[IEEE 2011 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - San Jose, CA, USA (2011.11.7-2011.11.10)] 2011 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - Automatic formal verification of multithreaded pipelined microprocessors

✍ Velev, Miroslav N.; Gao, Ping 📂 Article 📅 2011 🏛 IEEE ⚖ 508 KB

[IEEE 2010 IEEE/ACM International Confer

[IEEE 2010 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - San Jose, CA, USA (2010.11.7-2010.11.11)] 2010 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - Board driven I/O planning & optimization

✍ Park, John F. 📂 Article 📅 2010 🏛 IEEE ⚖ 256 KB

[IEEE 2010 IEEE/ACM International Confer

[IEEE 2010 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - San Jose, CA, USA (2010.11.7-2010.11.11)] 2010 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - New placement prediction and mitigation techniques for local routing congestion

✍ Taghavi, Taraneh; Li, Zhuo; Alpert, Charles; Nam, Gi-Joon; Huber, Andrew; Ramji, 📂 Article 📅 2010 🏛 IEEE ⚖ 592 KB