[sv-ec] RE: [sv-ac] Seuence Instance passed as an argument to sequence

From: Korchemny, Dmitry <dmitry.korchemny_at_.....>
Date: Wed Jan 30 2008 - 04:52:38 PST
Yes, this is correct.

Dmitry.

-----Original Message-----
From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On
Behalf Of Sarani Roy
Sent: Wednesday, January 30, 2008 2:21 PM
To: sv-ec@server.eda.org; sv-ac@server.eda.org
Subject: [sv-ac] Seuence Instance passed as an argument to sequence

Hi,

Is this a valid scenario:

sequence s1;
 @(posedge clk) irdy ##1 !trdy ##1 !devsel;
 endsequence

 sequence seq (s,trans,grant,n);
 @(posedge clk) s ##1 trans ##1 grant[*n];
 endsequence

 property p1;
 @(posedge clk)
 reset |=> seq(s1,next_state==3'b111,stop,4) ##1 frame[*2];
 endproperty
 
 assert property(p1);

Most of the standard tools are passing.

Thanks,
Sarani



-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Wed Jan 30 04:55:59 2008

This archive was generated by hypermail 2.1.8 : Wed Jan 30 2008 - 04:56:25 PST