Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits door David L. Dill