Title: Formal specification and verification of digital systems
Subjects: Computer hardware description languages, Data processing, Design and construction, Digital integrated circuits, Integrated circuits, Verification