𝔖 Bobbio Scriptorium

✦ LIBER ✦

[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

✍ Scribed by Haedicke, Finn; Alizadeh, Bijan; Fey, Gourschwin; Fujita, Masahiro; Drechsler, Rolf

Book ID: 118052515
Publisher: IEEE
Year: 2010
Weight: 521 KB
Volume: 0
Category: Article
ISBN: 1424481937
DOI: 10.1109/iccad.2010.5654279

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[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

[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) - A synthesis flow for digital signal processing with biomolecular reactions

✍ Jiang, Hua; Kharam, Aleksandra P.; Riedel, Marc D.; Parhi, Keshab K. 📂 Article 📅 2010 🏛 IEEE ⚖ 146 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) - Design and manufacturing of organic RFID circuits: Coping with intrinsic parameter variations in organic devices by circuit design

✍ Genoe, Jan; Myny, Kris; Steudel, Soeren; Heremans, Paul 📂 Article 📅 2010 🏛 IEEE ⚖ 1007 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 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 - Verification of arithmetic datapaths using polynomial function models and congruence solving

✍ Tew, Neal; Kalla, Priyank; Shekhar, Namrata; Gopalakrishnan, Sivaram 📂 Article 📅 2008 🏛 IEEE 🌐 English ⚖ 224 KB