From: Adam Krolnik (krolnik@lsil.com)
Date: Mon Nov 06 2000 - 15:40:34 PST
Good evening all;
I concur with Yatin's request - they should be connected.
<p>IEEE1364-2005 proposal:
Replace BNF with machine readable format of choice (e.g. yacc
compatible or other format.)
Justification:
Like all other functional specification that are incomplete
and ambiguous unless justified through verification procedures,
the BNF has suffered and still is suffering from hard to check
consistencies.
A machine readable format would allow one to validate the description
easily and provide correct statements as to it's form. It would also
allow distribution of the grammar so that there would be fewer
unparsable structures (assuming tool writers used the grammar as
defined and delivered.)
<p> Adam Krolnik
Verification Mgr.
LSI Logic Corp.
Plano TX. 75074
This archive was generated by hypermail 2.1.4
: Mon Jul 08 2002 - 12:54:15 PDT
and
sponsored by Boyd Technology, Inc.