Title: Hardware Design Verification
Subtitle: Simulation and Formal Method-Based Approaches