[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) - Bringing Hardware and Software Closer Together with Termination Analysis

[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) - Towards Equivalence Checking Between TLM and RTL Models

✍ Bombieri, Nicola; Fummi, Franco; Pravadelli, Graziano; Marques-Silva, Joao 📂 Article 📅 2007 🏛 IEEE 🌐 English ⚖ 255 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) - Towards Equivalence Checking Between TLM and RTL Models

✍ Bombieri, Nicola; Fummi, Franco; Pravadelli, Graziano; Marques-Silva, Joao 📂 Article 📅 2007 🏛 IEEE 🌐 English ⚖ 255 KB

The always increasing complexity of digital system is overcome in design flows based on Transaction Level Modeling (TLM) by designing and verifying the system at different abstraction levels. The design implementation starts from a TLM high-level description and, following a topdown approach, it is

[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 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) - MEMOCODE 2011 Hardware/Software CoDesign Contest: NoC simulator

✍ Chiou, Derek 📂 Article 📅 2011 🏛 IEEE ⚖ 279 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) - GPU-based NoC simulator

✍ Zolghadr, Mahdy; Mirhosseini, Koosha; Gorgin, Saeid; Nayebi, Abbas 📂 Article 📅 2011 🏛 IEEE ⚖ 407 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