The CRITTER System: Analyzing Digital Circuits by Propagating Behaviors and Specifications.

Van E. Kelly, Louis I. Steinberg

Browse the full AAAI paper archive.