ISSUE 644

Add Proposal  Add Analysis  Edit Class, Environment, or Release
Number 644
Category errata
Synopsis A.8.2: attributes on system function calls
State open
Class errata-discuss
Arrival-DateDec 23 2004
Originator Shalom Bresticker <Shalom.Bresticker@freescale.com>
Release 2001b
Description
With the addition of math functions, I noticed that system function calls cannot
have attributes in their BNF.

But why not? Might not I want to guide a synthesis tool, for example, how to
synthesize a math function?

Shalom

--
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



Fix

Unknown
Audit-Trail
From: Steven Sharp <sharp@cadence.com>
To: etf-bugs@boyd.com, Shalom.Bresticker@freescale.com
Cc:
Subject: Re: errata/644: A.8.2: attributes on system function calls
Date: Thu, 6 Jan 2005 13:14:03 -0500 (EST)

It seems reasonable. One thing to investigate is whether this could create
an ambiguity about what the attribute is attached to. There are system
functions that have no arguments and therefore don't have parentheses after
the name. Is there any situation where a postfix attribute on a system
function could look like a prefix attribute on what follows the function
call?

The same issue might also arise in SystemVerilog, since it allows Verilog
functions with no parenthesized argument list.

Steven Sharp
sharp@cadence.com

Unformatted



Hosted by Boyd Technology