Yaron Kashai

Person

Sunnyvale, CA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Automatic anomaly detection for HW debug
- Patent number 8,478,575
- Issue date Jul 2, 2013
- Cadence Design Systems, Inc.
- Yaron Kashai
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System, method, and computer program product for automatic power ma...
- Patent number 8,448,112
- Issue date May 21, 2013
- Cadence Design Systems, Inc.
- Yaron Kashai
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method, system, and computer program product for implementing exter...
- Patent number 8,352,906
- Issue date Jan 8, 2013
- Cadence Design Systems, Inc.
- Yaron Kashai
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method, system, and computer program product for implementing a mod...
- Patent number 7,895,156
- Issue date Feb 22, 2011
- Cadence Design Systems, Inc.
- Gilad Bracha
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and system for automatically creating tests
- Patent number 7,665,067
- Issue date Feb 16, 2010
- Cadence Design (Israel) II Ltd.
- Yoav Hollander
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus for functionally verifying a physical device u...
- Patent number 7,284,177
- Issue date Oct 16, 2007
- Verisity, Ltd.
- Yoav Z. Hollander
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for compiling temporal expressions
- Patent number 6,920,583
- Issue date Jul 19, 2005
- Verisity Ltd.
- Matthew John Morley
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Synthesis of verification languages
- Patent number 6,907,599
- Issue date Jun 14, 2005
- Verisity Ltd.
- Yaron Kashai
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for analyzing temporal expressions
- Patent number 6,499,132
- Issue date Dec 24, 2002
- Verisity Ltd.
- Matthew John Morley
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
Method, System, and Computer Program Product for Implementing a Mod...
- Publication number 20090172042
- Publication date Jul 2, 2009
- Cadence Design Systems, Inc.
- Gilad Bracha
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method, System, and Computer Program Product for Implementing Exter...
- Publication number 20090172632
- Publication date Jul 2, 2009
- Cadence Design Systems, Inc.
- Yaron Kashai
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method and apparatus for functionally verifying a physical device u...
- Publication number 20060242525
- Publication date Oct 26, 2006
- Yoav Z. Hollander
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method and system for test creation
- Publication number 20050060132
- Publication date Mar 17, 2005
- Yoav Hollander
- G06 - COMPUTING CALCULATING COUNTING

Yaron Kashai

Person

Patents Grantslast 30 patents

Automatic anomaly detection for HW debug

System, method, and computer program product for automatic power ma...

Method, system, and computer program product for implementing exter...

Method, system, and computer program product for implementing a mod...

Method and system for automatically creating tests

Method and apparatus for functionally verifying a physical device u...

System and method for compiling temporal expressions

Synthesis of verification languages

System and method for analyzing temporal expressions

Patents Applicationslast 30 patents

Method, System, and Computer Program Product for Implementing a Mod...

Method, System, and Computer Program Product for Implementing Exter...

Method and apparatus for functionally verifying a physical device u...

Method and system for test creation