[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.