1. Introduction

   EditorialNotes Pages: 179 - 180

2. Using transformations and verification in circuit design

   • James B. Saxe
   • James J. Horning
   • Stephen J. Garland

   OriginalPaper Pages: 181 - 209

3. Design and analysis of delay-insensitive modulo-N counters

   • Jo C. Ebergen
   • Ad M. G. Peeters

   OriginalPaper Pages: 211 - 232

4. Newtonian arbiters cannot be proven correct

   • Michael Mendler
   • Terry Stroup

   OriginalPaper Pages: 233 - 257