Sunday, October 12, 2008     Register | Login | Search | Contact Us
     
   
     
     

Many of you already received communications about the move of the Cadence user community into cadence.com. And many of you have already joined, with over 4000 registrations in the first two weeks.

The new Cadence Community enhances the ability of Cadence users to connect and collaborate. In addition to moving the community into cadence.com -- enabling single sign-on for community, Sourcelink and Cadence events -- the new site is organized around nine technology segments, giving you easy access to product information, training, forums and blogs. Some of the new features include:
  • Ability to respond to posts via e-mail
  • Technology-specific blogs
  • Latest Web 2.0 social networking capabilities
  • Public profile options
  • Private messaging
  • Friends lists
Visit the new Cadence Community today at www.cadence.com/community and join the discussions!

Registration note: Due to the scope of the enhancements and the new SSO registration system, we were not able to migrate existing cdnusers.org member accounts. So new registrations are required, but this enables a broader set of functionality we think you'll enjoy.

Forum note: Under the guidance of forum moderators, we have taken the 20+ cdnusers.org forums and consolidated them into 11 forums on the new site. Posts have been brought over so you can leverage that posting history. CDNusers forums will be set to read only starting 7/30, and cdnusers.org will be redirected to the new community on 8/4.

Best regards,
Mike and Tom

Michael A. Catrambone - Steering Committee Chairman
Distinguished Engineer
PCB/Mechanical
UTStarcom, Inc.

Tom Diederich
Cadence Community Manager
Home
Forums
Forums > Functional Verification > Shared code - e Files

Subject: Support floating point in e
Posting to forums is available to community members only.
Login or Register
Rate this topic:
   
Author Messages
stellfox@cadence.com
Posts: 0
Online: User is Offline
4/28/2006 3:00 PM  

This package include basic floating point support for e.  It consists of an e wrapper for c floating point library that needs to be compiled into Specman order to be used.  A makefile is provided to accomplish that.  This is useful for people who want to do operations with real numbers in e.

Attachment: vrst_snfp.zip
astortz
Posts: 1
Online: User is Offline
3/02/2007 10:45 AM  

I'm getting segmentation faults when I try to use this package on a 64 bit platform (64 bit SUSE linux on x86-64). Have you observed this? It's pretty easy to create the seg fault case, here's some example code:

<'
import vrst_snfp;
extend sys {
run() is also {
var fpfn : snfp_floating_point_function_s = new;
fpfn.op1.set("0.0");
fpfn.op2.set("0.1");
fpfn.its_type= FADD;
fpfn.do_fp();
outf("%s",fpfn.res.to_str());
};
};
'>

The seg fault occurs on the outf, when Specman attempts to access the .res field of fpfn. Any help would be much appreciated!
hannes
Posts: 30
Online: User is Offline
3/09/2007 4:55 AM  
This package was created in 2002 when 64-bit machines were not available. It is a shareware, so you can not get R&D support for it. However in Specman 6.1 there is support for floating point numbers (new data type real). The release is scheduled for mid-April, but if you are interested you can try out the beta release. For details, please get directly in touch with me (hannes@cadence.com)

Regards,
-hannes
earthur
Posts: 9
Online: User is Offline
9/20/2007 2:21 PM  
[quote]However in Specman 6.1 there is support for floating point numbers (new data type real). The release is scheduled for mid-April, but if you are interested you can try out the beta release. For details, please get directly in touch with me (hannes@cadence.com) [/quote]

I'm running 6.1.1, the manuals don't support [b]real [/b] but I tested it and it works!

<'
extend sys{

foo : int;
keep foo == 10101;
bar : int;
keep bar == 99;

!foobar : real;

run() is also {
outf("foo %d/bar %d = %f\n", foo, bar, foo/bar);
foobar = foo/bar;
outf("foo %d/bar %d = %f\n", foo, bar, foobar);
};
};

'>


Running the test ...
foo 10101/bar 99 = 102.000000
foo 10101/bar 99 = 102.030303
hannes
Posts: 30
Online: User is Offline
10/30/2007 6:12 AM  
I've written a small macro which implements coverage for the real data type. You can look at the example and have a look in the doc directory for details. Note that coverage of real type will be supported natively in SPMN6.2, however it does not support cross and transition coverage, which is supported by this macro.

-hannes

Attachment: cdn_snams_util.tar.gz
Posting to forums is available to community members only.
Login or Register
Forums > Functional Verification > Shared code - e Files > Support floating point in e


ActiveForums 3.6
     
Copyright 2006 Cadence Design Systems, Inc.