Method and system for generating validation tests
AssigneeCadence Design Systems, Inc.
InventorMeir Ovadia
Life of this patent
Estimating the term…
Loading patent…
AssigneeCadence Design Systems, Inc.
InventorMeir Ovadia
Estimating the term…
A method for generating a validation test, may include obtaining, using a processor, a validated scenario for generating a test for a verification model, the validated scenario represented in the form of a directed acyclic graph with a plurality of actions as nodes of the graph. The method may also include analyzing, using the processor, the graph to identify an action of said plurality of actions designed to be executed on a thread that is associated with a faulty scheduler of a verification model to be tested. The method may further include, upon identifying the identified action, amending, using the processor, the verified scenario by removing the identified action from the graph.
A method for amending a validated scenario for generating a validation test, the method comprising:
A non-transitory computer readable storage medium for amending a validated scenario for generating a validation test, having stored thereon instructions that when executed by a processor will cause the processor to:
A system for amending a validated scenario for generating a validation test, the system comprising:
Dependencies are inferred from the claim text.