Title: Practical formal methods for hardware design
Subjects: Logic circuits, Methodology, Computer hardware description languages, Digital integrated circuits, Formal methods (Computer science), Design and construction, Computer input-output equipment