Subject: [sv-cc] RE: Version 2 of DPI LRM
From: Warmke, Doug (doug_warmke@mentorg.com)
Date: Tue Mar 11 2003 - 13:59:23 PST
Andrzej,
Will you be able to incorporate John's comments into the LRM drafts?
If you want me to take another pass at things, just send me on the
documents and let me know what you would like me to do.
Thanks and regards,
Doug
> -----Original Message-----
> From: Stickley, John
>
> Doug,
>
> Excellent job on the SV_layer document. It is shaping
> up quite nicely.
>
> Here's my minor feedback.
>
> More to follow on other docs.
>
> ------------------------------------------------------
> Section 1.3.1
>
> Remove lingering reference to non-blocking. Andrzej had
> already done this but one fell through the cracks.
>
> Second sentence should be reworded as,
>
> "External functions shall complete their execution ..."
>
> ------------------------------------------------------
> Section 1.4 - Examples of extern declarations
>
> 5th example at the top of page 5. You have two examples
> on one line. Insert a newline between the newQueue()
> and newElem() declarations.
>
> ------------------------------------------------------
> Section 1.4.3
>
> Andrzej had changed the function return types to allow
> 64 bit packed arrays at my request. However it is likely
> that we only want to do this if we change the basic
> data type to represent packed array logic from
> svBitVec32 to svBitVec64 (and svLogicVec64 for 4-state).
> I think we should seriously consider doing this in the
> C layer. But, if we don't then we should go back to
> allowing only 32 bit packed arrays as function return
> types for consistency.
>
> ------------------------------------------------------
> Section 1.7
>
> 2nd from last sentence on page 9:
>
> "cname is optional here, it defaults to fname (for example,
> for functions defined in the $root scope)."
>
> I'm not sure what is in parentheses has anything to do with
> cname defaulting to fname. Why is it in here ? I suggest we remove it.
>
> ------------------------------------------------------
> Section 1.7 Examples at end of section.
>
> I suggest making one of these examples use an aliased cname.
>
> I would also show module scope context here to illustrate
> what is being said in the comments. May I suggest something like this:
>
> export "DPI" global_func; // export decl. and global_func
> defined in $root void global_func(args ...) begin
> ...
> end
>
> module bar();
> export "DPI" Cfoo=foo; // export decl. and foo defined
> in same scope
> void foo(args ...) begin
> ....
> end
> endmodule
>
> Warmke, Doug wrote:
> > Team,
> >
> > I can't stand waiting around for the SV-CC reflector to
> finally send
> > you my LRM edits. So here they are, addressed individually to the
> > committee members who have been actively involved in the debates (I
> > calculated this list by looking at emails, and looking at
> who voted on
> > Joao's proposal.) Hopefully I didn't forget anyone, and hopefully I
> > can get these files out on the main reflector soon.
> >
> > Swapnajit,
> >
> > Can you please find out the limit for sending around files? For big
> > files, is there any kind of ftp site or alternative to email
> > available?
> >
> > Andrzej,
> >
> > Could you please confirm that you received the Frame
> sources for these
> > documents? (They might make more sense after you read my
> introductory
> > email which was swallowed by the reflector along with the .pdf
> > attachments...)
> >
> > Thanks and regards,
> > Doug
> >
> >
> >
>
> -- 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 : Tue Mar 11 2003 - 14:00:57 PST