ATRENTA, INC

Organization

SAN JOSE, CA, US

Business Address
2077 GATEWAY PLACE SUITE 300 SAN JOSE CA 95110 4084533333
Mailing Address
2077 GATEWAY PLACE SUITE 300 SAN JOSE CA 95110
State Location
CA
State of Incorporation
DE

Organizations

Please log in for detailed analytics

Patents Grantslast 30 patents

Information Patent Grant
Systems, methods, and media for assertion-based verification of dev...
- Patent number 9,135,382
- Issue date Sep 15, 2015
- Atrenta, Inc.
- Yuan Lu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for strengthening of a circuit element to reduce...
- Patent number 8,984,469
- Issue date Mar 17, 2015
- Atrenta, Inc.
- Solaiman Rahim
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for a hybrid clock domain crossing verification
- Patent number 8,984,457
- Issue date Mar 17, 2015
- Atrenta, Inc.
- Mohamed Shaker Sarwary
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for altering circuit design hierarchy to optimize...
- Patent number 8,930,863
- Issue date Jan 6, 2015
- Atrenta, Inc.
- Anshuman Nayak
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for measuring assertion density in a system of verifying int...
- Patent number 8,881,075
- Issue date Nov 4, 2014
- Atrenta, Inc.
- Yuan Lu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Characterization based buffering and sizing for system performance...
- Patent number 8,863,058
- Issue date Oct 14, 2014
- Atrenta, Inc.
- Anup Nagrath
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for metastability verification of circuits of an...
- Patent number 8,856,706
- Issue date Oct 7, 2014
- Atrenta, Inc.
- Maher Mneimneh
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method of global design closure at top level and driving of downstr...
- Patent number 8,839,171
- Issue date Sep 16, 2014
- Atrenta, Inc.
- Ravi Varadarajan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for inferring higher level descriptions from RTL...
- Patent number 8,813,003
- Issue date Aug 19, 2014
- Atrenta, Inc.
- Anshuman Nayak
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and methods for reasonable functional verification of an int...
- Patent number 8,806,401
- Issue date Aug 12, 2014
- Atrenta, Inc.
- Mohamad Shaker Sarwary
- G01 - MEASURING TESTING
Information Patent Grant
Computer system for generating an integrated and unified view of IP...
- Patent number 8,788,993
- Issue date Jul 22, 2014
- Atrenta, Inc.
- Sridhar Gangadharan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Efficient method to analyze RTL structures that cause physical impl...
- Patent number 8,782,582
- Issue date Jul 15, 2014
- Atrenta, Inc.
- Jitendra Gupta
- Y02 - TECHNOLOGIES OR APPLICATIONS FOR MITIGATION OR ADAPTATION AGAINST CLIMA...
Information Patent Grant
Systems and methods for generating a higher level description of a...
- Patent number 8,782,587
- Issue date Jul 15, 2014
- Atrenta, Inc.
- Anshuman Nayak
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Computer-aided design system and methods thereof for merging design...
- Patent number 8,775,989
- Issue date Jul 8, 2014
- Atrenta, Inc.
- Sridhar Gangadharan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and system thereof for optimization of power consumption of...
- Patent number 8,756,466
- Issue date Jun 17, 2014
- Atrenta, Inc.
- David Allen
- G01 - MEASURING TESTING
Information Patent Grant
Efficient apparatus and method for analysis of RTL structures that...
- Patent number 8,745,567
- Issue date Jun 3, 2014
- Atrenta, Inc.
- Ravi Varadrajan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for large multiplexer identification and creation...
- Patent number 8,739,087
- Issue date May 27, 2014
- Atrenta, Inc.
- Tien-Chien Lee
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for creating physical connections in 3D integrated circuits
- Patent number 8,732,647
- Issue date May 20, 2014
- Atrenta, Inc.
- Lenuta Georgeta Claudia Rusu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Sequential clock gating using net activity and xor technique on sem...
- Patent number 8,677,295
- Issue date Mar 18, 2014
- Atrenta, Inc.
- Solaiman Rahim
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and methods for inferring higher level descriptions from RTL...
- Patent number 8,656,335
- Issue date Feb 18, 2014
- Atrenta, Inc.
- Anshuman Nayak
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Sequential clock gating using net activity and XOR technique on sem...
- Patent number 8,656,326
- Issue date Feb 18, 2014
- Atrenta, Inc.
- Solaiman Rahim
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for abstraction of a circuit portion of an integr...
- Patent number 8,656,328
- Issue date Feb 18, 2014
- Atrenta, Inc.
- Mohamed Shaker Sarwary
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for strengthening of a circuit element to reduce...
- Patent number 8,635,578
- Issue date Jan 21, 2014
- Atrenta, Inc.
- Solaiman Rahim
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Hierarchical bottom-up clock domain crossing verification
- Patent number 8,607,173
- Issue date Dec 10, 2013
- Atrenta, Inc.
- Mohamed Shaker Sarwary
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for inferring higher level descriptions from RTL...
- Patent number 8,589,835
- Issue date Nov 19, 2013
- Atrenta, Inc.
- Anshuman Nayak
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Apparatus and method thereof for hybrid timing exception verificati...
- Patent number 8,560,988
- Issue date Oct 15, 2013
- Atrenta, Inc.
- Mohamed Shaker Sarwary
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for generating an integrated and unified view of IP-cores fo...
- Patent number 8,533,647
- Issue date Sep 10, 2013
- Atrenta, Inc.
- Sridhar Gangadharan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for metastability verification of circuits of an...
- Patent number 8,448,111
- Issue date May 21, 2013
- Atrenta, Inc.
- Maher Mneimneh
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and system thereof for optimization of power consumption of...
- Patent number 8,423,843
- Issue date Apr 16, 2013
- Atrenta, Inc.
- David Allen
- G01 - MEASURING TESTING
Information Patent Grant
Method and system for equivalence checking
- Patent number 8,285,527
- Issue date Oct 9, 2012
- Atrenta, Inc.
- Solaiman Rahim
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
SYSTEM AND METHOD FOR VIEWING AND MODIFYING CONFIGURABLE RTL MODULES
- Publication number 20150379176
- Publication date Dec 31, 2015
- ATRENTA, INC.
- Anshuman Nayak
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR GRADING AND SELECTING SIMULATION TESTS USING...
- Publication number 20150379186
- Publication date Dec 31, 2015
- ATRENTA, INC.
- Yong Liu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR REDUCING POWER OF A CIRCUIT USING CRITICAL SI...
- Publication number 20150356222
- Publication date Dec 10, 2015
- ATRENTA, INC.
- Solaiman Rahim
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD AND APPARATUS USING FORMAL METHODS FOR CHECKING GENERATED-CL...
- Publication number 20150234959
- Publication date Aug 20, 2015
- ATRENTA, INC.
- Sridhar Gangadharan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR ABSTRACTION OF A CIRCUIT PORTION OF AN INTEGR...
- Publication number 20150234973
- Publication date Aug 20, 2015
- ATRENTA, INC.
- Mohamed Shaker Sarwary
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SEQUENTIAL CLOCK GATING USING NET ACTIVITY AND XOR TECHNIQUE ON SEM...
- Publication number 20150143307
- Publication date May 21, 2015
- ATRENTA, INC.
- Solaiman Rahim
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD OF GLOBAL DESIGN CLOSURE AT TOP LEVEL AND DRIVING OF DOWNSTR...
- Publication number 20140298281
- Publication date Oct 2, 2014
- ATRENTA, INC.
- Ravi Varadarajan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR A HYBRID CLOCK DOMAIN CROSSING VERIFICATION
- Publication number 20140282321
- Publication date Sep 18, 2014
- ATRENTA, INC.
- Mohamed Shaker Sarwary
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR ALTERING CIRCUIT DESIGN HIERARCHY TO OPTIMIZE...
- Publication number 20140282338
- Publication date Sep 18, 2014
- ATRENTA, INC.
- Anshuman Nayak
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR FILTRATION OF ERROR REPORTS RESPECTIVE OF STA...
- Publication number 20140282322
- Publication date Sep 18, 2014
- ATRENTA, INC.
- Mohamed Shaker Sarwary
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR STRENGTHENING OF A CIRCUIT ELEMENT TO REDUCE...
- Publication number 20140282347
- Publication date Sep 18, 2014
- ATRENTA, INC.
- Solaiman Rahim
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD FOR MEASURING ASSERTION DENSITY IN A SYSTEM OF VERIFYING INT...
- Publication number 20140250414
- Publication date Sep 4, 2014
- ATRENTA, INC.
- Yuan Lu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
COMPUTER SYSTEM FOR GENERATING AN INTEGRATED AND UNIFIED VIEW OF IP...
- Publication number 20140101630
- Publication date Apr 10, 2014
- ATRENTA, INC.
- Sridhar Gangadharan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CHARACTERIZATION BASED BUFFERING AND SIZING FOR SYSTEM PERFORMANCE...
- Publication number 20140089879
- Publication date Mar 27, 2014
- ATRENTA, INC.
- Anup NAGRATH
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR INFERRING HIGHER LEVEL DESCRIPTIONS FROM RTL...
- Publication number 20140047399
- Publication date Feb 13, 2014
- ATRENTA, INC.
- Anshuman NAYAK
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
APPARATUS AND METHOD THEREOF FOR HYBRID TIMING EXCEPTION VERIFICATI...
- Publication number 20140040841
- Publication date Feb 6, 2014
- ATRENTA, INC.
- Mohamed Shaker SARWARY
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEMS AND METHODS FOR GENERATING A HIGHER LEVEL DESCRIPTION OF A...
- Publication number 20140033155
- Publication date Jan 30, 2014
- ATRENTA, INC.
- Anshuman NAYAK
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHODS FOR INFERRING HIGHER LEVEL DESCRIPTIONS FROM RTL...
- Publication number 20130290917
- Publication date Oct 31, 2013
- ATRENTA, INC.
- Anshuman NAYAK
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR METASTABILITY VERIFICATION OF CIRCUITS OF AN...
- Publication number 20130246989
- Publication date Sep 19, 2013
- ATRENTA, INC.
- Maher MNEIMNEH
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
HIERARCHICAL BOTTOM-UP CLOCK DOMAIN CROSSING VERIFICATION
- Publication number 20130239080
- Publication date Sep 12, 2013
- ATRENTA, INC.
- Mohamed Shaker SARWARY
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD AND SYSTEM THEREOF FOR OPTIMIZATION OF POWER CONSUMPTION OF...
- Publication number 20130212545
- Publication date Aug 15, 2013
- ATRENTA, INC.
- David Allen
- G01 - MEASURING TESTING
Information Patent Application
SYSTEM AND METHOD FOR INFERRING HIGHER LEVEL DESCRIPTIONS FROM RTI...
- Publication number 20130185682
- Publication date Jul 18, 2013
- ATRENTA, INC.
- Anshuman NAYAK
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
COMPUTER-AIDED DESIGN SYSTEM AND METHODS THEREOF FOR MERGING DESIGN...
- Publication number 20130014068
- Publication date Jan 10, 2013
- ATRENTA, INC.
- Sridhar GANGADHARAN
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR METASTABILITY VERIFICATION OF CIRCUITS OF AN...
- Publication number 20120180015
- Publication date Jul 12, 2012
- ATRENTA, INC.
- Maher MNEIMNEH
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
APPARATUS AND METHOD THEREOF FOR HYBRID TIMING EXCEPTION VERIFICATI...
- Publication number 20120042294
- Publication date Feb 16, 2012
- ATRENTA, INC.
- Mohamed Shaker SARWARY
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD AND SYSTEM FOR EQUIVALENCE CHECKING
- Publication number 20110288825
- Publication date Nov 24, 2011
- ATRENTA, INC.
- Solaiman RAHIM
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD AND SYSTEM THEREOF FOR OPTIMIZATION OF POWER CONSUMPTION OF...
- Publication number 20110099400
- Publication date Apr 28, 2011
- ATRENTA, INC.
- David Allen
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD FOR COMPACTION OF TIMING EXCEPTION PATHS
- Publication number 20100064263
- Publication date Mar 11, 2010
- ATRENTA, INC.
- Solaiman Rahim
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD FOR COMPUTING POWER SAVINGS AND DETERMINING THE PREFERRED CL...
- Publication number 20090044033
- Publication date Feb 12, 2009
- ATRENTA, INC.
- David L. ALLEN
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD FOR CHECKING CONSTRAINTS EQUIVALENCE OF AN INTEGRATED CIRCUI...
- Publication number 20080301598
- Publication date Dec 4, 2008
- ATRENTA, INC.
- Sridhar Gangadharan
- G06 - COMPUTING CALCULATING COUNTING

