RE: [sv-ac] Mantis 1900

Hi Shalom,

 

I implemented most of your comments, but there are several items that I
am not feeling comfortable with them. I have an impression that the
Clause 3 should be revised entirely, since it looks incomplete and not
always consistent. E.g., there is mo mention of concurrent assertions
there, though they are also verification blocks; it is written that
modules can contain continuous assignments, but there is no mention
about concurrent assertions that can be written outside the procedural
code; instantiations inside a module are listed, but not inside an
interface, etc. Therefore I suggest making only minimal changes to
Clause 3, leaving its revision to the future PAR.

 

Please, see detailed comments below.

 

I uploaded the new version checkers_080217dk.pdf to Mantis.

 

Dmitry

 

________________________________

From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On
Behalf Of Bresticker, Shalom
Sent: Friday, February 15, 2008 4:30 PM
To: sv-ac@server.eda.org
Cc: Levy, Yossef (DT)
Subject: [sv-ac] Mantis 1900

 

On p. 5, "initial (see 9.2.2.1)", should be 9.2.1. 

[Korchemny, Dmitry] Fixed.

"outside of" and "inside of" should be just "outside" and "inside". 

[Korchemny, Dmitry] Fixed.

In Syntax 14-3, checker_or_generate_item_declaration should have comment
"// from A.1.8". Similar comments should be added elsewhere where BNF is
excerpted.

[Korchemny, Dmitry] Fixed.

Also there, the line "| clocking_declaration" should not be excerpted,
for consistency with module_or_generate_item_declaration above.

[Korchemny, Dmitry] Fixed.

In A.10, the new footnote 3 should have text in blue, not black. 

[Korchemny, Dmitry] Fixed.

In 22.10, checker_instantiation needs to be added to bind_instantiation
in Syntax 22-7.

[Korchemny, Dmitry] Fixed.

Add checkers to the list "module, interface, or program" in the first
paragraphs in 3.7

[Korchemny, Dmitry] Fixed.

 and 3.9,

[Korchemny, Dmitry] I suggest leaving this subclause unchanged. Though
checkers are somewhat similar to modules, they have some similarity to
properties, functions, and generate blocks and none of them is listed
here. I think it to add discussion on checkers without discussing other
missing constructs.

 to 3.11c) and e),

[Korchemny, Dmitry] Done.

 to 6.21 (see latest version in Mantis 2106),

[Korchemny, Dmitry] Done.

 6.22 paragraph 3,

[Korchemny, Dmitry] Done.

 14.7,

[Korchemny, Dmitry] Done.

 14.11, 

[Korchemny, Dmitry] Done.

3.2,

[Korchemny, Dmitry] I don't think it is correct to call checker a design
element. It is written:

"Design elements are the primary building blocks used to model and build
up a design and verification environment." - The primary usage of
checkers is not to build up a design and verification environment.
Otherwise, assertions should also be here.

16.15,

[Korchemny, Dmitry] Done.

22.2.2.2,

[Korchemny, Dmitry] I would rather not mention checkers here since
checker instantiation is closer to a property instantiation than to a
module instantiation.

 22.8,

[Korchemny, Dmitry] Done. 

 36.13 Note 10.

[Korchemny, Dmitry] Checker VPI is a subject of separate Mantis 2250,
but I don't think the change is appropriate here.

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

In A.1.2, in checker_declaration, the last line should say "endchecker [
: checker_identifier ]". 

[Korchemny, Dmitry] Fixed.

Shalom Bresticker 
Intel Jerusalem LAD DA 
+972 2 589-6582 
+972 54 721-1 

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