Using Transformations and Verification in Circuit Design.

James B. Saxe James J. Horning John V. Guttag Stephen J. Garland Using Transformations and Verification in Circuit Design. 181-209 1993 3 Formal Methods in System Design 3 db/journals/fmsd/fmsd3.html#SaxeHGG93 http://dx.doi.org/10.1007/BF01384073