1. Platitudes and attitudes

   • Jeannette M. Wing

   The opinion corner Pages: 261 - 265

2. Preface by the section editor

   • Tiziana Margaria

   Special section on verification of hardware and hardware-like systems Pages: 266 - 270

3. Higher-level techniques for hardware description and synthesis

   • Alan Mycroft
   • Richard Sharp

   Special section on verification of hardware-like systems Pages: 271 - 297

4. A framework for superscalar microprocessor correctness statements

   • Mark D. Aagaard
   • Byron Cook
   • Robert B. Jones

   Special section on verification of hardware-like systems Pages: 298 - 312

5. Hierarchical formal verification using a hybrid tool

   • Skander Kort
   • Sofiène Tahar
   • Paul Curzon

   Special section on verification of hardware-like systems Pages: 313 - 322

6. Proof engineering in the large: formal verification of Pentium®4 floating-point divider

   • Roope Kaivola
   • Katherine Kohatsu

   Special section on verification of hardware-like systems Pages: 323 - 334

7. Efficient debugging in a formal verification environment

   • Fady Copty
   • Amitai Irron
   • Gila Kamhi

   Special section on verification of hardware-like systems Pages: 335 - 348

8. Using Lava to design and verify recursive and periodic sorters

   • Koen Claessen
   • Mary Sheeran
   • Satnam Singh

   Special section on verification of hardware-like systems Pages: 349 - 358

9. Refinement-based formal verification with heterogeneous timing

   • Xiaohua Kong
   • Radu Negulescu
   • Larry Weidong Ying

   Special section on verification of hardware-like systems Pages: 359 - 370

10. Formal verification of conflict detection algorithms

    • César Muñoz
    • Víctor Carreño
    • Ricky Butler

    Special section on verification of hardware-like systems Pages: 371 - 380

11. A framework for distributing object-oriented designs

    • Karim El Guemhioui

    Regular contribution Pages: 381 - 396