1. Industrial Practice of Formal Hardware Verification: A Sampling

   • Ganesh L. Gopalakrishnan
   • Warren A. Hunt Jr.

   Editorial Board Pages: 95 - 99

2. Model Checking at IBM

   • Shoham Ben-David
   • Cindy Eisner
   • Yaron Wolfsthal

   OriginalPaper Pages: 101 - 108

3. Experience with Applying Formal Methods to Protocol Specification and System Architecture

   • Mani Azimi
   • Ching-Tsun Chou
   • Seungjoon Park

   OriginalPaper Pages: 109 - 116

4. Formal Verification Successes at Motorola

   • Magdy S. Abadir
   • Kenneth L. Albin
   • Andrew K. Martin

   OriginalPaper Pages: 117 - 123

5. Checking Cache-Coherence Protocols with TLA⁺

   • Rajeev Joshi
   • Leslie Lamport
   • Yuan Yu

   OriginalPaper Pages: 125 - 131

6. Formal Design of Cache Memory Protocols in IBM

   • Steven M. German

   OriginalPaper Pages: 133 - 141

7. Formal Verification of Square Root Algorithms

   • John Harrison

   OriginalPaper Pages: 143 - 153

8. Verifying the Implementation of an Error Control Code

   • T. Pascalin Amagbegnon
   • Uri E. Barkai

   OriginalPaper Pages: 155 - 161

9. Verisym: Verifying Circuits by Symbolic Simulation

   • William Adams
   • Warren A. Hunt Jr.
   • Damir Jamsek

   OriginalPaper Pages: 163 - 173