[sv-ac] RE: Draft proposal for 2476 (clarifications on system functions) posted

Hi Erik,

Just one comment -

Why not separate the BNF for assert_boolean_functions to several categories, each capturing a syntactic entity all of whose system functions can be used interchangeably from syntax perspective (i.e. all return the same type of expression and are allowed in same places). Isn't that the purpose of the BNF (to give quick answer on what can be used where)? Also, why isn't this in Annex A (originally and in the proposal)?

Thanks,
Dana

From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of Seligman, Erik
Sent: Saturday, September 11, 2010 12:25 AM
To: sv-ac@eda.org
Subject: [sv-ac] Draft proposal for 2476 (clarifications on system functions) posted

Hi guys-
I just posted a first draft of the proposal for Mantis http://www.verilog.org/mantis/view.php?id=2476, at http://www.verilog.org/mantis/file_download.php?file_id=4536&type=bug . Please take a look & send comments.

Thanks!

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