[sv-ec] Mantis 1330/1742: semantics unclear?

From: Jonathan Bromley <jonathan.bromley_at_.....>
Date: Thu Jan 10 2008 - 03:25:54 PST
hi EC,

I have a problem with the meaning of some of the rules
about virtual interfaces as modified by Mantis 1330.

The following sentence is somewhat opaque:

  It shall be legal to assign to a virtual interface with 
  a modport selected from an interface instance or virtual 
  interface with no modport selected.

The examples towards the end of 24.9 help a little:

  v16_phy = v16; // legal assignment from no selected
                 // modport to selected modport
  v16 = v16_phy; // illegal assignment from selected modport to
                 // no selected modport

but the semantics of "v16_phy = v16;" are poorly specified -
having made the assignment, is access to "v16_phy.something"
restricted by the modport (as per v16_phy's declaration) or 
is it just an access through the interface (as per the actual
contents of v16_phy, a reference to the whole interface)?
I'm guessing it's the former, by analogy with the semantics
of connecting an interface port and to facilitate compile-time
checking of the legality of accesses.

Finally, the comment seems wrong on this part of the examples:

  v32_phy = p32.phy; // legal assignment from no selected modport to
                 // selected modport

Surely "p32.phy" indeed *has* a selected modport?
-- 
Jonathan Bromley, Consultant

DOULOS - Developing Design Know-how
VHDL * Verilog * SystemC * e * Perl * Tcl/Tk * Project Services

Doulos Ltd. Church Hatch, 22 Market Place, Ringwood, Hampshire, BH24 1AW, UK
Tel: +44 (0)1425 471223                   Email: jonathan.bromley@doulos.com
Fax: +44 (0)1425 471573                           Web: http://www.doulos.com

The contents of this message may contain personal views which 
are not the views of Doulos Ltd., unless specifically stated.

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Thu Jan 10 03:26:31 2008

This archive was generated by hypermail 2.1.8 : Thu Jan 10 2008 - 03:27:17 PST