Trademarklast 30 trademarks

Information Trademark
86261440 - MARS
- Serial number 86261440
- Registration number 4682935
- Filing date Apr 24, 2014
- Atrenta, Inc.
- 9 - Scientific, nautical, surveying, photographic, cinematographic, optical, weighing, measuring, signalling, checking (supervision), life-saving and teaching apparatus and instruments
Information Trademark
86245590 - BUGSCOPE
- Serial number 86245590
- Registration number 4636973
- Filing date Apr 8, 2014
- Atrenta, Inc.
- 9 - Scientific, nautical, surveying, photographic, cinematographic, optical, weighing, measuring, signalling, checking (supervision), life-saving and teaching apparatus and instruments
Information Trademark
77842929 - GENSYS
- Serial number 77842929
- Registration number 4105992
- Filing date Oct 6, 2009
- Atrenta, Inc.
- 9 - Scientific, nautical, surveying, photographic, cinematographic, optical, weighing, measuring, signalling, checking (supervision), life-saving and teaching apparatus and instruments
Information Trademark
78909287 - EARLY DESIGN CLOSURE
- Serial number 78909287
- Registration number 3304662
- Filing date Jun 15, 2006
- Atrenta, Inc.
- 9 - Scientific, nautical, surveying, photographic, cinematographic, optical, weighing, measuring, signalling, checking (supervision), life-saving and teaching apparatus and instruments
Information Trademark
78726104 - 1TEAM:ANALYZE SPYGLASS
- Serial number 78726104
- Filing date Oct 4, 2005
- Atrenta, Inc.
- 9 - Scientific, nautical, surveying, photographic, cinematographic, optical, weighing, measuring, signalling, checking (supervision), life-saving and teaching apparatus and instruments
Information Trademark
78726061 - 1TEAM:SPYGLASS
- Serial number 78726061
- Filing date Oct 4, 2005
- Atrenta, Inc.
- 9 - Scientific, nautical, surveying, photographic, cinematographic, optical, weighing, measuring, signalling, checking (supervision), life-saving and teaching apparatus and instruments
Information Trademark
78579382 - FUTURE PERFECT
- Serial number 78579382
- Filing date Mar 3, 2005
- Atrenta Inc.
- 9 - Scientific, nautical, surveying, photographic, cinematographic, optical, weighing, measuring, signalling, checking (supervision), life-saving and teaching apparatus and instruments
Information Trademark
78575618 - ATRENTA
- Serial number 78575618
- Registration number 3230964
- Filing date Feb 25, 2005
- Atrenta Inc.
- 9 - Scientific, nautical, surveying, photographic, cinematographic, optical, weighing, measuring, signalling, checking (supervision), life-saving and teaching apparatus and instruments
Information Trademark
78572506 - 1TEAM
- Serial number 78572506
- Registration number 3230954
- Filing date Feb 22, 2005
- Atrenta Inc.
- 9 - Scientific, nautical, surveying, photographic, cinematographic, optical, weighing, measuring, signalling, checking (supervision), life-saving and teaching apparatus and instruments
Information Trademark
78572528 - 1TEAM:ANALYZE
- Serial number 78572528
- Filing date Feb 22, 2005
- Atrenta Inc.
- 9 - Scientific, nautical, surveying, photographic, cinematographic, optical, weighing, measuring, signalling, checking (supervision), life-saving and teaching apparatus and instruments
Information Trademark
78572545 - 1TEAM:VERIFY
- Serial number 78572545
- Filing date Feb 22, 2005
- Atrenta Inc.
- 9 - Scientific, nautical, surveying, photographic, cinematographic, optical, weighing, measuring, signalling, checking (supervision), life-saving and teaching apparatus and instruments
Information Trademark
78572568 - 1TEAM:IMPLEMENT
- Serial number 78572568
- Registration number 3160627
- Filing date Feb 22, 2005
- Atrenta Inc.
- 9 - Scientific, nautical, surveying, photographic, cinematographic, optical, weighing, measuring, signalling, checking (supervision), life-saving and teaching apparatus and instruments
Information Trademark
78572582 - 1TEAM:EMBEDDED
- Serial number 78572582
- Registration number 3256970
- Filing date Feb 22, 2005
- Atrenta Inc.
- 9 - Scientific, nautical, surveying, photographic, cinematographic, optical, weighing, measuring, signalling, checking (supervision), life-saving and teaching apparatus and instruments
Information Trademark
78416834 - PERISCOPE
- Serial number 78416834
- Registration number 3046985
- Filing date May 11, 2004
- Atrenta Inc.
- 9 - Scientific, nautical, surveying, photographic, cinematographic, optical, weighing, measuring, signalling, checking (supervision), life-saving and teaching apparatus and instruments
Information Trademark
78394711 - BLUEPRINT
- Serial number 78394711
- Filing date Apr 1, 2004
- Atrenta Inc.
- 9 - Scientific, nautical, surveying, photographic, cinematographic, optical, weighing, measuring, signalling, checking (supervision), life-saving and teaching apparatus and instruments
Information Trademark
78168426 - ACTIVESPEC
- Serial number 78168426
- Filing date Sep 26, 2002
- Atrenta Inc.
- 9 - Scientific, nautical, surveying, photographic, cinematographic, optical, weighing, measuring, signalling, checking (supervision), life-saving and teaching apparatus and instruments
Information Trademark
78137397 - ATRENTA THE PREDICTIVE ANALYSIS COMPANY
- Serial number 78137397
- Registration number 2799296
- Filing date Jun 20, 2002
- Atrenta, Inc.
- 9 - Scientific, nautical, surveying, photographic, cinematographic, optical, weighing, measuring, signalling, checking (supervision), life-saving and teaching apparatus and instruments
Information Trademark
78137403 - SPYGLASS PREDICTIVE ANALYZER
- Serial number 78137403
- Registration number 2778737
- Filing date Jun 20, 2002
- Atrenta, Inc.
- 9 - Scientific, nautical, surveying, photographic, cinematographic, optical, weighing, measuring, signalling, checking (supervision), life-saving and teaching apparatus and instruments
Information Trademark
76299344 - ATRENTA
- Serial number 76299344
- Registration number 2762455
- Filing date Aug 13, 2001
- Atrenta Inc.
- 9 - Scientific, nautical, surveying, photographic, cinematographic, optical, weighing, measuring, signalling, checking (supervision), life-saving and teaching apparatus and instruments
Information Trademark
76128979 - SPYGLASS
- Serial number 76128979
- Registration number 2603761
- Filing date Sep 15, 2000
- INTERRA, INC.
- 9 - Scientific, nautical, surveying, photographic, cinematographic, optical, weighing, measuring, signalling, checking (supervision), life-saving and teaching apparatus and instruments

