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

Jonathan,

See http://www.eda-stds.org/sv-ec/hm/4341.html .

It seems that nothing was done about it.

Shalom
 

> -----Original Message-----
> From: owner-sv-ec@server.eda.org 
> [mailto:owner-sv-ec@server.eda.org] On Behalf Of Jonathan Bromley
> Sent: Thursday, January 10, 2008 1:26 PM
> To: sv-ec@server.eda.org
> Subject: [sv-ec] Mantis 1330/1742: semantics unclear?
> 
> 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.
> 
> 
> 
---------------------------------------------------------------------
Intel Israel (74) Limited

This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.


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