Subject: RE: [sv-bc] SV-BC73
From: Jacobi, Dan (dan.jacobi@intel.com)
Date: Fri Mar 07 2003 - 16:13:28 PST
Hello All,
In this case we might consider adding a foot note specifying that the tick
(') may not be followed by
a white space.
Danny
-----Original Message-----
From: Francoise Martinolle [mailto:fm@cadence.com]
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 - 16:14:54 PST