Wednesday, December 03, 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: E Gates
Posting to forums is available to community members only.
Login or Register
Rate this topic:
   
Author Messages
broesicke
Posts: 2
Online: User is Offline
12/06/2007 7:05 AM  
After the mapping phase of an RTL to Gate compare I see compare points that are of type 'E' in the RTL, what are these points? The doc explains that these are TIE-E gates but I'm not exactly sure what this is.
croy
Posts: 54
Online: User is Offline
12/13/2007 7:27 PM  
Hi

E gates are how we model X's in the revised. You shouldn't be seeing them in the RTL since RTL should be read in as the golden design.

The default settings in Conformal are:

set x conversion DC -golden
set x conversion E -revised

Which means:

golden revised result
X X or 0 or 1 pass
0 0 pass
1 1 pass
0 1 or X FAIL
1 0 or X FAIL

If you want it more strict, where there is requirement that the don't-care spaces be the same in both designs, you can use:

set x conversion E -both

golden revised result
X X pass
X 0 or 1 FAIL
0 0 pass
1 1 pass
0 1 or X FAIL
1 0 or X FAIL

This would be used, sometimes, for RTL-RTL. Not for RTL-gate nor gate-gate.

A final warning: you better know what you're doing if you use any other settings for 'set x conversion'. Same warning applies to 'set undriven signal'. You can make the tool too loose very easily.

Chrystian
Posting to forums is available to community members only.
Login or Register


ActiveForums 3.6
     
Copyright 2006 Cadence Design Systems, Inc.