RE: [sv-ac] Re: P1800-2009: default disable iff declaration // Why illegal in a checker?

 

Hi Ben,

 

I agree that the text could be more clear.  The BNF is clear that disable
iff is allowed in a checker.

 

 

Page 1046 of the D8 ballot:

 

checker_or_generate_item_declaration ::=

data_declaration

| function_declaration

| assertion_item_declaration

| covergroup_declaration

| overload_declaration

| genvar_declaration

| clocking_declaration

| default clocking clocking_identifier ;

| default disable iff expression_or_dist ;

| ;

 

Lisa

 

  _____  

From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On
Behalf Of ben cohen
Sent: Wednesday, May 13, 2009 3:09 AM
To: Korchemny, Dmitry; sv-ac@server.eda.org
Subject: [sv-ac] Re: P1800-2009: default disable iff declaration // Why
illegal in a checker?

 

Page 403.  I missed pne more place where the cheker needs to also be added:

From: 

More than one default disable iff declaration within the same module,
interface, program

declaration, or generate block shall be an error. The scope does not extend
into any instances of modules,

interfaces or programs.

 

TO: 

More than one default disable iff declaration within the same module,
interface, checker, program

declaration, or generate block shall be an error. The scope does not extend
into any instances of modules,

interfaces or programs.

 

 

On Wed, May 13, 2009 at 12:02 AM, ben cohen <hdlcohen@gmail.com> wrote:

16.16 Disable iff resolution  PAGE 403

The LRM does not mention the legality of the declaration of a default
disable iff in a checker. 

This seems to me like an error, as I see no reason as to why the checker
should be excluded from this feature. 

I suggest that we add the checker.  Since I cannot yet submit a mantis,
Dmitry, please submit it for me. 

 

Change on page 403 from: 

A default disable iff may be declared within a generate block or within a
module, interface, or program

declaration. It provides a default disable condition to all concurrent
assertions in the scope and subscopes of

the default disable iff declaration. Furthermore, the default extends to any
nested module, interface, or

program declarations, and to nested generate blocks. However, if a nested
module, interface, or program

declaration, or a generate block itself has a default disable iff
declaration, then that default

disable iff applies within the nested declaration or generate block and
overrides any default

disable iff from outside.  

 

TO: 

A default disable iff may be declared within a generate block or within a
module, interface, checker, or program

declaration. It provides a default disable condition to all concurrent
assertions in the scope and subscopes of

the default disable iff declaration. Furthermore, the default extends to any
nested module, interface, checker or

program declarations, and to nested generate blocks. However, if a nested
module, interface, checker  or program

declaration, or a generate block itself has a default disable iff
declaration, then that default

disable iff applies within the nested declaration or generate block and
overrides any default

disable iff from outside.  

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

Ben Cohen 

 


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


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.