Subject: RE: [sv-bc] SV-BC73
From: Brad Pierce (Brad.Pierce@synopsys.com)
Date: Fri Mar 07 2003 - 09:27:47 PST
binary_digit includes z_digit, which includes question mark (?)
But '? is not an allowed implicit_base_binary_number.
I don't the reason why '? is not allowed, but that's why I did not reuse
binary_digit.
-- Brad
-----Original Message-----
From: owner-sv-bc@eda.org [mailto:owner-sv-bc@eda.org]On Behalf Of
Francoise Martinolle
Sent: Thursday, March 06, 2003 12:07 PM
To: sv-bc@eda.org
Subject: [sv-bc] SV-BC73
Brad,
I have another suggestion.
You can use the rule:
binary_digit ::= x_digit | z_digit | 0 | 1
implicit_base_binary_number ::= 'binary_digit
Subject: [sv-bc] 2.3 -- Unbased binary literals
From: Brad Pierce (Brad.Pierce@synopsys.com)
Date: Fri Feb 21 2003 - 09:48:45 PST
Next message: Steven Sharp: "Re: [sv-bc] 8.3, Propagation of
unique/priority down an if...else...if"
Previous message: Francoise Martinolle: "Re: [sv-bc] Face to Face
meeting next Thursday 27 Feb. 2003"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
To parse the 6 new literals of section 2.3 --
'0, '1, 'X, 'x, 'Z , 'z
I propose for section A.8.7 --
ADD
implicit_base_binary_number ::= '0 | '1 | 'X | 'x | 'Z | 'z
REPLACE
binary_number ::= [ size ] binary_base binary_value
WITH
binary_number ::= [ size ] binary_base binary_value
| implicit_base_binary_number
This archive was generated by hypermail 2b28 : Fri Mar 07 2003 - 09:28:30 PST