ATRENTA, INC

Organization

Business Address

Mailing Address

State Location

State of Incorporation

Patents Grantslast 30 patents

Systems, methods, and media for assertion-based verification of dev...

System and method for strengthening of a circuit element to reduce...

System and method for a hybrid clock domain crossing verification

System and method for altering circuit design hierarchy to optimize...

Method for measuring assertion density in a system of verifying int...

Characterization based buffering and sizing for system performance...

System and method for metastability verification of circuits of an...

Method of global design closure at top level and driving of downstr...

System and method for inferring higher level descriptions from RTL...

System and methods for reasonable functional verification of an int...

Computer system for generating an integrated and unified view of IP...

Efficient method to analyze RTL structures that cause physical impl...

Systems and methods for generating a higher level description of a...

Computer-aided design system and methods thereof for merging design...

Method and system thereof for optimization of power consumption of...

Efficient apparatus and method for analysis of RTL structures that...

System and method for large multiplexer identification and creation...

Method for creating physical connections in 3D integrated circuits

Sequential clock gating using net activity and xor technique on sem...

System and methods for inferring higher level descriptions from RTL...

Sequential clock gating using net activity and XOR technique on sem...

System and method for abstraction of a circuit portion of an integr...

System and method for strengthening of a circuit element to reduce...

