David L. Dill profile picture

David L. Dill

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits (ACM Distinguished Dissertation)
Computer Aided Verification 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings
Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits