Using transformations and verification in circuit design James B. SaxeJames J. HorningStephen J. Garland OriginalPaper Pages: 181 - 209
Design and analysis of delay-insensitive modulo-N counters Jo C. EbergenAd M. G. Peeters OriginalPaper Pages: 211 - 232
Newtonian arbiters cannot be proven correct Michael MendlerTerry Stroup OriginalPaper Pages: 233 - 257