From: Brad Pierce (Brad.Pierce@synopsys.com)
Date: Tue Oct 01 2002 - 15:16:20 PDT
In Syntax 19-7, the first field in `line compiler directive is a "number".
We shouldn't allow every kind of Verilog number here. For example,
according to A.8.7, one kind of "number" is "real_number". How about --
`line number "filename" level --?--> `line unsigned_number
"filename" level
According to to A.8.7,
unsigned_number ::= decimal_digit { _ | decimal_digit }
with a footnote that "Embedded spaces are illegal".
Or how about --
`line number "filename" level --?--> `line line_number "filename"
level
where
line_number ::= decimal_digit { decimal_digit }
with the same footnote as above.
-- Brad
This archive was generated by hypermail 2.1.4
: Thu Oct 10 2002 - 09:24:30 PDT
and
sponsored by Boyd Technology, Inc.