Trace Theory for Automatic Hierarchical Verification of Speed-independent Circuits (1989)

by D L Dill