[sv-ec] Expect action block

From: danielm <danielm_at_.....>
Date: Mon Jul 23 2007 - 23:55:18 PDT
IMHO LRM doesn't specify when should be the expect action block executed -
in which region? 
Expect argument property is executed in Observe region. Code placed after
expect is executed after Observe region (in active region?). But what about
action block code. Should it be executed like concurent assertion action
block in next reactive region? Or should it be executed before code after
expect is executed?
 
Code:
  ex1:expect( @(posedge clk) not a ## 2 b ) 
   $display("expect pass");    
  else    
   $display("expect fail "); 
  $fisplay("expect ublocked");
 
*)action block executed before any code placed after expect statement
expect pass
expect ublocked
 
**)action block execute in next reactive slot
expect ublocked
expect pass
 
 
What about situation when there is timing control stmt placed in action
block of expect? Does such stmt block whole expect statement?
 
 
DANiel

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Mon Jul 23 23:55:44 2007

This archive was generated by hypermail 2.1.8 : Mon Jul 23 2007 - 23:56:16 PDT