2 Formal Verification Coverage Metrics for Functional Validation of Hardware Designs

by Serdar Tasiran , Kurt Keutzer