Ramesh Sathianathan

Person

Sunnyvale, CA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Measure of analysis performed in property checking
- Patent number 9,684,760
- Issue date Jun 20, 2017
- Mentor Graphics Corporation
- Jeremy Rutledge Levitt
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Measure of analysis performed in property checking
- Patent number 9,262,557
- Issue date Feb 16, 2016
- Mentor Graphics Corporation
- Jeremy Rutledge Levitt
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Hierarchical verification of clock domain crossings
- Patent number 9,117,044
- Issue date Aug 25, 2015
- Mentor Graphics Corporation
- Ka-Kei Kwok
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Hierarchical verification of clock domain crossings
- Patent number 8,819,599
- Issue date Aug 26, 2014
- Mentor Graphics Corporation
- Ka-Kei Kwok
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Measure of analysis performed in property checking
- Patent number 8,418,121
- Issue date Apr 9, 2013
- Mentor Graphics Corporation
- Jeremy Rutledge Levitt
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Measure of analysis performed in property checking
- Patent number 7,890,897
- Issue date Feb 15, 2011
- Mentor Graphics Corporation
- Jeremy Rutledge Levitt
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Selection of initial states for formal verification
- Patent number 7,454,324
- Issue date Nov 18, 2008
- James Andrew Garrard Seawright
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Measure of analysis performed in property checking
- Patent number 7,318,205
- Issue date Jan 8, 2008
- Jeremy Rutledge Levitt
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Measure of analysis performed in property checking
- Patent number 6,848,088
- Issue date Jan 25, 2005
- Mentor Graphics Corporation
- Jeremy Rutledge Levitt
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
MEASURE OF ANALYSIS PERFORMED IN PROPERTY CHECKING
- Publication number 20160125122
- Publication date May 5, 2016
- Mentor Graphics Corporation
- Jeremy Rutledge Levitt
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Hierarchical Verification Of Clock Domain Crossings
- Publication number 20150026654
- Publication date Jan 22, 2015
- Mentor Graphics Corporation
- Ka-Kei Kwok
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MEASURE OF ANALYSIS PERFORMED IN PROPERTY CHECKING
- Publication number 20130239084
- Publication date Sep 12, 2013
- Mentor Graphics Corporation
- Jeremy Rutledge Levitt
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MEASURE OF ANALYSIS PERFORMED IN PROPERTY CHECKING
- Publication number 20110138346
- Publication date Jun 9, 2011
- Mentor Graphics Corporation
- Jeremy Rutledge Levitt
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MEASURE OF ANALYSIS PERFORMED IN PROPERTY CHECKING
- Publication number 20080066032
- Publication date Mar 13, 2008
- Mentor Graphics Corporation
- Jeremy Rutledge Levitt
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Measure of analysis performed in property checking
- Publication number 20050081169
- Publication date Apr 14, 2005
- Jeremy Rutledge Levitt
- G06 - COMPUTING CALCULATING COUNTING

Ramesh Sathianathan

Person

Patents Grantslast 30 patents

Measure of analysis performed in property checking

Measure of analysis performed in property checking

Hierarchical verification of clock domain crossings

Hierarchical verification of clock domain crossings

Measure of analysis performed in property checking

Measure of analysis performed in property checking

Selection of initial states for formal verification

Measure of analysis performed in property checking

Measure of analysis performed in property checking

Patents Applicationslast 30 patents

MEASURE OF ANALYSIS PERFORMED IN PROPERTY CHECKING

Hierarchical Verification Of Clock Domain Crossings

MEASURE OF ANALYSIS PERFORMED IN PROPERTY CHECKING

MEASURE OF ANALYSIS PERFORMED IN PROPERTY CHECKING

MEASURE OF ANALYSIS PERFORMED IN PROPERTY CHECKING

Measure of analysis performed in property checking