Title: A formal language for the specification and verification of synchronous and asynchronous circuits
Subjects: Verification, Integrated circuits, Computer hardware description languages