From: Adam Krolnik (krolnik@lsil.com)
Date: Wed Jul 12 2000 - 08:13:58 PDT
Good morning Tom;
<p>About 9 years ago I saw a paper on a commercial tool that did this.
I believe the syntax was closer to yacc though. Maybe that's a
tool for Cadence to write :)
There was one person who had tried to convert the BNF to a working
grammar. He was unwilling to allow others to use it though.
I had made a comment before that instead of BNF, we write in yacc -
allowing checking of the grammar. I think that until we do something
along these lines, the grammar described in the specification will
always have these holes - no verification, no guarantees.
<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:13 PDT
and
sponsored by Boyd Technology, Inc.