1. Editorial

   Editorial Board Pages: 115 - 117

2. An Efficient Simulation Environment and Simulation Techniques for Bluetooth Device Design

   • Yongjin Ahn
   • Deahong Kim
   • Soo-Ik Chae

   OriginalPaper Pages: 119 - 138

3. Formal Verification for Embedded System Designs

   • Xi Chen
   • Harry Hsieh
   • Yosinori Watanabe

   OriginalPaper Pages: 139 - 153

4. Towards SoC Validation Through Prototyping: A Systematic Approach Based on Reconfigurable Platform

   • Arif Sasongko
   • Amer Baghdadi
   • Ahmed Amine Jerraya

   OriginalPaper Pages: 155 - 171

5. Enhanced Symbolic Simulation for Functional Verification of Embedded Array Systems

   • Li-C Wang
   • Tao Feng
   • Manish Pandey

   OriginalPaper Pages: 173 - 188

6. Performance Analysis of Arbitration Policies for SoC Communication Architectures

   • Francesco Poletti
   • Davide Bertozzi
   • Alessandro Bogliolo

   OriginalPaper Pages: 189 - 210

7. Fast and Time-Accurate Cosimulation with OS Scheduler Modeling

   • Youngmin Yi
   • Dohyung Kim
   • Soonhoi Ha

   OriginalPaper Pages: 211 - 228

8. A Remote Methodology for Embedded Systems Design and Validation

   • Alessandro Fin
   • Franco Fummi

   OriginalPaper Pages: 229 - 247

9. Towards Automatic Validation of Dynamic Behavior in Pipelined Processor Specifications

   • Prabhat Mishra
   • Nikil Dutt
   • Hiroyuki Tomiyama

   OriginalPaper Pages: 249 - 265