Title: A formal hardware description and verification method
Subjects: Integrated circuits