RE: [sv-ac] Mantis 1900 comments - Part 3

Hi Shalom,

 

Please, see my comments below.

 

Thanks,

Dmitry

 

________________________________

From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On
Behalf Of Bresticker, Shalom
Sent: Tuesday, January 29, 2008 6:12 PM
To: sv-ac@server.eda.org
Cc: sv-champions@server.eda.org
Subject: [sv-ac] Mantis 1900 comments - Part 3

 

More comments on Mantis 1900: 

- The proposal has examples of the event type used in checker port
lists, such as 
checker my_check (logic test_sig, event clock); 
Since the actual argument connected to this will typically be declared
with a logic data type, where does the LRM say you can connect it to a
formal argument of type event?

[Korchemny, Dmitry] In 1549 it is written:

"If the formal argument is of type event, then the actual argument shall
be an event_expression and each reference to the formal argument shall
be in a place where an event_expression may be written."

I added a reference to 1549 in the introduction. Essentially, dependency
of 1900 on 1549 is superficial, it is enough to make in the examples all
checker arguments untyped in order to make 1900 independent. But if 1549
is approved, it is better to use typed arguments in the examples.

- There are places where the keyword 'begin' is not bolded, e.g., in the
example before 16.18.4. 

[Korchemny, Dmitry] Fixed.

- There are places where the format type in a number literal is
incorrectly bolded, e.g., counter <= counter + 1'b1; 

[Korchemny, Dmitry] Fixed.

- The apostrophes should be straight up-down plain apostrophes, not
forwardly slanted ones. 

[Korchemny, Dmitry] This is what I get when typing an apostrophe in Word
in courier new 9. I can insert some special symbol that would look as a
plain apostrophe, but it should cause more troubles when doing cut and
paste than help. The use case should be straightforward to the editor.

- 16.18.6.4 has endsequence : s;  There should be no semicolon there.

[Korchemny, Dmitry] Fixed.

 - In 16.18.8, $inferred_clock, $inferred_disable, $error, and $display
should not be bolded. 

[Korchemny, Dmitry] Fixed.

Regards, 
Shalom 

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

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