A Community of Verification Professionals

Create an Account	Home | Calendar | Downloads | FAQ | Links | Site Admin | Your Account
Login Nickname Password Security Code: Type Security Code BACKWARD Don't have an account yet? You can create one. As a registered user you have some advantages like theme manager, comments configuration and post comments with your name. Modules · Home · Downloads · FAQ · Feedback · Recommend Us · Web Links · Your Account Advertising Who's Online There are currently, 52 guest(s) and 1 member(s) that are online. You are Anonymous user. You can register for free by clicking here    Verification Guild: Forums  Forum FAQ   Search   Usergroups   Profile  Digest    Log in  svBitVecVal as reference in SV LRM 1800-2009          Verification Guild Forum Index -> Main View previous topic :: View next topic   Author Message shwink Newbie Joined: Dec 23, 2011 Posts: 1 Posted: Fri Dec 23, 2011 1:48 am    Post subject: svBitVecVal as reference in SV LRM 1800-2009 Hello All, Going through the SV LRM 1800-2009, under the section H.7.4 Basic types, The description was as below. The input mode arguments of type byte unsigned and shortint unsigned are not equivalent to bit[7:0] or bit[15:0], respectively, because the former are passed as C types unsigned char and unsigned short and the latter are both passed by reference as svBitVecVal types. A similar lack of equivalence applies to passing such parameters by reference for output and inout modes, e.g., byte unsigned is passed as C type unsigned char* while bit[7:0] is passed by reference as svBitVecVal. my doubt here is the last statement [e.g.] "byte unsigned is passed as C type unsigned char* while bit[7:0] is passed by reference as svBitVecVal" Is it not svBitVecVal* for bit[7:0] ?? Any help in understanding this is appreciated Thanks Back to top Ajeetha Senior Joined: Mar 29, 2004 Posts: 424 Location: Bengaluru, India Posted: Sun Dec 25, 2011 10:32 am    Post subject: Re: svBitVecVal as reference in SV LRM 1800-2009 Hi, shwink wrote: Hello All, Going through the SV LRM 1800-2009, under the section H.7.4 Basic types, [SNIP] my doubt here is the last statement [e.g.] "byte unsigned is passed as C type unsigned char* while bit[7:0] is passed by reference as svBitVecVal" Is it not svBitVecVal* for bit[7:0] ?? Any help in understanding this is appreciated Thanks Sounds to me like a typo error in LRM text, as in another section 8.8 it says: SV LRM wrote: inout and output arguments, with the exception of open arrays, are always passed by reference. Specifically, packed arrays are passed, accordingly, as svBitVecVal* or svLogicVecVal* Perhaps a good Mantis to file and get this fixed in next revision. Ajeetha, CVC www.cvcblr.com/blog _________________ Ajeetha Kumari, CVC Pvt Ltd. http://www.cvcblr.com * A Pragmatic Approach to VMM Adoption http://www.systemverilog.us/ * SystemVerilog Assertions Handbook * Using PSL/Sugar Back to top dave_59 Senior Joined: Jun 22, 2004 Posts: 974 Location: Fremont, CA Posted: Sun Dec 25, 2011 11:10 pm    Post subject: Already fixed in P1800-2012. See http://www.eda.org/svdb/view.php?id=3599 Back to top Display posts from previous: All Posts1 Day7 Days2 Weeks1 Month3 Months6 Months1 Year Oldest FirstNewest First         Verification Guild Forum Index -> Main All times are GMT - 5 Hours Page 1 of 1   Jump to: Select a forum Main----------------MainEDA NewsCommunity Services Networking----------------Looking for a jobLooking for candidates Archives----------------AssertionsCoverageFormalSimulationDesignMiscellaneous Test----------------Test  You cannot post new topics in this forum You cannot reply to topics in this forum You cannot edit your posts in this forum You cannot delete your posts in this forum You cannot vote in polls in this forum Forums ©

Verification Guild © 2006 Janick Bergeron
Web site engine's code is Copyright © 2003 by PHP-Nuke. All Rights Reserved. PHP-Nuke is Free Software released under the GNU/GPL license.
Page Generation: 0.224 Seconds