𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2007 25th International Conference on Computer Design ICCD 2007 - Lake Tahoe, CA, USA (2007.10.7-2007.10.10)] 2007 25th International Conference on Computer Design - Application of symbolic computer algebra to arithmetic circuit verification

✍ Scribed by Watanabe, Yuki; Homma, Naofumi; Aoki, Takafumi; Higuchi, Tatsuo

Book ID: 126763691
Publisher: IEEE
Year: 2007
Weight: 503 KB
Category: Article
ISBN: 1424412579
DOI: 10.1109/ICCD.2007.4601876

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2007 25th International Conference

[IEEE 2007 25th International Conference on Computer Design ICCD 2007 - Lake Tahoe, CA, USA (2007.10.7-2007.10.10)] 2007 25th International Conference on Computer Design - Prioritizing verification via value-based correctness criticality

✍ Yoo, Joonhyuk; Franklin, Manoj 📂 Article 📅 2007 🏛 IEEE ⚖ 387 KB

[IEEE 2007 25th International Conference

[IEEE 2007 25th International Conference on Computer Design ICCD 2007 - Lake Tahoe, CA, USA (2007.10.7-2007.10.10)] 2007 25th International Conference on Computer Design - Tutorial: Software-defined radio technology

✍ Cummings, Mark; Cooklev, Todor 📂 Article 📅 2007 🏛 IEEE ⚖ 302 KB

[IEEE 2007 25th International Conference

[IEEE 2007 25th International Conference on Computer Design ICCD 2007 - Lake Tahoe, CA, USA (2007.10.7-2007.10.10)] 2007 25th International Conference on Computer Design - CMOS logic design with independent-gate FinFETs

✍ Muttreja, Anish; Agarwal, Niket; Jha, Niraj K. 📂 Article 📅 2007 🏛 IEEE ⚖ 511 KB

[IEEE 2007 25th International Conference

[IEEE 2007 25th International Conference on Computer Design ICCD 2007 - Lake Tahoe, CA, USA (2007.10.7-2007.10.10)] 2007 25th International Conference on Computer Design - FPGA routing architecture analysis under variations

✍ Srinivasan, Suresh; Mangalagiri, Prasanth; Xie, Yuan; Vijaykrishnan, N. 📂 Article 📅 2007 🏛 IEEE ⚖ 423 KB

[IEEE 2007 25th International Conference

[IEEE 2007 25th International Conference on Computer Design ICCD 2007 - Lake Tahoe, CA, USA (2007.10.7-2007.10.10)] 2007 25th International Conference on Computer Design - Why we need statistical static timing analysis

✍ Forzan, Cristiano; Pandini, Davide 📂 Article 📅 2007 🏛 IEEE ⚖ 437 KB

[IEEE 2007 25th International Conference

[IEEE 2007 25th International Conference on Computer Design ICCD 2007 - Lake Tahoe, CA, USA (2007.10.7-2007.10.10)] 2007 25th International Conference on Computer Design - Distributed voting for fault-tolerant nanoscale systems

✍ Namazi, Ali; Nourani, Mehrdad 📂 Article 📅 2007 🏛 IEEE ⚖ 306 KB