Re: Hierarchical reference questions

Hm, sounds pretty good to me, we'd just assume we could could add a 4.17 section for 'analog' type.. 
explaining that the return value would be the same as if an interface element was used (and that one would be inserted, 
IF one existed for with the input discipline of the actual net, and output discipline of the cast 
.. ok, so we'd have to write a NEW section on Discipline casting.. 

but does that mean I could 
reg word2;
word2 =   logic_ss'(top.dut.cpu.control_reg_bank.word_out[2]);
integer adcval;
adcval =  int'( logic_ss'(top.dut.a2dout)); // verilog doesn't strictly need the integer casting from logical type.. - or is that the bit stream type?
// maybe I'd make a signal of TWO of these, one for the output of the Inphase ADC and the other for the Quadrature ADC .. 

I gotta get back to work before I can go home for the night.. 
I'll try and tune in after the holidays, in the new year.
My best wishes that yours are Happy and prosperous (respectively......)



Jonathan David
j.david@ieee.org
jb_david@yahoo.com
http://ieee-jbdavid.blogspot.com
Mobile 408 390 2425
Work:
jbdavid@scintera.com
http://www.scintera.com
408 200-7024

----- Original Message ----
From: Martin O'Leary <oleary@cadence.com>
To: Jonathan David <jb_david@yahoo.com>; Graham Helwig <graham.helwig@astc-design.com>; Verilog-AMS Reflector <verilog-ams@eda.org>
Sent: Thursday, December 7, 2006 10:06:21 PM
Subject: RE: Hierarchical reference questions

FYI

Here is something from section 4.14 "Casting" of SystemVerilog that
talks about how casting is done in that language.

> A data type can be changed by using a cast ( ' ) operation. In a
static cast, the expression to be cast
> shall be enclosed in parentheses that are prefixed with the casting
type and an apostrophe. If the
> expression is assignment
> compatible with the casting type, then the cast shall return the value
that a variable of the casting
> type would hold after being assigned the expression. If the expression
is not assignment compatible
> with the casting type, then if the casting type is an enumerated type,
the behavior shall be as
> described as in 4.15, and if the casting type is a bit-stream type,
the behavior shall be as
> described in 4.16.

Here is an example of how a real expression is cast to an int.

> int'(2.0 * 3.0) 

Thanks,
--Martin

-----Original Message-----
From: owner-verilog-ams@eda.org [mailto:owner-verilog-ams@eda.org] On
Behalf Of Jonathan David
Sent: Thursday, December 07, 2006 9:55 PM
To: Graham Helwig; Verilog-AMS Reflector
Subject: Re: Hierarchical reference questions

I'll propose that we add a keyword "useas"

useas ''discipline_name'' hier.net.reference.to.net;

with the "useas" declaration, the net would not Actually be coerced to
this discipline, we'd get an interface element instead.. 

One idea from tonights meeting.


 
Jonathan David
j.david@ieee.org
jb_david@yahoo.com
http://ieee-jbdavid.blogspot.com
Mobile 408 390 2425
Work:
jbdavid@scintera.com
http://www.scintera.com
408 200-7024

----- Original Message ----
From: Graham Helwig <graham.helwig@astc-design.com>
To: Verilog-AMS Reflector <verilog-ams@eda.org>
Sent: Wednesday, December 6, 2006 11:46:38 PM
Subject: Hierarchical reference questions

Hello,

When simulating large mixed-signal design (containing transistors and
gates) I have had the need to hierarchically reference an implicit net
with the design. Also the resolved domain of the net is not known and
even if it is known it may change from one simulation to the next.

I may of missed in the LRM, but is hierarchical referencing of an
implicit nets allowed in the language?

If it is, then does the net need to be coerced to the same domain as the
probe or does discipline resolution and ACMI resolves handle the
resolution of the implicit net including any hierarchical references to
that net?

For example:

    myDesign system(.....);
    electrical system.inst.inst.net;  // is this required?
    logic system.inst.net;            // is this required?
    analog $display("Value is %g.", V(system.inst.inst.net));
    initial $display("Value is %b.", system.inst.net);

Regards
Graham



--
==========================================================
Graham Helwig
AMS Verification
Australian Semiconductor Technology Company (ASTC) Pty Ltd

Location: 76 Waymouth St, Adelaide, SA, 5000, Australia
Phone     +61-8-82312782
Moblie:   +61-4-03395909 
Email:    graham.helwig@astc-design.com
Web:      www.astc-design.com
==========================================================