RE: [sv-bc] DataTypes: the reg datatype

From: Rich, Dave <Dave_Rich@mentorg.com>
Date: Thu Nov 04 2004 - 08:28:53 PST

Sorry, by 'Cadence proposals' I meant the number of e-mails recently sent out by Kathy and Steven of Cadence.

What I am suggesting is let's assume the datatype associated with a wire has always 'logic' so that

wire foo;

and

wire <logic> foo;

have equivalent behavior. Working backwards, what effect does the logic type on a wire object, It takes the content (value+strength) of a wire and converts it to the legal values of a logic type when it is used in an expression.

Dave

-----Original Message-----
From: shalom@eagle.msil.sps.mot.com [mailto:shalom@eagle.msil.sps.mot.com] On Behalf Of Shalom.Bresticker@freescale.com
Sent: Thursday, November 04, 2004 7:58 AM
To: Rich, Dave
Cc: sv-bc@eda.org
Subject: Re: [sv-bc] DataTypes: the reg datatype

Dave,

Two comments:

1. There is no proposal 'from Cadence' but rather from the datatypes subgroup, even if its leader is from Cadence.

2. In SV, reg and logic imply variables with a specific resolution behavior different from that of nets.
Nets and regs/logics may have a common value set, but in SV currently, a net and a reg/logic are still very different creatures.

Which is the whole point of the proposal, that new datatypes were invented only for variables, but not for nets.

Shalom

On Thu, 4 Nov 2004, Rich, Dave wrote:

> I feel that there is a big disconnect between the proposals from Cadence and SystemVerilog in that the 'unnamed 0,1,x,z data' type in the Cadence proposal is in deed what SystemVerilog called the 'reg datatype', and created a new name for that datatype, 'logic'. (Sometimes I get the funny feeling that we are debating Creationism versus Evolutionism)
>
> If we define the datatype on wires feature as simply a casting and type equivalence mechanism, then can limit the amount of changes needed to the LRM.
>
>
> Dave
>
>
> David Rich
> Verification Technologist
> Design Verification & Test Division
> Mentor Graphics Corporation
> dave_rich@mentor.com
> Office:   408 487-7206
> Cell:     510 589-2625
>
>

-- 
Shalom Bresticker                        Shalom.Bresticker @freescale.com
Design & Verification Methodology                    Tel: +972 9  9522268
Freescale Semiconductor Israel, Ltd.                 Fax: +972 9  9522890
POB 2208, Herzlia 46120, ISRAEL                     Cell: +972 50 5441478
  
[ ]Freescale Internal Use Only      [ ]Freescale Confidential Proprietary
Received on Thu Nov 4 08:28:57 2004

This archive was generated by hypermail 2.1.8 : Thu Nov 04 2004 - 08:29:16 PST