Patent ID: 9460252
Filing Date: 2016-10-04
CPC Classification: G06F

Claim Text:
1. A non-transitory computer-readable storage medium comprising computer program code for ranking of generated properties, the computer program code executable by a processor for: generating a plurality of circuit design properties of a circuit design based in part or in whole on a signal trace, wherein the signal trace comprises signal values for one or more signals of the circuit design over a plurality of clock cycles; performing a static analysis on the plurality of circuit design properties against one or more circuit design constraints to prove or disprove the plurality of circuit design properties, without exercising the one or more signals; determining, at ranking determination module at least partially stored in memory of a computing system and executed by a processor of the computing system, rankings for the plurality of circuit design properties to reduce a state space that is traversed for analyzing the circuit design in response to whether results of the static analysis indicate that the plurality of circuit design properties include an unknown truth, a ranking for a property indicating valuableness or complexity of the property in verifying the circuit design; and validating the circuit design using a smaller subset of the plurality of circuit design properties based in part or in whole upon the rankings.