𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Proceedings. Fourth ACM & IEEE International Conference on Formal Methods and Models for Co-Design. (MEMOCODE'06) - Napa, CA, USA (2006.07.27-2006.07.30)] Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design 2006 MEMOCODE 06 Proceedings MEMCOD-06 - Keynote Talk II

✍ Scribed by Institute of Electrical and Electronics Engineers

Book ID: 126600633
Publisher: IEEE
Year: 2006
Weight: 36 KB
Category: Article
ISBN-13: 9781424404216
DOI: 10.1109/MEMCOD.2006.1695907

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Proceedings. Fourth ACM & IEEE Int

[IEEE Proceedings. Fourth ACM & IEEE International Conference on Formal Methods and Models for Co-Design. (MEMOCODE'06) - Napa, CA, USA (2006.07.27-2006.07.30)] Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design 2006 MEMOCODE 06 Proceedings MEMCOD-06 - Keynote Talk II

✍ Institute of Electrical and Electronics Engineers 📂 Article 📅 2006 🏛 IEEE ⚖ 36 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

[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 Proceedings. Second ACM and IEEE I

[IEEE Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04. - San Diego, CA, USA (June 23-25, 2004)] Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04. - Lbtorial bluespec systemverilog: efficient, correct RTL from high-level specifications

✍ Nikhil, R. 📂 Article 📅 2004 🏛 IEEE ⚖ 403 KB

[IEEE 2003 1st IEEE International Confer

[IEEE 2003 1st IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2003) - Mont Saint Michel, France (2003.06.24-2003.06.26)] First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings. - Verification of transaction-level SystemC models using RTL testbenches

✍ Jindal, R.; Jain, K. 📂 Article 📅 2003 🏛 IEEE ⚖ 214 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