RE: [sv-ac] Mantis 1900

Hi Shalom,

 

Please, see my comments below. The Mantis version is
checkers_080217dk.pdf.

 

Thanks,

Dmitry

 

________________________________

From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On
Behalf Of Bresticker, Shalom
Sent: Sunday, February 17, 2008 10:24 AM
To: Bresticker, Shalom; sv-ac@server.eda.org
Cc: Levy, Yossef (DT)
Subject: RE: [sv-ac] Mantis 1900

 

Also to 1.8 on Clauses 3 and 16, 

[Korchemny, Dmitry] Done.

 

3.1 dashed item 1,

[Korchemny, Dmitry] See my comment to your previous mail. The Clause 3
does not mention assertions, though they are verification blocks (or at
least, primitives), so I would not put a discussion on checkers here in
this release.

 

3.3,

[Korchemny, Dmitry] Done.

 

 3.5 paragraph 2

[Korchemny, Dmitry] 3.5 paragraph 2 says:

 

"At its lowest level, an interface is a named bundle of nets or
variables. The interface is instantiated in a

design and can be connected to interface ports of other instantiated
modules, interfaces and programs. An

interface can be accessed through a port as a single item, and the
component nets or variables referenced

where needed. A significant proportion of a design often consists of
port lists and port connection lists,

which are just repetitions of names. The ability to replace a group of
names by a single name can significantly

reduce the size of a description and improve its maintainability."

 

I don't think that checkers should be mentioned in this list.

 

, 3.8,

[Korchemny, Dmitry] Done.

 

 3.9 paragraph 3, 

[Korchemny, Dmitry] See my comment to your previous mail.

 

3.10.1 ("The following items are visible in all compilation units...").

[Korchemny, Dmitry] Fixed.

[Korchemny, Dmitry]                                                 

A new subclause on checkers should be added to Clause 3.

[Korchemny, Dmitry] See my comment to 3.1

 

Also paragraph 3 of 3.10,

[Korchemny, Dmitry] Done.

 

 3.11a),

[Korchemny, Dmitry] Done.

 

 3.12.1, 3.12.2.2, 3.12.2.3

[Korchemny, Dmitry] Simulation time units cannot be specified in
checkers.

 

	 

	Add checkers to the list "module, interface, or program" in the
first paragraphs in 3.7 and 3.9, to 3.11c) and e), to 6.21 (see latest
version in Mantis 2106), 6.22 paragraph 3, 14.7, 14.11, 3.2, 16.15,
22.2.2.2, 22.8, 36.13 Note 10. It will not be correct to add them
everywhere to that list because there are some differences (e.g., ports
do not have directions, no parameters).
	 

	Shalom 

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