[sv-dc] Details of Variant C under discussion now..

[Variant C] In 23.3.3, ADD:

An internal atomic net for a port of mode output or input shall only be connected to an external variable whose data type matches the data type of the port or an atomic net whose nettype matches the nettype of the port. If the either the internal or external is not an atomic net, the connection shall be treated as a continuous assignment through the port.

If the port is of mode inout, then both the internal and external connections shall be atomic nets of matching nettypes and they shall be merged into a single simulated net.

In 6.22 Type compatibility add section:
6.22.6 Matching nettype

a) An atomic nettype matches itself and the nettype of atomic nets declared using that nettype within the scope of the nettype type identifier.
b) A simple typedef (or equivalent syntax??) that renames a user-defined atomic nettype(nettype1) matches that user-defined atomic nettype(nettype2) within the scope of the nettype identifier(nettype1).
// if nettypeid1 is a nettype, it creates an alias nettypeid2
                        typedef nettypeid1 nettypeid2;

---
cheers,
Shekar.
-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.