[sv-ac] check: How will we do this?

Subject: [sv-ac] check: How will we do this?
From: Prakash Narain (prakash@realintent.com)
Date: Thu Feb 06 2003 - 14:01:31 PST

Let us look at the following code snippet:

always @(posedge clk)
   .
   .
   .
   case(sig1)
        .
        junk1:
        .
         if (sig2) begin
             .
             .
              .
             if (sig3) begin
                 check(foo) ;
                 //desired behavior if (!foo) $display("assertion failed") ;
                  .
                  .
             end
        end
    endcase

Basically what I am trying to say procedurally is that when
the clk rises and ((sig1==junk1)&&(sig2 is true)&&(sig3 is true)) then
foo should be true.

In the proposed scheduling, the evaluation of an assertion is just before
the next rising clock. foo needs to be checked relative to (just before/
right after) the current rising clock.

Does this makes sense?

Best Regards,

Prakash

This archive was generated by hypermail 2b28 : Thu Feb 06 2003 - 14:02:48 PST