𝔖 Bobbio Scriptorium

✦ LIBER ✦

[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

✍ Scribed by Kroening, Daniel (author);Sharygina, Natasha (author)

Book ID: 126722430
Publisher: IEEE
Year: 2005
Tongue: English
Weight: 355 KB
Category: Article
ISBN-13: 9780780392274
DOI: 10.1109/MEMCOD.2005.1487900

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[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. - Synthesis of synchronous assertions with guarded atomic actions

✍ Pellauer, M.; Liz, M.; Baltus, D.; Nikhi, R. 📂 Article 📅 2005 🏛 IEEE 🌐 English ⚖ 559 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 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 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 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