𝔖 Bobbio Scriptorium

✦ LIBER ✦

[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

✍ Scribed by Jindal, R.; Jain, K.

Book ID: 127377280
Publisher: IEEE
Year: 2003
Weight: 214 KB
Category: Article
ISBN-13: 9780769519234
DOI: 10.1109/memcod.2003.1210104

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[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. - Combining ACL2 and a /spl nu/-calculus model-checker to verify system-level designs

✍ Contensin, M.; Pierre, L. 📂 Article 📅 2003 🏛 IEEE ⚖ 353 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. - LOTOS code generation for model checking of STBus based SoC: the STBus interconnection

✍ Wodey, P.; Camarroque, G.; Baray, F.; Hersemeule, R.; Cousin, J.-P. 📂 Article 📅 2003 🏛 IEEE ⚖ 367 KB

[IEEE 2011 9th IEEE/ACM International Co

[IEEE 2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2011) - Cambridge, United Kingdom (2011.07.11-2011.07.13)] Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011) - Transforming SystemC Transaction Level Models into UPPAAL timed automata

✍ Herber, Paula; Pockrandt, Marcel; Glesner, Sabine 📂 Article 📅 2011 🏛 IEEE ⚖ 329 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. 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