[sv-cc] oversight in 3.1a draft3 27.4.5 Function result - missing scalars

Subject: [sv-cc] oversight in 3.1a draft3 27.4.5 Function result - missing scalars
From: Andrzej Litwiniuk (Andrzej.Litwiniuk@synopsys.com)
Date: Fri Jan 30 2004 - 10:36:05 PST

• Next message: Duncan, Ralph: "[sv-cc] DPI Task (and Fn) Index, Glossary material"
• Previous message: Michael Rohleder: "[sv-cc] Assertion API - index"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Hi all,

Thanks to Ralph I realized that scalars (bit/logic) are missing as
function result types, see "27.4.5 Function result".
It has been always intended that import DPI functions can return a scalar.
I believe that scalars of type bit/logic/reg were explicitly allowed for
function result in the earlier versions of the dosument. Somehow this is missing
in the draft 3. When and why it got lost, I have no clue.
Note, however, that scalars are explicitly allowed in "27.4.6 Types of formal
arguments":
        " - scalar values of type bit and logic"

I propose to add the above line also to 27.4.5.
IMHO this is an errata rather than a change in the accepted language.

It would also no hurt to say explicitly that 'reg' and 'logic' are semantically
equivalent and can be used interchangeably in import DPI declarations.
This will merely restate what has been already said and is buried down elsehwere
in the LRM.

Regards,
Andrzej

• Next message: Duncan, Ralph: "[sv-cc] DPI Task (and Fn) Index, Glossary material"
• Previous message: Michael Rohleder: "[sv-cc] Assertion API - index"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b28 : Fri Jan 30 2004 - 10:41:18 PST