Data processing: software development – installation – and managem – Software program development tool – Programming language
Reexamination Certificate
2006-06-06
2006-06-06
Dam, Tuan (Department: 2192)
Data processing: software development, installation, and managem
Software program development tool
Programming language
C712S222000
Reexamination Certificate
active
07058926
ABSTRACT:
A tool for implementing a Floating-Point related application. The tool includes a receiver for receiving a list of commands in a computer language. The language defines Floating-Point events of interest and the regrouping of events into a coverage model in respect of a desired FP instruction. The coverage model has the form of a sequence of Floating-Point commands with constraints on the input operands, intermediate result operand and the result operand. The constraints are expressed in terms of sets that define allowable Floating-Point numbers. The tool further includes a parser for parsing the commands and a processor for processing the parsed commands for realizing on the basis of the events and the coverage model the Floating-Point related application.
REFERENCES:
patent: 5450555 (1995-09-01), Brown et al.
patent: 5572664 (1996-11-01), Bujanos
patent: 6256776 (2001-07-01), Melanson
patent: 6647513 (2003-11-01), Hekmatpour
C. Kaner, Software negligence and testing coverage, In Proceedings of STAR 96: the Fifth International Conference, Software Testing, Analysis and Preview, pp. 299-327, (1996).
B. Beizer, software Testing Techniques. Van Nostrand Reinhold Cohn, 1990.
Grinwald et al., “User Defined Coverage—A Tool Supported Methodology for Design Verification”,Proceedings of the 35thDesign Automation Conference(DAC), pp. 158-163, (1998).
Fournier et al., “Functional Verification Methodology of Microprocessors Using the Genesys Test-Program Generator”,Functional Verification Methodology,pp. 1-7, (1998).
Lewin et al., “Constraint Satisfaction for Testing Program Generation”,Int. Phoenix Conference on Computers and Communications,(1995). 4 pages.
Aharon et al., “Test Program Generation for Functional Verification of PowerPC Processors in IBM”,32 Design Automation Conferecnce, San Francisco,pp. 279-285, (1995).
Lichtenstein et al., “Midel Based Test Generation for Processor Verification”,Innovative Applications for Artificial Intelligence(IAAI), AAAI,(1994), 12 Pages.
Aagaard et al., “Formal Verification of Iterative Algorithms in Microprocessors”,Interl Corporation, Hillsboro, Oregon,USA, DAC, (2000), pp. 200-206.
O'Leary et al., “Formally Verifying IEEE Compliance of Floating-Point Hardware”,Intel Technology Journal,vol. 1999-Q1, pp. 1-14, (1999).
Clarke et al., “Verifying the SRT Division Algorithm Using Theorem Proving Techniques”,Formal Methods in System Design,vol. 14, pp. 7-44, (1999).
Russinoff, “A mechanically Checked Proof of Correctness of the AMD K5 Floating Point Square Root Microcode”,Formal Methods in System Design,vol. 14, pp. 75-125, (1999).
B. Marick, The Craft of Software Testing Subsystem Testing Including Object-based and Object oriented Testing. Prentice-Hall, (1995).
B. Beizer, “Software Testing Techniques”, Second Edition,International Thomson Computer Press,(1990).
Browdy and Neimark PLLC
Dam Tuan
International Business Machines - Corporation
Kendall Chuck
LandOfFree
Tool for implementing Floating-Point related applications... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Tool for implementing Floating-Point related applications..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Tool for implementing Floating-Point related applications... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-3669754