专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

31. 发明授权

US06427160B1 Method and system for testing floating point logic 有权
标题翻译：用于测试浮点逻辑的方法和系统
公开(公告)号：US06427160B1
公开(公告)日：2002-07-30
申请号：US09372183
申请日：1999-08-10
申请人： Michael Parks , Douglas M. Priest
发明人： Michael Parks , Douglas M. Priest
IPC分类号： G06F11263
CPC分类号： G06F11/27
摘要： In a computer system, a method and system for verifying whether a floating-point logic unit correctly directly rounds floating-point numbers when conducting multiplication, square root, and division operations. A bit sequence that represents a directed boundary condition for a mathematical operation is identified. This sequence is then recast in terms of a series of integer equations. A recurrence is used to solve these equations to produce difficult test data. When solving the equations, any intermediate terms that exceed the computer's precision are discarded. The logic then conducts the mathematical operation under inspection using the test cases. The logic's computed value is then compared to an expected value. If the computed value equals the expected value, the logic has accurately performed the operation. If not, the logic is faulty.
摘要翻译：在计算机系统中，一种用于在执行乘法，平方根和除法运算时验证浮点逻辑单元是否正确地直接对浮点数进行循环的方法和系统。识别表示数学运算的有向边界条件的位序列。然后根据一系列整数方程重新计算该序列。使用复发来解决这些方程以产生困难的测试数据。当求解方程时，任何超出计算机精度的中间项被丢弃。然后逻辑使用测试用例进行检查中的数学运算。然后将逻辑的计算值与预期值进行比较。如果计算值等于预期值，则逻辑准确执行该操作。如果没有，逻辑是错误的。

IPRDB

热门服务

关于我们

友情链接

联系方式