[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

[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

[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 🌐 English ⚖ 388 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 System Verilog Rewriting System for RTL Abstraction with Pentium Case Study

✍ Haynal, Steve; Kam, Timothy; Kishinevsky, Michael; Shriver, Emily; Wang, Xinning 📂 Article 📅 2008 🏛 IEEE ⚖ 682 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 System Verilog Rewriting System for RTL Abstraction with Pentium Case Study

✍ Haynal, Steve; Kam, Timothy; Kishinevsky, Michael; Shriver, Emily; Wang, Xinning 📂 Article 📅 2008 🏛 IEEE 🌐 English ⚖ 682 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

[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