Data processing: software development – installation – and managem – Software program development tool – Translation of code
Reexamination Certificate
2011-06-07
2011-06-07
Fernandez Rivas, Omar F. (Department: 2129)
Data processing: software development, installation, and managem
Software program development tool
Translation of code
C717S154000, C717S159000
Reexamination Certificate
active
07958500
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.
REFERENCES:
patent: 6522992 (2003-02-01), McCall et al.
patent: 7587277 (2009-09-01), Wells
Constantinides, George A. et al.; “Wordlength Optimization for Linear Digital Signal Processing”; Oct. 2003; IEEE Transactins on Computer-Aided Desing of Integrated Circuits and Systems, vol. 22, No. 10; pp. 1432-1442.
Kim, Seehyun et al.; “Fixed-Point Optimization Utility for C and C++ Based Digital Signal Processing Programs”; Nov. 1998; IEEE Transactions on Circuits and Systems-II: Analog and Digital Signal Processing, vol. 45, No. 11; pp. 1455-1464.
Kum, Ki-Il et al.; “Combined Word-Length Optimization and High-Level Synthesis of Digital Signal Processing Systems”; Aug. 2001; IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 20, No. 8; pp. 921-930.
Shi, Changchun et al.; “An Automated Floating-Point to Fixed-Point Conversion Methodology”; 2003; IEEE; pp. 529-532.
Shi, Changchun et al.; “Automated Fixed-point Data-type Optimization Tool for Signal Processing and Communication Systems”; 2004; ACM; pp. 478-483.
Cantin, M.-A. et al.; “A Comparison of Automatic Word Length Optimization Procedures”; 2002; 2002 IEEE International Symposium on Circuits and Systems; II-612 to II-615.
Carciofini James C.
Johnson Daniel P.
Lindquist Erik
Fernandez Rivas Omar F.
Fogg & Powers LLC
Hill Stanley K
Honeywell International , Inc.
LandOfFree
Method for determining ranges for algorithmic variables for... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Method for determining ranges for algorithmic variables for..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method for determining ranges for algorithmic variables for... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-2647410