Skip Nav Destination
ACM Distinguished Dissertation
Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits
By
David L. Dill
David L. Dill
David L. Dill received his doctorate from Carnegie Mellon University and is Assistant Professor in the Computer Science Department at Stanford University.
Search for other works by this author on:
The MIT Press
ISBN electronic:
9780262256025
Publication date:
1989
Book Chapter
7: Complete Trace Structures
-
Published:1989
Citation
1989. "Complete Trace Structures", Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits, David L. Dill
Download citation file:
You do not currently have access to this chapter.
Sign in
Don't already have an account? Register
Client Account
You could not be signed in. Please check your email address / username and password and try again.
Could not validate captcha. Please try again.