Title: Formal Methods for Hardware Verification
Subjects: Integrated circuits, Telecommunication systems