Verification of Signal Processing Using Intelligent Points

A method for verifying a target component in a program model of a signal processing system comprising:

• determining a list of one or more Real World input variables that require modifications to achieve verification of the target component in the program model;
• accepting an input specifying at least one point of change in the value of at least one of the input variables along a timeline;
• and
• adding attributes to the point of change to determine an Intelligent Point that specifies how the input variable changes at a later point in time along the timeline, the attributes specifying at least one of
• a linearly interpolation from two points;
• holding the variable value between two points;
• inject a frequency as a sine wave, a square wave, a triangular wave, or a variable frequency with varying frequency and amplitude parameters;
• an Exhaustive test for Boolean variables.