Wednesday, February 08, 2012     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 > Assertion-Based Verification and Formal Analysis

Subject: How to tackle 'Aborted' properties.
Posting to forums is available to community members only.
Login or Register
Rate this topic:
   
Author Messages
bijitm
Posts: 5
Online: User is Offline
4/12/2007 3:35 AM  
I am running a long list of PSL properties through IFV 5.8-s1. A few among them are showing the status as 'Aborted'. When I check the aborted properties with,

"assertion -show -verbose -list", it shows,
"Exception  :  ***unknown***".

I have tried to modify the properties to the simplest form but still they abort. The user manual says that an 'abort' can happen if there is something wrong with the tool or there is any memory or disk space issue. I have enough disk space and memory to run the properties. How can I gather more information before calling Cadence support?
weberrm
Posts: 0
Online: User is Offline
4/12/2007 5:02 AM  
A couple of other things to consider...

Go through the HAL checks and clean up where necessary.

Use the report -fanin tool to find common FFs and inputs in the COI of the properties that are aborting. This may help point you to the logic that is causing the problem.

Look for logic loops in your design. These may be easier to find if you can simulate your design.

I'm sorry that I can't offer much more help. Good luck.
jb
Posts: 16
Online: User is Offline
4/12/2007 8:20 AM  
In addition, please download the latest version of IFV. The current version is IFV 5.8-s3 (released recently) and just make sure the issue is not resolved in the latest release.
ssa
Posts: 4
Online: User is Offline
5/08/2007 8:28 AM  

You might also want to check your setup/environment.

There is this utility called ifv_check
Try running it.
Posting to forums is available to community members only.
Login or Register


ActiveForums 3.6
     
Copyright 2006 Cadence Design Systems, Inc.