Subject: [sv-bc] Revised proposal for SV-BC-53
From: Dave Rich (David.Rich@synopsys.com)
Date: Sun Dec 07 2003 - 21:18:27 PST
Here is a revised proposal for SV-BC 53, Array query, type functions,
and type compatibilities.
It includes the typos discussed at last fridays meeting, plus a
clarification on type identity (the fact that it is not needed by the
language)
There was an issue raised about the fact that equivalence was less
strict than what was previously written about ref ports. I confirmed
that this was OK with the implementors and that because VERA did this
concept originally, the text was unnecessarily strict.
I also checked the section of the DPI on prototypes and the text there
is already in looser terms From 26.5.1..."the callee’s formal arguments
are declared in a different language than the caller’s formal arguments;
hence here is no visible relationship
between the two sets of formals. Users are expected to understand all
argument relationships and provide
properly matched types on both sides of the interface."
Dave
-- -- David.Rich@Synopsys.com Technical Marketing Consultant http://www.SystemVerilog.org tele: 650-584-4026 cell: 510-589-2625
This archive was generated by hypermail 2b28 : Sun Dec 07 2003 - 21:19:56 PST