Subject: [sv-bc] SV-BC73
From: Francoise Martinolle (fm@cadence.com)
Date: Thu Mar 06 2003 - 12:07:10 PST
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 : Thu Mar 06 2003 - 12:08:00 PST