𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2008 6th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE '08) - Anaheim, CA, USA (2008.06.5-2008.06.7)] 2008 6th ACM/IEEE International Conference on Formal Methods and Models for Co-Design - A System Verilog Rewriting System for RTL Abstraction with Pentium Case Study

✍ Scribed by Haynal, Steve; Kam, Timothy; Kishinevsky, Michael; Shriver, Emily; Wang, Xinning

Book ID: 121676349
Publisher: IEEE
Year: 2008
Weight: 682 KB
Category: Article
ISBN: 1424424178
DOI: 10.1109/MEMCOD.2008.4547693

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2008 6th ACM/IEEE International Co

[IEEE 2008 6th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE '08) - Anaheim, CA, USA (2008.06.5-2008.06.7)] 2008 6th ACM/IEEE International Conference on Formal Methods and Models for Co-Design - A System Verilog Rewriting System for RTL Abstraction with Pentium Case Study

✍ Haynal, Steve; Kam, Timothy; Kishinevsky, Michael; Shriver, Emily; Wang, Xinning 📂 Article 📅 2008 🏛 IEEE 🌐 English ⚖ 682 KB

[IEEE 2008 6th ACM/IEEE International Co

[IEEE 2008 6th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE '08) - Anaheim, CA, USA (2008.06.5-2008.06.7)] 2008 6th ACM/IEEE International Conference on Formal Methods and Models for Co-Design - H.264 Decoder: A Case Study in Multiple Design Points

✍ Fleming, Kermin; Lin, Chun-Chieh; Dave, Nirav; Arvind, ; Raghavan, Gopal; Hicks, 📂 Article 📅 2008 🏛 IEEE ⚖ 388 KB

[IEEE 2008 6th ACM/IEEE International Co

[IEEE 2008 6th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE '08) - Anaheim, CA, USA (2008.06.5-2008.06.7)] 2008 6th ACM/IEEE International Conference on Formal Methods and Models for Co-Design - H.264 Decoder: A Case Study in Multiple Design Points

✍ Fleming, Kermin; Lin, Chun-Chieh; Dave, Nirav; Arvind, ; Raghavan, Gopal; Hicks, 📂 Article 📅 2008 🏛 IEEE 🌐 English ⚖ 388 KB

[IEEE 2008 6th ACM/IEEE International Co

[IEEE 2008 6th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE '08) - Anaheim, CA, USA (2008.06.5-2008.06.7)] 2008 6th ACM/IEEE International Conference on Formal Methods and Models for Co-Design - A Comparison of Two SystemC/TLM Semantics for Formal Verification

✍ Helmstetter, Claude; Ponsini, Olivier 📂 Article 📅 2008 🏛 IEEE ⚖ 382 KB

[IEEE 2007 5th IEEE/ACM International Co

[IEEE 2007 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign - Nice, France (2007.05.30-2007.06.2)] 2007 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2007) - McCharts and Multiclock FSMs for modeling large scale systems

✍ Radojevic, Ivan; Salcic, Zoran; Roop, Partha 📂 Article 📅 2007 🏛 IEEE 🌐 English ⚖ 261 KB

[IEEE Fourth ACM & IEEE International Co

[IEEE Fourth ACM & IEEE International Conference on Formal Methods and Models for Co-Design. (MEMOCODE'06) - Napa, CA, USA (27-30 July 2006)] Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings. - 802.11a transmitter: a case study in microarchitectural exploration

✍ Dave, N.; Pellauer, M.; Gerding, S.; Arvind, 📂 Article 📅 2006 🏛 IEEE ⚖ 231 KB