Generating properties for circuit designs

A computer program product for generating circuit design properties, the computer program product comprising a non transitory computer-readable storage medium containing computer program code for:

• receiving a description of a circuit design;
• identifying one or more portions of the circuit design that correspond to features of the circuit design, the identified portions of the circuit design associated with input cones of influence in the circuit design that affect operation of the identified portions of the circuit design;
• identifying one or more control signals from within the input cones of influence associated with the identified portions of the circuit design, the control signals controlling signal routing within the input cones of influence;
• generating one or more properties for the circuit design based on values of the control signals in data describing the operation of the circuit design over a plurality of clock cycles and values of the identified portions of the circuit design in the data describing the operation of the circuit design over the plurality of clock cycles;
• and
• outputting the properties.