Title: String-functional semantics for formal verification of synchronous circuits
Subjects: Design and construction, Electronic digital computers, Sequential machine theory, Synchronization