Re: [sv-ac] 16.14.6 Sequence methods // .triggered need further clarification

5/24/01, New updates as result of today's meeting
http://www.eda-stds.org/svdb/view.php?id=3552
1) Added
a1: assert property(@ (posedge clk) $stable(s1) |-> c );
a2: assert property(@ (posedge clk) (s1.triggered) |-> c);

2) These guidelines are in 16.14.6 Sequence methods, which is a subsection
of 16.14 Multiclock support; Yet these guidelines are shown for singly
clocked properties. Shouldn't these guidelines belong to the end of section
"16.9.11 Detecting and using end point of a sequence"
Ben Cohen

---
On Tue, May 17, 2011 at 11:29 PM, ben cohen <hdlcohen@gmail.com> wrote:
> New updates as result of today's meeting
> http://www.eda-stds.org/svdb/view.php?id=3552
>  <http://www.eda-stds.org/svdb/view.php?id=3552>Ben Cohen
>
> On Sat, May 14, 2011 at 9:01 AM, ben cohen <hdlcohen@gmail.com> wrote:
>
>> I updated http://www.eda-stds.org/svdb/view.php?id=3552
>> http://www.eda-stds.org/svdb/file_download.php?file_id=5030&type=bug
>>
>> On Tue, May 10, 2011 at 4:56 PM, ben cohen <hdlcohen@gmail.com> wrote:
>>
>>> I submitted as http://www.eda-stds.org/svdb/view.php?id=3552
>>>
>>> On Tue, May 10, 2011 at 4:10 PM, ben cohen <hdlcohen@gmail.com> wrote:
>>>
>>>>  Attached is a file that provides the clarification. Since I was just
>>>> brought on board to this committee as an Accellera representative, I do not
>>>> yet have access to posting a mantis (but I will).  Dmitry or Erik, can you
>>>> post it for me on my behalf?
>>>> Thanks,
>>>> Ben
>>>>
>>>
>>>
>>
>
-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.