[sv-ac] RE: Mantis 2362

Hi Scott,

I see similar reference in 16.3 / 3rd para, which says (in context of immediate assertions):

----
The execution of immediate assertions can be controlled by using assertion control system tasks (see 20.11)
-----
Can we change this sentence (just before 16.15.1) to something similar like:
------
The execution of concurrent assertions can be controlled by using assertion control system tasks (see 20.11)
------
 
Would this retain probably intended cross-reference - in a more plausible style?
Warm regards,
Tapan
"You must be the change you want to see in the world" : Mahatma Gandhi
>-----Original Message-----
>From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of
>Eduard Cerny
>Sent: Tuesday, June 01, 2010 11:51 PM
>To: Little Scott-B11206; Eduard Cerny; sv-ac@server.eda.org
>Subject: [sv-ac] RE: Mantis 2362
>
>Hi Scott,
>
>yes, you are right, I did not notice that one.
>
>ed
>
>
>> -----Original Message-----
>> From: Little Scott-B11206 [mailto:B11206@freescale.com]
>> Sent: Tuesday, June 01, 2010 2:12 PM
>> To: Eduard Cerny; sv-ac@server.eda.org
>> Subject: RE: Mantis 2362
>>
>> Hi Ed:
>>
>> I think that we are talking about two different sentences.  You are
>> talking about the reference to 20.12 and assertion action control
>tasks
>> in 16.15.1, .2, and .3.  Yes, these references seem fine.
>>
>> I am talking about the paragraph immediately before 16.15.1 and the
>> reference to 20.11.  I believe this is a spurious reference.
>>
>> Thanks,
>> Scott
>>
>> -----Original Message-----
>> From: Eduard Cerny [mailto:Eduard.Cerny@synopsys.com]
>> Sent: Tuesday, June 01, 2010 1:06 PM
>> To: Little Scott-B11206; sv-ac@server.eda.org
>> Subject: RE: Mantis 2362
>>
>> Hi,
>>
>> the same sentence also appears in 16.15.2 and .3, for assume and for
>> cover. But since the paragraphs say:
>>
>> The execution of
>> pass and fail statements can be controlled by using assertion action
>> control tasks. The assertion action
>> control tasks are described in 20.12.
>>
>> I think that the reference could stay. It is just a cross ref, no?
>>
>> ed
>>
>>
>>
>> > -----Original Message-----
>> > From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of
>> > Little Scott-B11206
>> > Sent: Tuesday, June 01, 2010 2:01 PM
>> > To: sv-ac@server.eda.org
>> > Subject: [sv-ac] Mantis 2362
>> >
>> > Hi all:
>> >
>> > As Ed mentioned in the meeting mantis item 2362 refers to the
>> paragraph
>> > on page 394 immediately prior to section 16.15.1.  I agree with the
>> > mantis item in saying that the last sentence in the paragraph does
>> not
>> > have any connection with the rest of the paragraph.  I think we can
>> > strike the final sentence.  I can put together a proposal to
>> accomplish
>> > this if others agree.
>> >
>> > Thanks,
>> > Scott
>> >
>> > --
>> > 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.
>
-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.