𝔖 Bobbio Scriptorium

✦ LIBER ✦

[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

✍ Scribed by Velev, Miroslav N.; Gao, Ping

Book ID: 111697184
Publisher: IEEE
Year: 2011
Weight: 508 KB
Volume: 0
Category: Article
ISBN: 1457713985
DOI: 10.1109/iccad.2011.6105403

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[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) - Routability-driven analytical placement for mixed-size circuit designs

✍ Hsu, Meng-Kai; Chou, Sheng; Lin, Tzu-Hen; Chang, Yao-Wen 📂 Article 📅 2011 🏛 IEEE ⚖ 420 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) - System-level application-aware dynamic power management in adaptive pipelined MPSoCs for multimedia

✍ Javaid, Haris; Shafique, Muhammad; Henkel, Jorg; Parameswaran, Sri 📂 Article 📅 2011 🏛 IEEE ⚖ 837 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) - 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 2002 IEEE/ACM International Confer

[IEEE 2002 IEEE/ACM International Conference on Computer Aided Design (ICCAD) - San Jose, CA, USA (10-14 Nov. 2002)] IEEE/ACM International Conference on Computer Aided Design, 2002. ICCAD 2002. - Reversible logic circuit synthesis

✍ Shende, V.V.; Prasad, A.K.; Markov, I.L.; Hayes, J.P. 📂 Article 📅 2002 🏛 IEEE ⚖ 703 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