Re: Revised BNF

Subject: Re: Revised BNF
From: Adam Krolnik (krolnik@lsil.com)
Date: Fri Dec 07 2001 - 12:20:46 PST

Next message: Stefen Boyd: "Re: Revised BNF"
Previous message: Vassilios.Gerousis@Infineon.Com: "Reminder for our meeting on Monday December 10a"
In reply to: Peter Flake: "Re: Revised BNF"
Next in thread: Stefen Boyd: "Re: Revised BNF"
Reply: Adam Krolnik: "Re: Revised BNF"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Good afternoon;

Stefen, I ran the System verilog BNF through the hyperlinker.

There are many productions not referenced in the document
(as seen by unlinked definitions, e.g. source_text is
never referenced, udp_declaration is never defined.)

Are there any tools that can analyze BNF for omitted productions,
shift/reduce conflicts, grammar complexity, etc? At least
if this was in yacc form, we could use bison to find these
kind of flaws early.

Any thoughts on a different format? Any thoughts on trying to
use tools to analyze the language?

   Adam Krolnik
   Verification Mgr.
   LSI Logic Corp.
   Plano TX. 75074

Next message: Stefen Boyd: "Re: Revised BNF"
Previous message: Vassilios.Gerousis@Infineon.Com: "Reminder for our meeting on Monday December 10a"
In reply to: Peter Flake: "Re: Revised BNF"
Next in thread: Stefen Boyd: "Re: Revised BNF"
Reply: Adam Krolnik: "Re: Revised BNF"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b28 : Fri Dec 07 2001 - 12:22:00 PST