Wednesday, November 19, 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 > Digital IC > Formal verification

Subject: How to tell conformal that some input combinations do not occur
Posting to forums is available to community members only.
Login or Register
Rate this topic:
   
Author Messages
anssprasad
Posts: 19
Online: User is Offline
3/27/2007 11:50 PM  
Hi

I have a 3bit input signal which is coded such that it does not take the values of 110 and 111. How will I be able to put such a constraint on the input pins in conformal?

Thanks
Prasad.
makkarm
Posts: 9
Online: User is Offline
3/28/2007 5:10 AM  
hi prasad,
this can be done. i suggest you contact support. they
will send you an appnote describing how this can be
done.
-- mm
anssprasad
Posts: 19
Online: User is Offline
4/04/2007 11:55 PM  

Hi Masood,

I tried contacting the support guys, but for some reason they were not ready to resolve the issue. I would try again with them, but if you are having any app notes or any other source which would help me please mail to nss.prasadaddagarla@gdatech.co.in

Thanks

Prasad.
croy
Posts: 54
Online: User is Offline
4/05/2007 6:14 PM  
Hi Prasad

Preventing the first 2 bits from being 11 is good enough in your particular case. For that, use 'add pin constraint zero_one_hot bit2 bit1'. No need to constraint bit0.

Chrystian
anssprasad
Posts: 19
Online: User is Offline
4/05/2007 11:08 PM  
Hi Chrystian,

You are right. I have already employed that with this particular case. But I am curious to know what can be done if such a solution is not available. I am pretty sure that somewhere and somewhen I would need it!

Thanks
Prasad.
croy
Posts: 54
Online: User is Offline
4/09/2007 10:29 AM  
Hi Prasad

On Sourcelink, search for "constraint" under Conformal (do not include Conformal Constraint Designer). Results 1, 2, and 4 are what you are looking for.

Chrystian
anssprasad
Posts: 19
Online: User is Offline
4/10/2007 12:03 AM  
Hi Chrystian,

It was of great help. Thanks.

Prasad.
Posting to forums is available to community members only.
Login or Register
Forums > Digital IC > Formal verification > How to tell conformal that some input combinations do not occur


ActiveForums 3.6
     
Copyright 2006 Cadence Design Systems, Inc.