- Previous message: Steven Sharp: "Re: Corrected proposal for uwire"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
Hello,
I have appended a version of the uwire extension that includes
the changes that were approved at the BTF meeting on Monday.
They include:
1) Changing section 3.7.5 ("Supply nets") to 3.7.6
2) Changing the new "Unresolved nets" section to 3.7.5
3) Correcting the cross reference in 3.7.5 (to read 12.3.9.3)
4) Moving uwire before supply0 in 3.12
5) Moving the uwire row and column in front of the supply0 row
and column in the table in 12.3.10.2
6) Restoring the vpiNone definition back to its original form in
Annex G
7) Changing the number and comment for vpiUwire in Annex G
Kathy
-----------------------------------------------------------------------------
Annex A - A.2.2.2 and syntax box in 3.2.1:
CHANGE:
net_type ::=
supply0 | supply1
| tri | triand | trior | tri0 | tri1 | wire | wand | wor
TO:
net_type ::=
supply0 | supply1
| tri | triand | trior | tri0 | tri1 | uwire | wire | wand | wor
-----------------------------------------------------------------------------
3.7 Net types
In table 2, CHANGE:
| wor | trior | trireg | |
TO:
| wor | trior | trireg | uwire |
----------------------------------------------------------------------------
3.7 Net types
CHANGE:
3.7.5 Supply nets
TO:
3.7.6 Supply nets
ADD NEW SECTION 3.7.5:
3.7.5 Unresolved nets
The uwire net is an unresolved or unidriver wire, and is used to model
nets that allow only a single driver. The uwire type can be used to
enforce this restriction. It shall be an error to connect any bit of a
uwire net to more than one driver. It shall be an error to connect a
uwire net to a bidirectional terminal of a bidirectional pass switch.
The port connection rule in 12.3.9.3 ensures that an implementation
enforces this restriction across the net hierarchy, or gives a warning
if it does not.
----------------------------------------------------------------------------
3.12 Name spaces
CHANGE
"includes wire, wor, wand, tri, trior, triand, tri0, tri1, trireg, supply0,
and supply1"
TO
"includes wire, wor, wand, tri, trior, triand, tri0, tri1, trireg, uwire,
supply0, and supply1"
----------------------------------------------------------------------------
12.3.9 Port connection rules
ADD THIS SECTION:
12.3.9.3 Rule 3
If the net on either side of a port has the net type uwire,
a warning shall be issued if the nets are not merged into
a single net, as described in 12.3.10.
-----------------------------------------------------------------------------
12.3.10.2 Net type table
CHANGE:
---------------------------------------------------------------------
| External net
Internal |-----------------------------------------------------------
net |wire,|wand, |wor, |trireg | tri0 | tri1 |supply0 |supply1
| tri |triand |trior | | | | |
---------+-----+-------+------+-------+------+------+--------+---------
wire, | ext | ext | ext | ext | ext | ext | ext | ext
tri | | | | | | | |
---------+-----+-------+------+-------+-----+-----+--------+---------
wand, | int | ext | warn | warn | warn | warn | ext | ext
triand | | | | | | | |
---------+-----+-------+------+-------+------+------+--------+---------
wor, | int | warn | ext | warn | warn | warn | ext | ext
trior | | | | | | | |
---------+-----+-------+------+-------+-----+-----+--------+---------
trireg | int | warn | warn | ext | ext | ext | ext | ext
---------+-----+-------+------+-------+------+------+--------+---------
tri0 | int | warn | warn | int | ext | warn | ext | ext
---------+-----+-------+------+-------+------+------+--------+---------
tri1 | int | warn | warn | int | warn | ext | ext | ext
---------+-----+-------+------+-------+------+------+--------+---------
supply0 | int | int | int | int | int | int | ext | warn
---------+-----+-------+------+-------+--- --+------+--------+---------
supply1 | int | int | int | int | int | int | warn | ext
---------------------------------------------------------------------
KEY:
ext = The external net type is used
int = The internal net type is used
warn = A warning is issued and the external net type is used
--------------------------------------------------------------------------
TO:
----------------------------------------------------------------------------
| External net
Internal |------------------------------------------------------------------
net |wire,|wand, |wor, |trireg | tri0 | tri1 |uwire |supply0 |supply1
| tri |triand |trior | | | | | |
---------+-----+-------+------+-------+------+------+------+--------+-----
wire, | ext | ext | ext | ext | ext | ext | ext | ext | ext
tri | | | | | | | | |
---------+-----+-------+------+-------+------+------+------+--------+-----
wand, | int | ext | ext | ext | ext | ext | ext | ext | ext
triand | | | warn | warn | warn | warn | warn | |
---------+-----+-------+------+-------+------+------+------+--------+-----
wor, | int | ext | ext | ext | ext | ext | ext | ext | ext
trior | | warn | | warn | warn | warn | warn | |
---------+-----+-------+------+-------+------+------+------+--------+-----
trireg | int | ext | ext | ext | ext | ext | ext | ext | ext
| | warn | warn | | | | warn | |
---------+-----+-------+------+-------+------+------+------+--------+-----
tri0 | int | ext | ext | int | ext | ext | ext | ext | ext
| | warn | warn | | | warn | warn | |
---------+-----+-------+------+-------+------+------+------+--------+-----
tri1 | int | ext | ext | int | ext | ext | ext | ext | ext
| | warn | warn | | warn | | warn | |
---------+-----+-------+------+-------+------+------+------+--------+-----
uwire | int | int | int | int | int | int | ext | ext | ext
| | warn | warn | warn | warn | warn | | |
---------+-----+-------+------+-------+------+------+------+--------+-----
supply0 | int | int | int | int | int | int | int | ext | ext
| | | | | | | | | warn
---------+-----+-------+------+-------+------+------+------+--------+-----
supply1 | int | int | int | int | int | int | int | ext | ext
| | | | | | | | warn |
--------------------------------------------------------------------------
KEY:
ext = The external net type is used
int = The internal net type is used
warn = A warning is issued
----------------------------------------------------------------------------
----------------------------------------------------------------------------
19.2 `default_nettype
In Syntax 19-1, CHANGE
trior|trireg|none
TO
trior|trireg|uwire|none
----------------------------------------------------------------------------
18.2.3.8 $var
AFTER THE NUMBERED LIST, ADD THE FOLLOWING PARAGRAPH:
In the $var section, a net of net type uwire shall have a variable type
of wire.
----------------------------------------------------------------------------
Annex G: vpi_user.h
AFTER:
#define vpiNone 12 /* no default net type (1364-2000) */
ADD:
#define vpiUwire 13 /* unresolved wire net (1364-2005) */
----------------------------------------------------------------------------
Annex B
ADD "uwire" to list of keywords.
- Next message: Shalom.Bresticker@freescale.com: "Re: Encryption proposal"
- Previous message: Steven Sharp: "Re: Corrected proposal for uwire"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
This archive was generated by hypermail 2.1.4
: Tue Nov 30 2004 - 07:58:15 PST
and
sponsored by Boyd Technology, Inc.