An Automatic Verifier | part of Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits | MIT Press books | IEEE Xplore