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: Unmapped point (not-mapped) issue
Posting to forums is available to community members only.
Login or Register
Rate this topic:
   
Author Messages
sreenivasaraov
Posts: 6
Online: User is Offline
2/12/2008 3:23 AM  
Hi i am using conformal 6.1 version to perforam LEC check.i am using LEC for to comapre golden RTL verses Revised netlist.while doing LEC for some modules i got below issues. Unmapped point (not-mapped): (R) 341094 E /u1_spacc_core/U_spacc_core/U_spacc_ciph_sys/U_ciph_data_buffer/U2_mem_dp_128X64_be/sel0/testram1/ram1/ram0/n984_123𖐨] in similar way i obseved same equal point in Golden RTL also. then i will edit manually using the below option. add mapped points /Revised point /Golden point -noinvert then all unampped points are disapper from my log file. but it is a tedious process if i edit manually that many unmapped with not mapped points. could you please suggest how to avoid this unampped with notmapped points? plz suggest whcih command i need to add my .do file? -Regards sreenivas
nstjohn
Posts: 4
Online: User is Offline
2/12/2008 1:48 PM  
Your mapping issue may be resolved by upgrading to a later version of Conformal. The current version is 7.2 and it has many mapping enhancements. If you have an XL license you can "set analyze option -auto" (new in 7.1) and "set flatten model -seq_constant". This will resolve many modeling issues which can lead to mapping problems. Here is an example:

set analyze option -auto
set flatten model -seq_constant
set system mode lec
add compare point -all
compare


-Noel
sreenivasaraov
Posts: 6
Online: User is Offline
2/12/2008 10:16 PM  
hi thank q Noel. But "set analyze option -auto" option was not supported by 6.1 version.if i add manually this unmapped with not mapped points it is a tedious process.so could you please suggest some other alternative to avoid this unmapped with not mapped points?
jessican
Posts: 3
Online: User is Offline
3/03/2008 6:52 PM  
Hi Sreenivas

the unmapped is E gate. are you certain they are also existing in the golden (RTL side)? i would think NOT since by default, conformal will treat x (don't care) in golden as DC, and revised as E gate, unless you change the setting (set x conversion) However, if they are exactly the same (in name), they should be mapped. Can you also posted the name of the unmapped in the golden?

regards,
Jess
Posting to forums is available to community members only.
Login or Register
Forums > Digital IC > Formal verification > Unmapped point (not-mapped) issue


ActiveForums 3.6
     
Copyright 2006 Cadence Design Systems, Inc.