Method for determining ranges for algorithmic variables for a processor that uses fixed point arithmetic
AssigneeHoneywell International Inc.
InventorsJames Carciofini, Daniel Johnson, Erik Lindquist
Life of this patent
Estimating the term…
Abstract
A method of determining ranges for algorithmic variables for a processor that uses fixed point arithmetic is provided. The method comprises expressing overflow requirements of processor instructions as inequalities. The method also expresses precision requirements and expressiveness requirements as inequalities and merit functions. A global constraint and optimizer tool is used to find ranges for algorithmic variables based on the inequalities and the merit functions. The use of constraint equation solving and optimization finds optimal algorithmic ranges that provide overflow-free arithmetic as well as optimal expressiveness and precision.
Claims20
A method of determining ranges for algorithmic variables for a processor that uses fixed point arithmetic, the method comprising:
- expressing overflow requirements of processor instructions as inequalities;
- expressing precision requirements and expressiveness requirements as inequalities and merit functions;
- and
- using a global constraint and optimizer tool to find ranges for the algorithmic variables based on the inequalities and the merit functions.
A method of performing overflow analysis for a processor that uses fixed point arithmetic, the method comprising:
- providing a compensation algorithm for scaled equations;
- providing an algorithm variable table of lower bounds and upper bounds for a set of algorithm variables;
- transmitting data from the compensation algorithm and the algorithm variable table to an input parser for fixed point algorithms;
- converting the scaled equations into decimal equations;
- analyzing the decimal equations with a global constraint and optimizer tool to determine an optimum range for the algorithm variables.
A computer readable medium having instructions stored thereon for implementing a method of determining ranges for algorithmic variables for a processor that uses fixed point arithmetic, the method comprising:
- expressing overflow requirements of processor instructions as quadratic inequalities;
- expressing precision requirements and expressiveness requirements as quadratic inequalities and quadratic merit functions;
- and
- using a global constraint and optimizer tool to find ranges for the algorithmic variables based on the quadratic inequalities and the quadratic merit functions.
Dependencies are inferred from the claim text.