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