[sv-bc] SV-42-23 question and clarification


Subject: [sv-bc] SV-42-23 question and clarification
From: Francoise Martinolle (fm@cadence.com)
Date: Thu Mar 06 2003 - 14:07:55 PST


Dave,

When replacing all the rules page 59 and 60 of SV 3.0 for implicit .name
with:

A *.name* port connection is semantically equivalent to a *.name(name)*
port connection with the following exceptions:
— The identifier referenced by *.name* shall not create an implicit wire
declaration.
— It shall be an error if a *.name* port connection would create an
implicit cast. This includes truncation or padding.
"

Are we suppressing all the rules that implicit .name port connections
cannot be used
in the same instantiation with with .*, and with positional port
connections and may be used with named port connections.
(the last 4 to 7 th rules page 60 and 61)?
or are these rules also included in the named port connections semantic rules?

or there is no such restrictions at all?
Francoise
        '



This archive was generated by hypermail 2b28 : Thu Mar 06 2003 - 14:10:25 PST