| |||
|---|---|---|---|
|
|
||
CONDITIONAL COVERAGE
Conditional coverage also called as expression coverage, will reveals how the variables or sub-expressions in conditional statements are evaluated. Expressions with logical operators are only considered.. The downside is that the conditional coverage measure doesn't take into consideration how the Boolean value was gotten from the conditions. Conditional coverage is the ratio of no. of cases checked to the total no. of cases present. Suppose one expression having Boolean expression like AND or OR, so entries which is given to that expression to the total possibilities is called expression coverage.
Conditional coverage report of the previous example:
At LINE 13
Combinations of STATEMENT c = (b && a)
B = 0 and a = 0 is Covered
B = 0 and a = 1 is Covered
B = 1 and a = 0 is Not Covered
b = 1 and a = 1 is Not Covered
At LINE 14 combinations of STATEMENT if ((c && f))
C = 0 and f = 0 is Covered
C = 0 and f = 1 is Not Covered
C = 1 and f = 0 is Not Covered
C = 1 and f = 1 is Not Covered
Total possible combinations: 8
Total combinations executed: 3
Conditional coverage also called as expression coverage, will reveals how the variables or sub-expressions in conditional statements are evaluated. Expressions with logical operators are only considered.. The downside is that the conditional coverage measure doesn't take into consideration how the Boolean value was gotten from the conditions. Conditional coverage is the ratio of no. of cases checked to the total no. of cases present. Suppose one expression having Boolean expression like AND or OR, so entries which is given to that expression to the total possibilities is called expression coverage.
Conditional coverage report of the previous example:
At LINE 13
Combinations of STATEMENT c = (b && a)
B = 0 and a = 0 is Covered
B = 0 and a = 1 is Covered
B = 1 and a = 0 is Not Covered
b = 1 and a = 1 is Not Covered
At LINE 14 combinations of STATEMENT if ((c && f))
C = 0 and f = 0 is Covered
C = 0 and f = 1 is Not Covered
C = 1 and f = 0 is Not Covered
C = 1 and f = 1 is Not Covered
Total possible combinations: 8
Total combinations executed: 3
Index
Asic Design
Bottle Neck In Asic Flow
Functional Verification Need
Testbench
Linear Testbench
Linear Random Testbench
How To Check The Results
Self Checking Testbenchs
How To Get Scenarios Which We Never Thought
How To Check Whether The Testbench Has Satisfactorily Exercised The Design
Types Of Code Coverage
Statement Coverage
Block Coverage
Conditional Coverage
Branch Coverage
Path Coverage
Toggle Coverage
Fsm Coverage
Make Your Goal 100 Percent Code Coverage Nothing Less
Functional Coverage
Coverage Driven Constraint Random Verification Architecture
Phases Of Verification
Ones Counter Example
Verification Plan
Report a Bug or Comment on This section - Your input is what keeps Testbench.in improving with time!
Asic Design
Bottle Neck In Asic Flow
Functional Verification Need
Testbench
Linear Testbench
Linear Random Testbench
How To Check The Results
Self Checking Testbenchs
How To Get Scenarios Which We Never Thought
How To Check Whether The Testbench Has Satisfactorily Exercised The Design
Types Of Code Coverage
Statement Coverage
Block Coverage
Conditional Coverage
Branch Coverage
Path Coverage
Toggle Coverage
Fsm Coverage
Make Your Goal 100 Percent Code Coverage Nothing Less
Functional Coverage
Coverage Driven Constraint Random Verification Architecture
Phases Of Verification
Ones Counter Example
Verification Plan
Report a Bug or Comment on This section - Your input is what keeps Testbench.in improving with time!