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: poor performance of LEC compile -parallel
Posting to forums is available to community members only.
Login or Register
Rate this topic:
   
Author Messages
tom.tseng
Posts: 1
Online: User is Offline
11/29/2007 11:56 PM  

LEC spend many time to compare these "difficult" compare points of my case. And, I always get
some abort points.   I try to use "compare -parallel machine.list"  command to speed up run time.
I add 3 machines in machine.list file.  I am surprise to find the run time of "compare -parallel"
 is 3x -5x slower than "compile" only.  I parpared a small case to local AE. The AE saw  similar
 result but LEC RD said that is case-by-case.  I don't like the excuse. No explain, just case-by-case.  Anyone can tell why ?

Tom Tseng
makkarm
Posts: 9
Online: User is Offline
12/15/2007 9:06 AM  
Hi tt,
Parallel processing is a subject of much discussion in software engineering. Most parallel processing algorithms work through a system called MPI or Message Passing Interface. What it means is that when slave processors take on a computation there is message passing happening between the master and the slave or between multiple slaves. Sometimes the message passing could become the bottleneck and the parallel task could be slower than the standalone processing. Therefore when LEC R&D said that this was case-by-case, it was most likely correct. This is especially so when you have a smaller testcase because the message passing will take more time than the actual processing time. Also there are other factors such as speed of the communications backbone between processors etc. to worry about.

Nonetheless, are you still facing aborts in the standalone run? If so, file a support request and get their help to solve that abort.
-- mm
Posting to forums is available to community members only.
Login or Register
Forums > Digital IC > Formal verification > poor performance of LEC compile -parallel


ActiveForums 3.6
     
Copyright 2006 Cadence Design Systems, Inc.