Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › System and method for test generation with dynamic constraints using static analysis and multidomain constraint reduction

System and method for test generation with dynamic constraints using static analysis and multidomain constraint reduction

US Patent 7870523 · Granted Jan 11, 2011

Estimated economic value: $3,134,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Method and system for optimizing a verification test regression2024
Constrained metric optimization of a system on chip2020
Constrained metric optimization of a system on chip2020
Method and system for verification using combined verification data2020
Constrained metric verification analysis of a system on chip2019
Constrained metric verification analysis of a system on chip2019
Method and system for reusing a refinement file in coverage grading2019
Method and system for performing regression session on a device under test2018
Method and system for automatically identifying test runs contributing to covera2018
Method and system of evaluation of validity of a refinement rule for a hardware 2017
Generation of a random sub-space of the space of assignments for a set of genera2017
Method and system for automated refined exclusion of entities from a metric driv2017