RE: [sv-ac] Quick question on .triggered and legality of constructs

Hi Ben,
Why is the last one illegal?
// The following is also illegal
ap_illegal2: assert property( @ (posedge clk) q2(@ (posedge clk) c ##2 d).triggered);

--------------------------------
Jacob M. Katz | jacob.katz@intel.com<mailto:jacob.katz@intel.com> | Work: +972-4-865-5726 | iNet: (8)-465-5726

From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of Ben Cohen
Sent: Monday, February 20, 2012 06:00
To: sv-ac@eda-stds.org; Korchemny, Dmitry
Subject: Re: [sv-ac] Quick question on .triggered and legality of constructs

update
sequence q; @ (posedged clk) a ##1 b[->1]; endsequence
// The following is illegal
ap_illegal1: assert property( @ (posedge clk) q2(q.triggered));

--
On Sun, Feb 19, 2012 at 3:14 PM, Ben Cohen <hdlcohen@gmail.com<mailto:hdlcohen@gmail.com>> wrote:
Could you please clarify for me the legality  and  illegality of the constructs below?
This is my understanding from the LRM.  My doubts are on the .triggered on the actual arguments.
Thanks,
Ben
sequence q; a ##1 b[->1]; endsequence
sequence q2(sequence k);
  @ (posedge clk) m ##1 k;
endsequence
// The following is clearly  legal
ap_legal1: assert property( @ (posedge clk) q2(q));
// The following is also legal
ap_legal2: assert property( @ (posedge clk) q2(c ##2 d));
// equivalent to
// assert property(@ (posedge clk) m ##1 c ##2 );
// The following is  illegal
ap_illegal1: assert property( @ (posedge clk) q2(k.triggered));
// The following is also illegal
ap_illegal2: assert property( @ (posedge clk) q2(@ (posedge clk) c ##2 d).triggered);
--
This message has been scanned for viruses and
dangerous content by MailScanner<http://www.mailscanner.info/>, and is
believed to be clean.
---------------------------------------------------------------------
Intel Israel (74) Limited
This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.
-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.