[sv-ac] RE: My estimation for errata list

Hey all,

Here is my part:

3008: In $past BNF, "expression" should be "expression1": Low, Nice
2387: Layout of 16.11 is inconsistent - Typeset the function definitions $onehot, $onehot0, $isunknown, and $countones in the BNF format: Trivial, Nice
2955: Checker example is wrong: Low, Nice
2807: Typing error: actual parameter in example not declared: Done, drop
2916: Wrong font in 16.4.2: Done, drop
2934: Precedence and associtiativity of case operator is not shown in the table: Low, Important
1675: Assertion system function syntax is not complete: Medium, Important

Thanks,
Laurence

From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of Korchemny, Dmitry
Sent: Sunday, April 18, 2010 4:40 PM
To: sv-ac@eda.org
Subject: [sv-ac] My estimation for errata list

Hi all,

Here are my estimations for the errata list assigned to me:

* 3036 Explicitly allow unpacked data types for arguments of assertion system functions: Low, Important

* 2556 Explicit package scope indication is not allowed for checkers: Low, Important

* 2732 Clarify timing diagram in Figure 16-4?Future value change: Trivial, Nice

* 2476 Need clarification about system functions $onehot, etc: Low, Nice

* 1502 Decision point definition: High, Leave

* 1551 Make disable iff sampled: Medium, Leave. I think this issue should be addressed when discussing checker argument sampling.

Thanks,
Dmitry

---------------------------------------------------------------------

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.