Subject: RE: [sv-cc] still problems with include files
From: Joao Geada (Joao.Geada@synopsys.com)
Date: Thu Apr 24 2003 - 06:58:30 PDT
John,
I believe both of these were addressed in my email title "Final corrections from
sv-cc".
The LRM issue numbers for each were LRM-340 and LRM-341 respectively.
Joao
==============================================================================
Joao Geada, PhD             Principal Engineer                Verif Tech Group
Synopsys, Inc                                              TEL: (508) 263-8083
377 Simarano Drive, Suite 300,                             FAX: (508) 263-8069
Marlboro, MA 01752, USA
==============================================================================
-----Original Message-----
From: owner-sv-cc@eda.org [mailto:owner-sv-cc@eda.org]On Behalf Of
Stickley, John
Sent: Wednesday, April 23, 2003 8:14 PM
To: sv-cc@eda.org
Subject: [sv-cc] still problems with include files
Team,
FYI, as of SV LRM Draft 5,
     typedef void *svScope;
is still missing from the include files.
Similarly the part select function,
     void svPutPartSelectBit(svBitPackedArrRef d, const svBitVec32 s, int i,
                         int w);
is still missing from the include files.
Also the function svGetPartSelectBit() is shown twice - the
second time with a missing last argument and closing paren.
-- johnS
                                                            __
                        ______                             |  \
______________________/      \__                         /    \
                                 \       H  Dome      ___/     |
John Stickley                 E |       a  __    ___/  /       \____
Principal Engineer            l |       l  | \  /
Verification Solutions Group    |       f  |  \/     ____
Mentor Graphics Corp. - MED   C \         --  /     /
17 E. Cedar Place             a  \     __/   /     /
Ramsey, NJ  07446             p  |    /        ___/
                                  |   /        /
mailto:John_Stickley@mentor.com  \           /
Phone: (201)818-2585              \         /
                                    ---------
This archive was generated by hypermail 2b28 : Thu Apr 24 2003 - 07:05:19 PDT