Kinderman; Yael

Patent Applications and Registrations

Patent applications and USPTO patent grants for Kinderman; Yael.The latest application filed is for "generation of a random sub-space of the space of assignments for a set of generative attributes for verification coverage closure".

Company Profile

4.15.1

Kinderman; Yael - Giv'at Shmuel IL
Kinderman; Yael - Givat Shmuel IL
Kinderman; Yael - Neve-Monosson IL
Kinderman; Yael - Tel Aviv IL

*profile and listings may contain filings by different individuals or companies with the same name. Review application materials to confirm ownership/assignment.

Patent Activity

Patent	Date
Constrained metric optimization of a system on chip Grant 10,607,039 - Kinderman , et al.	2020-03-31
Method and system for verification using combined verification data Grant 10,586,014 - Kinderman , et al.	2020-03-10
Constrained metric verification analysis of a system on chip Grant 10,423,741 - Petracca , et al. Sept	2019-09-24
Method and system for reusing a refinement file in coverage grading Grant 10,394,699 - Kinderman , et al. A	2019-08-27
Method and system for performing regression session on a device under test Grant 10,108,514 - Kinderman , et al. October 23, 2	2018-10-23
Method and system for automatically identifying test runs contributing to coverage events of interest in verification test data Grant 9,891,281 - Kinderman , et al. February 13, 2	2018-02-13
Method and system of evaluation of validity of a refinement rule for a hardware emulation Grant 9,824,175 - Gupta , et al. November 21, 2	2017-11-21
Generation of a random sub-space of the space of assignments for a set of generative attributes for verification coverage closure Grant 9,582,458 - Gavish , et al. February 28, 2	2017-02-28
Method and system for automated refined exclusion of entities from a metric driven verification analysis score Grant 9,582,620 - Segal , et al. February 28, 2	2017-02-28
Coverage driven generation of constrained random stimuli Grant 9,514,035 - Teplitsky , et al. December 6, 2	2016-12-06
Transaction correlation system Grant 9,208,271 - Meir , et al. December 8, 2	2015-12-08
Coverage-based bug clustering Grant 8,903,823 - Meir , et al. December 2, 2	2014-12-02
Generation Of A Random Sub-space Of The Space Of Assignments For A Set Of Generative Attributes For Verification Coverage Closure App 20140172347 - GAVISH; Efrat ; et al.	2014-06-19
System and method for test generation with dynamic constraints using static analysis and multidomain constraint reduction Grant 7,870,523 - Uziel , et al. January 11, 2	2011-01-11

uspto.report is an independent third-party trademark research tool that is not affiliated, endorsed, or sponsored by the United States Patent and Trademark Office (USPTO) or any other governmental organization. The information provided by uspto.report is based on publicly available data at the time of writing and is intended for informational purposes only.

While we strive to provide accurate and up-to-date information, we do not guarantee the accuracy, completeness, reliability, or suitability of the information displayed on this site. The use of this site is at your own risk. Any reliance you place on such information is therefore strictly at your own risk.

All official trademark data, including owner information, should be verified by visiting the official USPTO website at www.uspto.gov. This site is not intended to replace professional legal advice and should not be used as a substitute for consulting with a legal professional who is knowledgeable about trademark law.