| 515 | -- | 523 | Claudio Passerone, Claudio Sansoè, Luciano Lavagno, Patrick C. McGeer, Jonathan Martin, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli. Modeling reactive systems in Java |
| 524 | -- | 532 | Li-C. Wang, Magdy S. Abadir, Jing Zeng. On measuring the effectiveness of various design validation approaches for PowerPC microprocessor embedded arrays |
| 533 | -- | 553 | Ali Dasdan, Dinesh Ramanathan, Rajesh K. Gupta. A timing-driven design and validation methodology for embedded real-time systems |
| 554 | -- | 562 | Sreeranga P. Rajan, Masahiro Fujita, K. Yuan, Mike Tien-Chien Lee. ATM switch design by high-level modeling, formal verification and high-level synthesi |
| 563 | -- | 580 | James K. Huggins, David Van Campenhout. Specification and verification of pipelining in the ARM2 RISC microprocessor |
| 581 | -- | 599 | David Van Campenhout, Hussain Al-Asaad, John P. Hayes, Trevor N. Mudge, Richard B. Brown. High-level design verification of microprocessors via error modeling |
| 600 | -- | 625 | Gagan Hasteer, Anmol Mathur, Prithviraj Banerjee. Efficient equivalence checking of multi-phase designs using phase abstraction and retiming |
| 626 | -- | 634 | Alfredo Benso, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda. EXFI: a low-cost fault injection system for embedded microprocessor-based boards |