[sv-ac] RE: Mantis 2362

From: Eduard Cerny <Eduard.Cerny@synopsys.com>
Date: Tue Jun 01 2010 - 11:06:13 PDT

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.
Received on Tue Jun 1 11:06:34 2010

This archive was generated by hypermail 2.1.8 : Tue Jun 01 2010 - 11:06:36 PDT