𝔖 Bobbio Scriptorium

✦ LIBER ✦

[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

✍ Scribed by Nikhil, R.

Book ID: 127386527
Publisher: IEEE
Year: 2004
Weight: 403 KB
Category: Article
ISBN-13: 9780780385092
DOI: 10.1109/memcod.2004.1459818

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 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 Third ACM & amp; IEEE Internationa

[IEEE Third ACM & amp; IEEE International Conference on Formal Methods and Models for Co-Design - Verona, Italy (11-14 July 2005)] Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE '05. - Formal verification of SystemC by automatic hardware/software partitioning

✍ Kroening, Daniel (author);Sharygina, Natasha (author) 📂 Article 📅 2005 🏛 IEEE ⚖ 355 KB

[IEEE Third ACM & amp; IEEE Internationa

[IEEE Third ACM & amp; IEEE International Conference on Formal Methods and Models for Co-Design - Verona, Italy (11-14 July 2005)] Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE '05. - Formal verification of SystemC by automatic hardware/software partitioning

✍ Kroening, Daniel (author);Sharygina, Natasha (author) 📂 Article 📅 2005 🏛 IEEE 🌐 English ⚖ 355 KB

[IEEE Third ACM & amp; IEEE Internationa

[IEEE Third ACM & amp; IEEE International Conference on Formal Methods and Models for Co-Design - Verona, Italy (11-14 July 2005)] Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE '05. - Synthesis of synchronous assertions with guarded atomic actions

✍ Pellauer, M.; Liz, M.; Baltus, D.; Nikhi, R. 📂 Article 📅 2005 🏛 IEEE 🌐 English ⚖ 559 KB