Slide 1 1 Coverage Metrics in Formal Verification Hana Chockler Hebrew University Slide 2 2 Plan of the Lecture u Coverage in simulation-based verification u Motivation u…