Hierarchical bottom-up clock domain crossing verification

System and method for inferring higher level descriptions from RTL...

Apparatus and method thereof for hybrid timing exception verificati...

Method for generating an integrated and unified view of IP-cores fo...

System and method for metastability verification of circuits of an...

Method and system thereof for optimization of power consumption of...

Method and system for equivalence checking

Patents Applicationslast 30 patents

SYSTEM AND METHOD FOR VIEWING AND MODIFYING CONFIGURABLE RTL MODULES

SYSTEM AND METHOD FOR GRADING AND SELECTING SIMULATION TESTS USING...

SYSTEM AND METHOD FOR REDUCING POWER OF A CIRCUIT USING CRITICAL SI...

METHOD AND APPARATUS USING FORMAL METHODS FOR CHECKING GENERATED-CL...

SYSTEM AND METHOD FOR ABSTRACTION OF A CIRCUIT PORTION OF AN INTEGR...

SEQUENTIAL CLOCK GATING USING NET ACTIVITY AND XOR TECHNIQUE ON SEM...

METHOD OF GLOBAL DESIGN CLOSURE AT TOP LEVEL AND DRIVING OF DOWNSTR...

SYSTEM AND METHOD FOR A HYBRID CLOCK DOMAIN CROSSING VERIFICATION

