Thursday, January 08, 2009     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 get correct fanin information by IFV for a property?
Posting to forums is available to community members only.
Login or Register
Rate this topic:
   
Author Messages
chirag
Posts: 3
Online: User is Offline
7/16/2008 1:34 AM  
Hi, I want to see a active fanin cone for my properties. By Active, I mean, I do not want to see FFs in fanin which are constant. FFs can be constant because of some constant pin constraints or they may be constant because of my input constraints written in OVL/SVA. Actually, I have added some input constraints (not of pin constant constraint type), which will make sure that some of the internal state registers will not toggle in the process of driving proof for the property. I am hoping to get fanin cone details which will just have FFs which are changing their states and effecting the proof. When I do "report -ff -constant" , it does report FFs which are directly mapped to some constant input pins. -Thanks - Chirag
TAM
Posts: 56
Online: User is Offline
7/17/2008 10:25 AM  
I've seen several emails go flying around on this issue and I think that a field AE has talked to you about it. As you've seen, there is no report command that will distinguish between pins/ffs which can change and those which are not physically assigned to a constant value, but are actually constrained to be a constant. IFV will report pins/ffs assigned to a constant, but those that a constrained to a constant will have to be found using other methods. For example, a pass or a fail on a cover statement that looks for both a 1 and a 0 value will tell you if your constraints have served to fix a given pin or ff.
chirag
Posts: 3
Online: User is Offline
7/17/2008 9:47 PM  
Hi TAM,

Thanks, I was trying to make sure that I am not missing anything as I am pretty young with IFV. I just hope, may be in future releases, cadence will add some switch/command to give more information about functional fanin along with current structural fanin.

Thanks,
- Chirag
Posting to forums is available to community members only.
Login or Register
Forums > Functional Verification > Assertion-Based Verification and Formal Analysis > How to get correct fanin information by IFV for a property?


ActiveForums 3.6
     
Copyright 2006 Cadence Design Systems, Inc.