Thursday, November 20, 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: Incomprehensible warning when running "write hier_compare dofile"
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/12/2007 4:58 AM  
Hi

When I ran write hier_compare command, I found the tool firing the following warning. May I know the reason for such a behavior. 

Warning: Golden or Revised have modules with number of instances less than 50. Skip it for hierarchical comparison

Thanks
Prasad.
Stalker
Posts: 24
Online: User is Offline
3/12/2007 5:03 AM  
In order to decrease the number of sub-blocks to comapre Conformal has a threshold.
All module with number of primitives less than the treshold are flattened and the "father" module is compared. This is bad syntax of the message, actualy nothing is skipped, don't worry :)
Maxim R.
anssprasad
Posts: 19
Online: User is Offline
3/12/2007 5:16 AM  
Hi Maxim,

According what I see in the dofile generated by the tool as a result of the command I used: -

write hier_compare dofile abrisccore3.one -module abrisccore3 abrisccore3 -hier -noexact_pin_match

I don't find the modules it listed in the transcript following this warning. I am afraid they are really being skipped from comparison.

Thanks
Prasad.
Stalker
Posts: 24
Online: User is Offline
3/12/2007 5:31 AM  
Hi Prasad,
These modules are not written into dofile, but the mapped points of these modules are compared together with the mapped points of the "parent" module - the one which instantiate the "skipped" module.
Again, no key point is skipped from comparrison.
You can send this warning to Cadence support and ask them.

Regards,
Maxim R.
croy
Posts: 54
Online: User is Offline
3/12/2007 5:49 AM  
Hi Prasad

Maxim is correct: the module simply gets compared as part of its parent. Saying 'skipped' is bad syntax and there's been internal discussions about changing that.

The default threshold is 50 but that can be changed using the -threshold switch. There's usually no reason to do that except for library qualification, where you do want verification to be run, separately, on every single cell.

Chrystian
anssprasad
Posts: 19
Online: User is Offline
3/12/2007 5:50 AM  
Thanks Maxim,

I got you. But, is there any way to tell the tool not to bother itself about simplifying my work!!

Prasad.
anssprasad
Posts: 19
Online: User is Offline
3/12/2007 5:53 AM  

Thanks Chrystian, I think that dispels all my doubts.
Posting to forums is available to community members only.
Login or Register
Forums > Digital IC > Formal verification > Incomprehensible warning when running "write hier_compare dofile"


ActiveForums 3.6
     
Copyright 2006 Cadence Design Systems, Inc.