BNF description of Verilog.

From: Adam Krolnik (adamk@cyrix.com)
Date: Sun Feb 22 1998 - 21:07:49 PST

• Next message: Adam Krolnik: "BTF - B13 - Mutable part selects proposal"
• Previous message: Clifford E. Cummings: "BNF - Word-97 Version"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]

Good morning everyone:

Since we were on the subject of reviewing the BNF for verilog, I was thinking
it would be good to machine verify the syntax for properties. But this would
require either a translation to a slightly different form, or a hand-written
program.

What I was wondering about was the possibility of writing the description in a YACC acceptable form. This would allow us to then verify the syntax for:
no dangling rules, unambiguous parseable form, etc.

<p> Adam Krolnik
      Verification Engineer
      Cyrix - NSM
      Richardson TX. 75085

• Next message: Adam Krolnik: "BTF - B13 - Mutable part selects proposal"
• Previous message: Clifford E. Cummings: "BNF - Word-97 Version"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]

This archive was generated by hypermail 2.1.4 : Mon Jul 08 2002 - 12:52:46 PDT and
sponsored by Boyd Technology, Inc.