# US 2012/0192013 A1 · Verification of Signal Processing Using Intelligent Points

> Agents: this data is available as JSON from the patentgrep API and MCP server — see https://patentgrep.com/llms.txt

- Number: US 2012/0192013 A1
- Document ID: US20120192013A1
- Status: Published application
- Kind: A1
- Application number: 13/302,537
- Filed: 2011-11-22
- Published: 2012-07-26
- Earliest claimed: 2010-11-22
- Assignees: Certon Software Inc.
- Inventors: Carlo Amalfitano; Timothy Stockton; Christopher Marot
- Web page: https://patentgrep.com/patent/US20120192013A1

## CPC

- G06F 11/3684: {for test design, e.g. generating new test cases}
- G06F: ELECTRIC DIGITAL DATA PROCESSING (computer systems based on specific computational models G06N)

## Abstract

A technique for debugging of a signal processing program or model (or the debugging and reconciliation of two independent software instantiations). Timelines (Vectors) of signal values for verification are condensed to a small amount of information, easy to understand and manage. The information is stored in “Intelligent Points”, which can be graphically specified by the test engineering. The Intelligent Points can include one or more attributes that describe how to generate the appropriate signals. The information so stored can then be automatically expanded to complete timelines.

## Claims

### Claim 1

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.

### Claim 2 (depends on 1)

The method of claim 1 wherein the attributes further comprise:
information on how to graphically display the variable including at least one of a color, a number of decimals formatting criteria, position on a canvas, or scale.

### Claim 3 (depends on 1)

The method of claim 1 wherein at least one of the attributes of the Intelligent Point are specified via a graphical user interfaces.

### Claim 4 (depends on 1)

The method of claim 1 additionally comprising:
a. automatically generating a timeline for one or more input variables according to the associated Intelligent Points;
b. evaluating Expected Results for output variables resulting from the program model that represent outputs of the targeted component.

### Claim 5 (depends on 1)

The method of claim 1 additionally comprising:
outputting the timeline generated in step a. to a real world system;
collecting Actual Results from the same; and
comparing Expected Results and Actual Results.

### Claim 6 (depends on 1)

The method of claim 1 additionally comprising:
for each increment of time between a start time and an end time along the time line, determining values for at least one variable at each such increment of the time line; and
saving the values so determined;
at a later time,
retrieving at least a portion of the saved values;
displaying a graphical representation of the values of the variables over at least a portion of the time line, along with at least one numerical representation of at least one variable at a selected time; and
providing a user-manipulable element of the graphical representation that is used to specify the selected time, and such that the user-manipulable element can be visually moved backward and forward along the graphical representation.

### Claim 7 (depends on 6)

The method of claim 6 additionally comprising:
accepting an input specifying one or more changes in an attribute of an Intelligent Point;
re-determining values of variables affected by the changed Intelligent Points; and,
thus providing visualization of any change in the Intelligent Point attributes.