Stats

Locked Locked
Replies 0
Subscribers 65
Views 13815
Members are here 0

This discussion has been locked.

You can no longer post new replies to this discussion. If you have a question you can start a new discussion

Understanding expression coverage

I have this piece of code:

   reg marker;
   always@(posedge clk or negedge rst_n)
     if ( ~rst_n )
       marker <= 0;
     else
       if ( push_and_pushed )
         if ( ( ( framecount==0 ) && ( f_wdata[4:0] == 0 ) ) ||
              ( ( framecount >0 ) && ( framecount==sample0 ) ) )
           marker <= f_wdata;

And expression coverage tells me this:

I do not understand what situation it complains about.

T1=1 suggests framecount non-zero

T4=0 suggests framecount to be zero at the same time

What do I misinterpret here?

Community Guidelines

The Cadence Design Communities support Cadence users and technologists interacting to exchange ideas, news, technical information, and best practices to solve problems and get the most from Cadence technology. The community is open to everyone, and to provide the most value, we require participants to follow our Community Guidelines that facilitate a quality exchange of ideas and information. By accessing, contributing, using or downloading any materials from the site, you agree to be bound by the full Community Guidelines.