SYSTEM AND METHOD FOR ALTERING CIRCUIT DESIGN HIERARCHY TO OPTIMIZE...

SYSTEM AND METHOD FOR FILTRATION OF ERROR REPORTS RESPECTIVE OF STA...

SYSTEM AND METHOD FOR STRENGTHENING OF A CIRCUIT ELEMENT TO REDUCE...

METHOD FOR MEASURING ASSERTION DENSITY IN A SYSTEM OF VERIFYING INT...

COMPUTER SYSTEM FOR GENERATING AN INTEGRATED AND UNIFIED VIEW OF IP...

CHARACTERIZATION BASED BUFFERING AND SIZING FOR SYSTEM PERFORMANCE...

SYSTEM AND METHOD FOR INFERRING HIGHER LEVEL DESCRIPTIONS FROM RTL...

APPARATUS AND METHOD THEREOF FOR HYBRID TIMING EXCEPTION VERIFICATI...

SYSTEMS AND METHODS FOR GENERATING A HIGHER LEVEL DESCRIPTION OF A...

SYSTEM AND METHODS FOR INFERRING HIGHER LEVEL DESCRIPTIONS FROM RTL...

SYSTEM AND METHOD FOR METASTABILITY VERIFICATION OF CIRCUITS OF AN...

HIERARCHICAL BOTTOM-UP CLOCK DOMAIN CROSSING VERIFICATION

