$assert* bnf

Subject: $assert* bnf
From: Tom Fitzpatrick (fitz@co-design.com)
Date: Mon Apr 22 2002 - 10:28:02 PDT

• Next message: Dave Kelf: "24th Verilog++ Meeting Minutes 4/22/02"
• Previous message: Clifford E. Cummings: "Conference Call this morning"
• Reply: Stefen Boyd: "Re: $assert* bnf"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This is the proposed bnf for the assertion control system tasks: $asserton,
$assertoff and $assertkill. The intention is for these to be invoked
similarly to $dumpvars.

Please let me know if there are any issues.
Thanks,
-Tom

assertctrl_tasks ::=
           assert_task ;
           | assert_task ( levels [ , list_of_modules_or_assertions ] ) ;

assert_task ::=
           $asserton
           | $assertoff
           | $assertkill

list_of_modules_or_assertions ::=
           module_or_assertion { , module_or_assertion }

module_or_assertion ::=
           module_identifier
           | assertion_identifier

------------------------------------------------------
Tom Fitzpatrick
Director of Technical Marketing
Co-Design Automation, Inc.
------------------------------------------------------
Email: fitz@co-design.com Mobile: (978)337-7641
Tel: (978)448-8797 Fax: (561)594-3946
Web: www.co-design.com
        www.superlog.org
------------------------------------------------------
        SUPERLOG = Faster, Smarter Verilog
------------------------------------------------------

• Next message: Dave Kelf: "24th Verilog++ Meeting Minutes 4/22/02"
• Previous message: Clifford E. Cummings: "Conference Call this morning"
• Reply: Stefen Boyd: "Re: $assert* bnf"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b28 : Mon Apr 22 2002 - 10:34:05 PDT