| 2008 | 6th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2008), June 5-7, 2008, Anaheim, CA, USA |
| 2008 | A Comparison of Two SystemC/TLM Semantics for Formal Verification. Claude Helmstetter, Olivier Ponsini |
| 2008 | A System Verilog Rewriting System for RTL Abstraction with Pentium Case Study. Steve Haynal, Timothy Kam, Michael Kishinevsky, Emily Shriver, Xinning Wang |
| 2008 | Arithmetic Circuits Verification without Looking for Internal Equivalences. Omid Sarbishei, Bijan Alizadeh, Masahiro Fujita |
| 2008 | Assertion-Based Design with Horus. Yann Oddos, Katell Morin-Allory, Dominique Borrione |
| 2008 | Bisimulator 2.0: An On-the-Fly Equivalence Checker based on Boolean Equation Systems. Radu Mateescu, Emilie Oudot |
| 2008 | Classification of General Data Flow Actors into Known Models of Computation. Christian Zebelein, Joachim Falk, Christian Haubelt, Jürgen Teich |
| 2008 | Correctness of a Fault-Tolerant Real-Time Scheduler and its Hardware Implementation. Eyad Alkassar, Peter Böhm, Steffen Knapp |
| 2008 | Directed-Logical Testing for Functional Verification of Microprocessors. Michael Katelman, José Meseguer, Santiago Escobar |
| 2008 | Estimating the Performance of Cache Replacement Policies. Daniel Grund, Jan Reineke |
| 2008 | From Data to Events: Checking Properties on the Control of a System. Christophe Jacquet, Frédéric Boulanger, Dominique Marcadet |
| 2008 | H.264 Decoder: A Case Study in Multiple Design Points. Kermin Fleming, Chun-Chieh Lin, Nirav Dave, Arvind, Gopal Raghavan, Jamey Hicks |
| 2008 | Hands-on Introduction to Bluespec System Verilog (BSV) (Abstract). Arvind, Rishiyur S. Nikhil |
| 2008 | Hardware Accelerated Crypto Merge Sort: MEMOCODE 2008 Design Contest. VJ Sananda |
| 2008 | High-throughput Pipelined Mergesort. Kermin Fleming, Myron King, Man Cheuk Ng, Asif Khan, Muralidaran Vijayaraghavan |
| 2008 | Latency-Insensitive Hardware/Software Interfaces. Greg Hoover, Forrest Brewer, Chris Gill |
| 2008 | MEMOCODE 2008 Co-Design Contest. Patrick Schaumont, Krste Asanovic, James C. Hoe |
| 2008 | On the Deterministic Multi-threaded Software Synthesis from Polychronous Specifications. Bijoy Antony Jose, Sandeep K. Shukla, Hiren D. Patel, Jean-Pierre Talpin |
| 2008 | Rule-Based Approaches for Equivalence Checking of SpecC Programs. Subash Shankar, Masahiro Fujita |
| 2008 | Specification and Verification of LambdaRAM: A Wide-area Distributed Cache for High Performance Computing. Venkatram Vishwanath, Lenore D. Zuck, Jason Leigh |
| 2008 | Static Deadlock Detection for the SHIM Concurrent Language. Nalini Vasudevan, Stephen A. Edwards |
| 2008 | Vacuity Analysis by Fault Simulation. Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli |
| 2008 | Virtual prototyping AADL architectures in a polychronous model of computation. Yue Ma, Jean-Pierre Talpin, Thierry Gautier |