RE: [sv-ac] assertion allowed variables

From: danielm <danielm_at_.....>
Date: Thu Apr 03 2008 - 00:23:59 PDT
ieee: 1800-2005 There is:

Functions that appear in expressions cannot contain output or ref arguments
(const ref are allowed).

it should be?

Functions that appear in expressions cannot contain output, inout or ref
arguments (const ref are allowed).

DANiel

 
  _____  

From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On
Behalf Of danielm
Sent: Thursday, April 03, 2008 9:04 AM
To: 'Seligman, Erik'
Cc: sv-ac@server.eda-stds.org
Subject: RE: [sv-ac] assertion allowed variables


AFAIK to get the 2008 draft i have to pay for it, or  company have to donate
accellera - it is still not clear for me.
The pdf is protected with password so unfortunatelly I cannot check it .
 
 
DANiel

  _____  

From: Seligman, Erik [mailto:erik.seligman@intel.com] 
Sent: Wednesday, April 02, 2008 4:11 PM
To: danielm
Subject: RE: [sv-ac] assertion allowed variables


Hi Daniel-- 
Have you checked the correspondng section of 2008 draft 4?
 

  _____  

From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On
Behalf Of danielm
Sent: Wednesday, April 02, 2008 2:42 AM
To: sv-ac@server.eda-stds.org
Subject: [sv-ac] assertion allowed variables


LRM 1800-2005 says 17.4.2
    "Static variables declared in programs, interfaces, or clocking blocks
can also be accessed."

I see no reason why class static vars should be disallowed so maybe the
sentence should be changed to 

     "Static variables declared in programs, interfaces, clocking blocks, or
classes can also be accessed."

 

Daniel Mlynek


-- 
This message has been scanned for viruses and 
dangerous content by  <http://www.mailscanner.info/> MailScanner, and is 
believed to be clean. 
-- 
This message has been scanned for viruses and 
dangerous content by  <http://www.mailscanner.info/> MailScanner, and is 
believed to be clean. 

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Thu Apr 3 00:24:59 2008

This archive was generated by hypermail 2.1.8 : Thu Apr 03 2008 - 00:25:55 PDT