Inventor · disambiguated record
Yaron Kashai
Also filed as: KASHAI YARON · KASHAI YARON E
11 granted patents·1 pending application·229 citations·filing 1999–2024
91Inventor score
Files withVERISITY LTD5CADENCE DESIGN SYSTEMS INC2FORETELLIX LTD2KASHAI YARON2CADENCE DESIGN ISRAEL II LTD1
Top patents by PatentIndex Score
12 records- 0190US7284177B2Method and apparatus for functionally verifying a physical device under testVERISITY LTD·Filed 2005·Granted Oct 16, 2007·28 cites·20 claims
- 0284US6499132B1System and method for analyzing temporal expressionsVERISITY LTD·Filed 2001·Granted Dec 24, 2002·47 cites·12 claims
- 0381US8448112B1System, method, and computer program product for automatic power management verificationKASHAI YARON·Filed 2011·Granted May 21, 2013·13 cites·18 claims
- 0481US6675138B1System and method for measuring temporal coverage detectionVERISITY LTD·Filed 1999·Granted Jan 6, 2004·60 cites·20 claims
- 0579US6920583B1System and method for compiling temporal expressionsVERISITY LTD·Filed 2001·Granted Jul 19, 2005·32 cites·17 claims
- 0677US8478575B1Automatic anomaly detection for HW debugKASHAI YARON·Filed 2010·Granted Jul 2, 2013·6 cites·23 claims
- 0777US6907599B1Synthesis of verification languagesVERISITY LTD·Filed 2001·Granted Jun 14, 2005·29 cites·22 claims
- 0873US11999366B2System and methods thereof for monitoring proper behavior of an autonomous vehicleFORETELLIX LTD·Filed 2020·Granted Jun 4, 2024·1 cites·27 claims
- 0973US7895156B2Method, system, and computer program product for implementing a model exchange framework generating a synchronization record in response to a model exchange request using fusion technologyCADENCE DESIGN SYSTEMS INC·Filed 2007·Granted Feb 22, 2011·6 cites·33 claims
- 1067US8352906B2Method, system, and computer program product for implementing external domain independent modeling framework in a system designCADENCE DESIGN SYSTEMS INC·Filed 2007·Granted Jan 8, 2013·5 cites·33 claims
- 1164US2024199041A1System and methods thereof for automated identification of occurrences of executed scenarios using a scenario definition languageFORETELLIX LTD·Filed 2024·Application pending·0 cites
- 1242US7665067B2Method and system for automatically creating testsCADENCE DESIGN ISRAEL II LTD·Filed 2003·Granted Feb 16, 2010·2 cites·23 claims
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →