Title: Trace theory for automatic hierarchical verification of speed-independent circuits
Subjects: Integrated circuits, Sequential machine theory, Switching circuits, Verification, Very large scale integration, Computer science, Electric circuits