Automatic extraction of design properties

A system for automatic extraction of design properties of a hardware design, comprising:

• simulator for running hardware design simulation of the hardware design and produce simulation results;
• an analyzing unit to receive and analyze said simulation results, the analyzing unit being configured to produce a plurality of properties in response thereto corresponding to said hardware design, the analyzing unit includes a plurality of analyzers, each of the plurality of analyzers being configured to analyze a particular hardware functionality of the design, wherein the plurality of analyzers being further configurable to include enhancements to seek out specific properties relevant to a corresponding specific hardware functional aspect of the design, and each of the plurality of properties are in a format that can be used for automatic property checking;
• a database in data communication with said analyzing unit to receive and store said properties;
• and
• a comparator in data communication with both said database and said analyzing unit, with said comparator configured to receive a first set of properties from said analyzing unit and a second set of properties from said database, said comparator being configured to determine differences among said first and second sets of properties.

A computer readable media including program instructions for automatic extraction of design properties of a hardware design, comprising:

• program instructions for running hardware design simulation;
• program instructions for transferring the simulation results to a plurality of analyzers, each of the plurality of analyzers being configured to analyze a particular hardware functionality of the design;
• program instructions for generating a plurality of properties, the plurality of properties being generated by each of the plurality of analyzers, the plurality of analyzers further configurable to include enhancements to seek out specific properties relevant to a corresponding to specific hardware functional aspect of the design, wherein each of the plurality of properties are in a format that can be used for automatic property checking;
• program instructions for extracting properties produced by the analyzing of the simulation results;
• and
• program instructions for assigning a confidence value indicating validity of the properties, the confidence value based on a number of times a particular event sequence is observed.