Method for determining ranges for algorithmic variables for a processor that uses fixed point arithmetic
US7958500B2 · kind B2 · utility
Assignee
Inventors
Key dates
| Filing date | Sep 19, 2006 |
| Grant date | Jun 7, 2011 |
| Priority date | — |
| Expiry date | Apr 7, 2030 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F8/433
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
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.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.