METHOD AND SYSTEM THEREOF FOR OPTIMIZATION OF POWER CONSUMPTION OF...

SYSTEM AND METHOD FOR INFERRING HIGHER LEVEL DESCRIPTIONS FROM RTI...

COMPUTER-AIDED DESIGN SYSTEM AND METHODS THEREOF FOR MERGING DESIGN...

SYSTEM AND METHOD FOR METASTABILITY VERIFICATION OF CIRCUITS OF AN...

APPARATUS AND METHOD THEREOF FOR HYBRID TIMING EXCEPTION VERIFICATI...

METHOD AND SYSTEM FOR EQUIVALENCE CHECKING

METHOD AND SYSTEM THEREOF FOR OPTIMIZATION OF POWER CONSUMPTION OF...

METHOD FOR COMPACTION OF TIMING EXCEPTION PATHS

METHOD FOR COMPUTING POWER SAVINGS AND DETERMINING THE PREFERRED CL...

METHOD FOR CHECKING CONSTRAINTS EQUIVALENCE OF AN INTEGRATED CIRCUI...

Trademarklast 30 trademarks

86261440 - MARS

86245590 - BUGSCOPE

77842929 - GENSYS

78909287 - EARLY DESIGN CLOSURE

78726104 - 1TEAM:ANALYZE SPYGLASS

78726061 - 1TEAM:SPYGLASS

78579382 - FUTURE PERFECT

78575618 - ATRENTA

78572506 - 1TEAM

78572528 - 1TEAM:ANALYZE

78572545 - 1TEAM:VERIFY