Title: Metric-driven design verification
Subjects: Verification, Integrated circuits