An Efficient Simulation Environment and Simulation Techniques for Bluetooth Device Design Yongjin AhnDeahong KimSoo-Ik Chae OriginalPaper Pages: 119 - 138
Formal Verification for Embedded System Designs Xi ChenHarry HsiehYosinori Watanabe OriginalPaper Pages: 139 - 153
Towards SoC Validation Through Prototyping: A Systematic Approach Based on Reconfigurable Platform Arif SasongkoAmer BaghdadiAhmed Amine Jerraya OriginalPaper Pages: 155 - 171
Enhanced Symbolic Simulation for Functional Verification of Embedded Array Systems Li-C WangTao FengManish Pandey OriginalPaper Pages: 173 - 188
Performance Analysis of Arbitration Policies for SoC Communication Architectures Francesco PolettiDavide BertozziAlessandro Bogliolo OriginalPaper Pages: 189 - 210
Fast and Time-Accurate Cosimulation with OS Scheduler Modeling Youngmin YiDohyung KimSoonhoi Ha OriginalPaper Pages: 211 - 228
A Remote Methodology for Embedded Systems Design and Validation Alessandro FinFranco Fummi OriginalPaper Pages: 229 - 247
Towards Automatic Validation of Dynamic Behavior in Pipelined Processor Specifications Prabhat MishraNikil DuttHiroyuki Tomiyama OriginalPaper Pages: 249 - 265