P

Inventor

KASHAI YARON

US10 patents
⚠️ This page may combine multiple inventors who share the name “KASHAI YARON”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.

VERISITY LTD

4 patents
US6675138B1Jan 6, 2004

System and method for measuring temporal coverage detection

VERISITY LTD60 citations91
US6920583B1Jul 19, 2005

System and method for compiling temporal expressions

VERISITY LTD32 citations89
US6907599B1Jun 14, 2005

Synthesis of verification languages

VERISITY LTD29 citations89
US6499132B1Dec 24, 2002

System and method for analyzing temporal expressions

VERISITY LTD47 citations89

KASHAI YARON

2 patents
US8448112B1May 21, 2013

System, method, and computer program product for automatic power management verification

KASHAI YARON13 citations73
US8478575B1Jul 2, 2013

Automatic anomaly detection for HW debug

KASHAI YARON6 citations70

CADENCE DESIGN SYSTEMS INC

2 patents
US8352906B2Jan 8, 2013

Method, system, and computer program product for implementing external domain independent modeling framework in a system design

CADENCE DESIGN SYSTEMS INC5 citations68
US7895156B2Feb 22, 2011

Method, system, and computer program product for implementing a model exchange framework generating a synchronization record in response to a model exchange request using fusion technology

CADENCE DESIGN SYSTEMS INC6 citations62

CADENCE DESIGN ISRAEL II LTD

1 patent
US7665067B2Feb 16, 2010

Method and system for automatically creating tests

CADENCE DESIGN ISRAEL II LTD2 citations60

FORETELLIX LTD

1 patent
US11999366B2Jun 4, 2024

System and methods thereof for monitoring proper behavior of an autonomous vehicle

FORETELLIX LTD1 citations50