[sv-ac] 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.