Preface by the section editor Tiziana Margaria Special section on verification of hardware and hardware-like systems Pages: 266 - 270
Higher-level techniques for hardware description and synthesis Alan MycroftRichard Sharp Special section on verification of hardware-like systems Pages: 271 - 297
A framework for superscalar microprocessor correctness statements Mark D. AagaardByron CookRobert B. Jones Special section on verification of hardware-like systems Pages: 298 - 312
Hierarchical formal verification using a hybrid tool Skander KortSofiène TaharPaul Curzon Special section on verification of hardware-like systems Pages: 313 - 322
Proof engineering in the large: formal verification of Pentium®4 floating-point divider Roope KaivolaKatherine Kohatsu Special section on verification of hardware-like systems Pages: 323 - 334
Efficient debugging in a formal verification environment Fady CoptyAmitai IrronGila Kamhi Special section on verification of hardware-like systems Pages: 335 - 348
Using Lava to design and verify recursive and periodic sorters Koen ClaessenMary SheeranSatnam Singh Special section on verification of hardware-like systems Pages: 349 - 358
Refinement-based formal verification with heterogeneous timing Xiaohua KongRadu NegulescuLarry Weidong Ying Special section on verification of hardware-like systems Pages: 359 - 370
Formal verification of conflict detection algorithms César MuñozVíctor CarreñoRicky Butler Special section on verification of hardware-like systems Pages: 371 - 380
A framework for distributing object-oriented designs Karim El Guemhioui Regular contribution Pages: 381 - 396