Re: [sv-bc] RE: [sv-ac] New keywords in SV-AC proposals

From: Steven Sharp <sharp_at_.....>
Date: Tue Mar 11 2008 - 13:52:02 PDT
>From: "Stuart Sutherland" <stuart@sutherland-hdl.com>

>I am very concerned about some of the proposed new keywords, specifically: 
>
>  checker, free, global, implies, let, next, restrict, strong, until, weak
>
>These are common English words that are likely to be in use as identifiers
>in existing code.

I have tried compiling a suite of 88 customer designs with these keywords
reserved in our parser.  18 (or 20%) fail to compile.  This figure may be
somewhat low, since some of these testcases appear to have been run through
obfuscators before being given to us.

The offending keywords were:

next:		7 testcases
free:		7 testcases
global:		4 testcases
checker:	1 testcase
weak:		1 testcase

Note that the numbers do not add up to 18 testcases, because some testcases
failed with conflicts on more than one keyword.

Also note that 'next' is particularly problematic, since it is already used
as an identifier in a built-in method in SV.  One of these customer tests
was SV and ran into this issue.

Steven Sharp
sharp@cadence.com


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Tue Mar 11 14:01:44 2008

This archive was generated by hypermail 2.1.8 : Tue Mar 11 2008 - 14:02:16 PDT