|
US2012198394A1
|
|
Method For Improving Circuit Design Robustness
|
|
US2011145772A1
|
|
Modular Platform For Integrated Circuit Design Analysis And Verification
|
|
US2010185994A1
|
|
Topological Pattern Matching
|
|
US2010185995A1
|
|
Electrostatic Damage Protection Circuitry Verification
|
|
US2010229133A1
|
|
Property-Based Classification In Electronic Design Automation
|
|
US2010023897A1
|
|
Property-Based Classification In Electronic Design Automation
|
|
US2010023905A1
|
|
Critical Area Deterministic Sampling
|
|
US2008189667A1
|
|
Model-based design verification
|
|
US2009222927A1
|
|
Concealment of Information in Electronic Design Automation
|
|
US2006259978A1
|
|
Secure exchange of information in electronic design automation with license-related key generation
|
