Incisive 05.6 coverage report, how do I deal with default ca

[Mr. Ken]

For example, my case is full, if I add in a default, Incisive complains "a
case item of ... uncovered"
and point to the default. if I remove the default, it complains "Implicit
default uncovered"

How can I deal with this situation?



case (choise[1:0] )
2'b00: ...
2'b01: ...
2'b10: ...
2'b11: ...
endcase

 

[dbwalker0min@gmail.com]

Try placing the following pragma before the case statement...

// pragma coverage implicit_default = off

The pragma is in effect until the end of the source file or you have
another pragma like...

// pragma coverage implicit_default = on

David Walker

Mr. Ken wrote:

For example, my case is full, if I add in a default, Incisive complains "a
case item of ... uncovered"
and point to the default. if I remove the default, it complains "Implicit
default uncovered"

How can I deal with this situation?



case (choise[1:0] )
2'b00: ...
2'b01: ...
2'b10: ...
2'b11: ...
endcase

 

[Mr. Ken]

<dbwalker0min@gmail.com> wrote in message
news:1164699170.331988.97920@j44g2000cwa.googlegroups.com...

Try placing the following pragma before the case statement...

// pragma coverage implicit_default = off

The pragma is in effect until the end of the source file or you have
another pragma like...

// pragma coverage implicit_default = on

David Walker

Mr. Ken wrote:
For example, my case is full, if I add in a default, Incisive complains
"a
case item of ... uncovered"
and point to the default. if I remove the default, it complains
"Implicit
default uncovered"

How can I deal with this situation?



case (choise[1:0] )
2'b00: ...
2'b01: ...
2'b10: ...
2'b11: ...
endcase

Thank you, it works.