Professional Documents
Culture Documents
Soc Verif Udemy Lec 6 Directed Coverage
Soc Verif Udemy Lec 6 Directed Coverage
1
Directed vs Random Testing
2
Directed vs. Random Testing
3
Coverage
▪ What is Coverage?
▪ Coverage is the metric of completeness of verification
▪ Why coverage?
▪ Verification is based on samples
▪ Cannot run all possible tests (2 ) to cover full space
n
4
Code Coverage
▪ Statement
▪ Has each statement of the source code been
executed?
▪ Branch
▪ Has each control structure been evaluated to both
true and false?
▪ Example: if, case, while, repeat, forever, for, loop
▪ Condition
▪ Has each boolean sub-expression evaluated both to
true and false?
5
Code Coverage
▪ Expression
▪ Covers the RHS of an assignment statement
▪ Example: x <= a xor (not b);
▪ Toggle
▪ Covers logic node transitions
▪ Standard – covers 0->1 and 1->0 transitions
▪ Extended – covers 0<->1, z<->1 and z<->0 transitions
▪ FSM
▪ State coverage and FSM Arc coverage
6
Functional Coverage
7
Coverage Driven Verification