𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2012 17th Asia and South Pacific Design Automation Conference (ASP-DAC) - Sydney, Australia (2012.01.30-2012.02.2)] 17th Asia and South Pacific Design Automation Conference - Formal methods for coverage analysis of architectural power states in power-managed designs

✍ Scribed by Hazra, Aritra; Dasgupta, Pallab; Banerjee, Ansuman; Harer, Kevin

Book ID: 118218324
Publisher: IEEE
Year: 2012
Weight: 145 KB
Volume: 0
Category: Article
ISBN: 1467307718
DOI: 10.1109/aspdac.2012.6165024

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2012 17th Asia and South Pacific D

[IEEE 2012 17th Asia and South Pacific Design Automation Conference (ASP-DAC) - Sydney, Australia (2012.01.30-2012.02.2)] 17th Asia and South Pacific Design Automation Conference -

✍ Paler, Alexandru; Polian, Ilia; Hayes, John P. 📂 Article 📅 2012 🏛 IEEE ⚖ 339 KB

[IEEE 2012 17th Asia and South Pacific D

[IEEE 2012 17th Asia and South Pacific Design Automation Conference (ASP-DAC) - Sydney, Australia (2012.01.30-2012.02.2)] 17th Asia and South Pacific Design Automation Conference - Memory access aware power gating for MPSoCs

✍ Ye-Jyun Lin, ; Yang, Chia-Lin; Jiao-Wei Huang, ; Naehyuck Chang, 📂 Article 📅 2012 🏛 IEEE ⚖ 562 KB

[IEEE 2012 17th Asia and South Pacific D

[IEEE 2012 17th Asia and South Pacific Design Automation Conference (ASP-DAC) - Sydney, Australia (2012.01.30-2012.02.2)] 17th Asia and South Pacific Design Automation Conference - A formal approach to debug polynomial datapath designs

✍ Alizadeh, Bijan 📂 Article 📅 2012 🏛 IEEE ⚖ 130 KB

[IEEE 2012 17th Asia and South Pacific D

[IEEE 2012 17th Asia and South Pacific Design Automation Conference (ASP-DAC) - Sydney, Australia (2012.01.30-2012.02.2)] 17th Asia and South Pacific Design Automation Conference - Verifying dynamic power management schemes using statistical model checking

✍ Kumar, Jayanand Asok; Vasudevan, Shobha 📂 Article 📅 2012 🏛 IEEE ⚖ 272 KB

[IEEE 2012 17th Asia and South Pacific D

[IEEE 2012 17th Asia and South Pacific Design Automation Conference (ASP-DAC) - Sydney, Australia (2012.01.30-2012.02.2)] 17th Asia and South Pacific Design Automation Conference - GreenDroid: An architecture for the Dark Silicon Age

✍ Goulding-Hotta, Nathan; Sampson, Jack; Qiaoshi Zheng, ; Bhatt, Vikram; Auricchio 📂 Article 📅 2012 🏛 IEEE ⚖ 492 KB

[IEEE 2012 17th Asia and South Pacific D

[IEEE 2012 17th Asia and South Pacific Design Automation Conference (ASP-DAC) - Sydney, Australia (2012.01.30-2012.02.2)] 17th Asia and South Pacific Design Automation Conference - Probabilistic design in spintronic memory and logic circuit

✍ Chen, Yiran; Zhang, Yaojun; Wang, Peiyuan 📂 Article 📅 2012 🏛 IEEE ⚖ 443 KB