Hi dp,
I would like to respond to your comment,
"Yacc production rules will result in shift/reduce error for grammer given
in PSL-v1.1"
This is indeed true, and is not intended to be otherwise. The grammar in
the LRM is an abstract grammar whose purpose is to define the language. It
cannot be used as it is for building a yacc parser. However, it should be
possible to build an _equivalent_ conflict-free yacc parser -- this is
something that we tried to ensure throughout the process of defining the
grammar.
Avigail
_______________________________________________________
Avigail Orni
Formal Methods Group
IBM Haifa Research Laboratory
Tel: 972-4-829-6396 ornia@il.ibm.com
dp
<dp@realintent.co To: erichm@cadence.com
m> cc: vfv@eda.org
Sent by: Subject: question
owner-vfv@eda.org
30/06/2004 20:58
Hi Erich
Thanks for your mail, I was confused because of single quotes.
here is situation for compound sere :
{in } @ (clk) & in [*2]
The & operator can be hdl or sere operator here.
If it is hdl opertaor : this should be reported as syntex error
but not if it is compound_sere operator.
Yacc production rules will result in shift/reduce error for grammer
given PSL-v1.1 .
It is just to much work to go for hand-written parser.
dp
Received on Wed Jun 30 22:03:27 2004
This archive was generated by hypermail 2.1.8 : Wed Jun 30 2004 - 22:03:51 PDT