Alliances
Verification Alliance program
VA members by expertise
Plan-to-Closure Methodology-Qualified VA members
VA members by location
VA members A-Z
Join Cadence Verification Alliance
Verification IP catalog
Power Forward Initiative
Foundry program
OpenChoice program
Connections
Channel partner program
ASIC program
Standards and Languages
Industry memberships
Plan-to-Closure Methodology-Qualified
Verification Alliance Members


A growing number of IncisiveŽ Plan-to-Closure Methodology Verification Alliance members have demonstrated expertise in one or more of the methodology's four key elements: verification planning and management, the Universal Reuse Methodology (URM), assertion-based and formal verification, and/or system-level verification.

Cadence has identified this list of well-qualified Verification Alliance members to help speed your implementation of the Incisive Plan-to-Closure Methodology. Implementation services, training and reusable verification IP from these third-party companies is available independently or through the Cadence services organization.

  Planning and Management Universal Reuse Assertion Based and Formal System Level
1 Active Technology x x   x
2 AMIQ Consulting S.R.L. x x    
3 Cadence Engineering Services x x x x
4 Correct Designs x x    
5 Doulos x x    
6 eInfochips x x    
7 First Pass Engineering x      
8 Globetech Solutions x x   x
9 HDL Design House x x x x
10 Ingot Systems Inc.   x x  
11 Intelliprop Inc. x x    
12 Oski Technology, Inc.     x  
13 Paradigm Works x x    
14 Posedge Software Inc.       x
15 QThink x   x  
16 Silicon Interfaces x x x  
17 SiMantis Inc. x x    
18 StellarIP x x    
19 TrustIC   x    
20 Verilab x x    
21 XtremeEDA x x    
22 Yogitech SPA x x   x