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> 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, and is
believed to be clean.