RE: [sv-ac] Question on editing for Mantis 1698

Hi Stu,

 

Here is my understanding of these notes:

 

Note 7090:

 

16.9.4 Sampled value functions

Page 333 (next page after Figure 16-4-Value change expressions):

 

There is a new line after

 

expression1 and expression2 can may be any expression allowed in
assertions. If expression2 is not specified,

then it defaults to 1'b1.

 

In Draft 6. This new line is redundant.

 

Then it is written:

 

$past returns the sampled value of the expression expression1 that was
present number_of_ticks prior to the time

of evaluation of $past. sampled in the Preponed region of a particular
timestep strictly prior to the one in

which $past is evaluated.

 

While should be:

 

$past returns the sampled value of the expression expression1 that was
present number_of_ticks prior to the time

of evaluation of $past. sampled in the Preponed region of a particular
timestep strictly prior to the one in

which $past is evaluated.

 

Note 7131:

 

Same thing as the second part of 7090.

 

Regards,

Dmitry

 

From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On
Behalf Of Stuart Sutherland
Sent: Tuesday, September 02, 2008 7:39 AM
To: sv-ac@server.eda.org
Subject: [sv-ac] Question on editing for Mantis 1698

 

Can someone please define the exact corrections that are needed for bug
note 7090 in Mantis 1698? Please be sure to include subclause numbers.
Page numbers are meaningless, as they change frequently.

 

Also, bug note 7131 is an observation.  Is any correction needed?

 

Stu
~~~~~~~~~~~~~~~~~~~~~~~~~
Stuart Sutherland
stuart@sutherland-hdl.com
+1-503-692-0898

www.sutherland-hdl.com




-- 
This message has been scanned for viruses and 
dangerous content by MailScanner <http://www.mailscanner.info/> , and is

believed to be clean. 

---------------------------------------------------------------------
Intel Israel (74) Limited

This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.