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

1. 发明申请

US20080263121A1 METHOD AND SYSTEM FOR OPTIMIZING FLOATING POINT CONVERSION BETWEEN DIFFERENT BASES 有权
标题翻译：用于优化不同基础之间的浮点转换的方法和系统
公开(公告)号：US20080263121A1
公开(公告)日：2008-10-23
申请号：US11736090
申请日：2007-04-17
申请人： Trevor E. Carlson , Ali Y. Duale
发明人： Trevor E. Carlson , Ali Y. Duale
IPC分类号： G06F7/42
CPC分类号： H03M7/24
摘要： A method of performing floating-point conversions in a digital computing system includes determining a source coefficient, c1, and a source exponent, n, of an input value represented by a floating-point number in a source base, b1; converting the source coefficient to a common base, b2, and storing the converted coefficient in a first digit collection; iteratively multiplying the contents of the first digit collection by b1 and storing the intermediate results therein, wherein one or more overflow bits of the first digit collection are carried and added to one or more additional digit collections once a nonzero value is reached; and an output value in the common base is stored in the digit collections after n multiplication iterations, represented by c2×b2m, wherein c2 is the converted coefficient of the output value in the common base b2 and m is the exponent of the output value.
摘要翻译：一种在数字计算系统中执行浮点转换的方法包括确定源数据c 1和源指数n，源数据n由源中的浮点数表示的输入值碱，b <1> 将源系数转换为公共基数b <2>，并将转换的系数存储在第一数字集合中; 将第一数字集合的内容迭代乘以b 1＆lt; 1＆gt;并将其中的中间结果存储在其中，其中携带第一数字集合的一个或多个溢出比特并将其添加到一个或多个附加数字集合达到非零值; 并且共同基底中的输出值被存储在数字集合中，在n乘法迭代之后，由c 2 2 x b 2，...，m 2表示，其中c ＆lt; 2＆gt; 2是公共基底b 2中的输出值的转换系数，m是输出值的指数。

2. 发明授权

US08037116B2 Method and system for optimizing floating point conversion between different bases 有权
标题翻译：优化不同基地之间的浮点转换的方法和系统
公开(公告)号：US08037116B2
公开(公告)日：2011-10-11
申请号：US11751084
申请日：2007-05-21
申请人： Trevor E. Carlson , Ali Y. Duale
发明人： Trevor E. Carlson , Ali Y. Duale
IPC分类号： G06F5/00
CPC分类号： H03M7/24
摘要： A method of streamlining floating-point conversions includes determining a source coefficient and a source exponent of an input value represented by a floating-point number in a source base; estimating an approximated target exponent (ATE) using the source coefficient and the source exponent, in the event the source coefficient has a non-zero value; determining whether the ATE exceeds a maximum exponent so as to result an overflow, and outputting a predefined overflow value in the event of an overflow; determining whether the ATE exceeds a minimum exponent so as to result an underflow, and outputting a predefined underflow value in the event of an underflow; and in the event the ATE does not result in either an overflow or underflow, converting the input value to an output value represented by a converted coefficient, a converted base and the exponent of the output value.
摘要翻译：一种简化浮点转换的方法包括确定由源基中的浮点数表示的输入值的源系数和源指数; 在源系数具有非零值的情况下，使用源系数和源指数来估计近似目标指数（ATE）; 确定ATE是否超过最大指数以导致溢出，并且在溢出的情况下输出预定义的溢出值; 确定ATE是否超过最小指数以导致下溢，并且在下溢的情况下输出预定义的下溢值; 并且在ATE不导致溢出或下溢的情况下，将输入值转换为由转换的系数，转换的基数和输出值的指数表示的输出值。

3. 发明申请

US20080263120A1 METHOD AND SYSTEM FOR OPTIMIZING FLOATING POINT CONVERSION BETWEEN DIFFERENT BASES 有权
标题翻译：用于优化不同基础之间的浮点转换的方法和系统
公开(公告)号：US20080263120A1
公开(公告)日：2008-10-23
申请号：US11751084
申请日：2007-05-21
申请人： Trevor E. Carlson , Ali Y. Duale
发明人： Trevor E. Carlson , Ali Y. Duale
IPC分类号： G06F7/38
CPC分类号： H03M7/24
摘要： A method of streamlining floating-point conversions includes determining a source coefficient and a source exponent of an input value represented by a floating-point number in a source base; estimating an approximated target exponent (ATE) using the source coefficient and the source exponent, in the event the source coefficient has a non-zero value; determining whether the ATE exceeds a maximum exponent so as to result an overflow, and outputting a predefined overflow value in the event of an overflow; determining whether the ATE exceeds a minimum exponent so as to result an underflow, and outputting a predefined underflow value in the event of an underflow; and in the event the ATE does not result in either an overflow or underflow, converting the input value to an output value represented by a converted coefficient, a converted base and the exponent of the output value.
摘要翻译：一种简化浮点转换的方法包括确定由源基中的浮点数表示的输入值的源系数和源指数; 在源系数具有非零值的情况下，使用源系数和源指数来估计近似目标指数（ATE）; 确定ATE是否超过最大指数以导致溢出，并且在溢出的情况下输出预定义的溢出值; 确定ATE是否超过最小指数以导致下溢，并且在下溢的情况下输出预定义的下溢值; 并且在ATE不导致溢出或下溢的情况下，将输入值转换为由转换的系数，转换的基数和输出值的指数表示的输出值。

4. 发明申请

US20110145308A1 SYSTEM TO IMPROVE NUMEREICAL CONVERSIONS AND ASSOCIATED METHODS 有权
标题翻译：改进数值转换和相关方法的系统
公开(公告)号：US20110145308A1
公开(公告)日：2011-06-16
申请号：US12638136
申请日：2009-12-15
申请人： Ali Y. Duale
发明人： Ali Y. Duale
IPC分类号： G06F7/483
CPC分类号： G06F7/483
摘要： A system to improve numerical conversion may include a data processor and a controller configured to convert a floating-point number from the data processor to more than one different floating-point type number. The conversion may enable the selection of the more than one different floating-point type number that satisfies the requirements of an executing application and/or is closest to the original number.
摘要翻译：改进数值转换的系统可以包括数据处理器和被配置为将浮点数从数据处理器转换成多于一个不同浮点类型数的控制器。该转换可以使得能够选择满足执行应用的要求和/或最接近原始号码的多于一个的不同浮点型号。

5. 发明授权

US06922658B2 Method and system for testing the validity of shared data in a multiprocessing system 失效
标题翻译：用于测试多处理系统中共享数据的有效性的方法和系统
公开(公告)号：US06922658B2
公开(公告)日：2005-07-26
申请号：US10404489
申请日：2003-03-31
申请人： Theodore J. Bohizic , Mark H. Decker , Ali Y. Duale , Shailesh Ratilal Gami , Vincent L. Ip , Dennis W. Wittig
发明人： Theodore J. Bohizic , Mark H. Decker , Ali Y. Duale , Shailesh Ratilal Gami , Vincent L. Ip , Dennis W. Wittig
IPC分类号： G06F9/46 , G06F11/30 , G06F15/00
CPC分类号： G06F9/46
摘要： A method for a method for testing the validity of shared data in a multiprocessing system is disclosed. The method comprises receiving at a first central processing unit a list of fetch and store instructions associated with blocks in a shared memory location. The list includes a data value, a central processing unit identifier and a relative order associated with the instructions. In addition, one of the data values associated with one of the instructions was stored by a memory-to-memory, memory-to-register or register-to-memory operation. Further, one of the central processing unit identifiers associated with one of the instructions is an identifier corresponding to one of a plurality of central processing units that have access to the shared memory location including the first central processing unit. A fetch operation is performed at a block in the shared memory location from the first central processing unit. Fetched data is received at the first central processing unit in response to the performing, where the fetched data was stored by one of the plurality of central processing units. The method verifies that the fetched data conforms to a block concurrency rule in response to the list and that the fetched data conforms to a serialization rule in response to the list.
摘要翻译：公开了一种用于在多处理系统中测试共享数据的有效性的方法。该方法包括在第一中央处理单元处接收与共享存储器位置中的块相关联的获取和存储指令的列表。列表包括数据值，中央处理单元标识符和与指令相关联的相对顺序。此外，与指令之一相关联的数据值之一由存储器到存储器，存储器到寄存器或寄存器到存储器操作存储。此外，与指令之一相关联的中央处理单元标识符之一是对应于能够访问包括第一中央处理单元的共享存储单元的多个中央处理单元之一的标识符。在来自第一中央处理单元的共享存储器位置的块处执行提取操作。响应于执行，在第一中央处理单元处接收获取的数据，其中所获取的数据由多个中央处理单元之一存储。该方法验证所获取的数据是否符合列表的并行规则，并且所取出的数据符合列表的序列化规则。

6. 发明申请

US20070277022A1 METHOD, SYSTEM AND PROGRAM PRODUCT FOR ESTABLISHING DECIMAL FLOATING POINT OPERANDS FOR FACILITATING TESTING OF DECIMAL FLOATING POINT INSTRUCTIONS 有权
标题翻译：用于建立十进制浮点运算的方法，系统和程序产品，用于促进十进制浮点指令的测试
公开(公告)号：US20070277022A1
公开(公告)日：2007-11-29
申请号：US11420045
申请日：2006-05-24
申请人： Theodore J. Bohizic , Mark H. Decker , Ali Y. Duale
发明人： Theodore J. Bohizic , Mark H. Decker , Ali Y. Duale
IPC分类号： G06F9/44
CPC分类号： G06F11/2226
摘要： A method, system and program product are provided for establishing one or more decimal floating point (DFP) operand for facilitating testing of a decimal floating point instruction. The method includes obtaining an encoded DFP operand previously generated for testing the decimal floating point instruction, and logically modifying at least one bit of the encoded DFP operand without decoding the encoded DFP operand to obtain an additional encoded DFP operand. In one embodiment, m sequential bits of the encoded DFP operand, n randomly generated bits (wherein n=m), and a logical operation (such as an AND, OR, XOR or SHIFT) are employed in modifying the previously generated, encoded DFP operand.
摘要翻译：提供了一种方法，系统和程序产品，用于建立一个或多个十进制浮点（DFP）操作数，以便于测试小数浮点指令。该方法包括获得先前生成的用于测试十进制浮点指令的编码DFP操作数，以及逻辑上修改编码的DFP操作数的至少一位，而不解码编码的DFP操作数，以获得其他编码的DFP操作数。在一个实施例中，编码的DFP操作数的m个连续位，n个随机生成的位（其中n = m）和逻辑运算（诸如AND，OR，XOR或SHIFT）被用于修改先前生成的编码的DFP 操作数

7. 发明授权

US08479172B2 Virtual machine testing 失效
标题翻译：虚拟机测试
公开(公告)号：US08479172B2
公开(公告)日：2013-07-02
申请号：US12952281
申请日：2010-11-23
申请人： Ali Y. Duale , Shailesh R. Gami , Dennis W. Wittig
发明人： Ali Y. Duale , Shailesh R. Gami , Dennis W. Wittig
IPC分类号： G06F9/44
CPC分类号： G06F11/3684 , G06F9/45533
摘要： A system for testing a base machine includes the base machine that has a base feature set (BFS) and a testing module. The system also includes a test case generator, configured to: select a prior level of the base machine, the prior level having a legacy architecture; determine a feature set of the legacy architecture based on the BFS; generate a set of test instructions based on the feature set; and provide the set of test instructions to the testing module.
摘要翻译：用于测试基本机器的系统包括具有基本特征集（BFS）和测试模块的基本机器。该系统还包括测试用例生成器，其被配置为：选择基本机器的先前级别，先前级别具有传统架构; 基于BFS确定遗留架构的特征集; 基于特征集生成一组测试指令; 并向测试模块提供一组测试指令。

8. 发明申请

US20120131560A1 VIRTUAL MACHINE TESTING 失效
标题翻译：虚拟机测试
公开(公告)号：US20120131560A1
公开(公告)日：2012-05-24
申请号：US12952281
申请日：2010-11-23
申请人： Ali Y. Duale , Shailesh R. Gami , Dennis W. Wittig
发明人： Ali Y. Duale , Shailesh R. Gami , Dennis W. Wittig
IPC分类号： G06F9/44
CPC分类号： G06F11/3684 , G06F9/45533
摘要： A system for testing a base machine includes the base machine that has a base feature set (BFS) and a testing module. The system also includes a test case generator, configured to: select a prior level of the base machine, the prior level having a legacy architecture; determine a feature set of the legacy architecture based on the BFS; generate a set of test instructions based on the feature set; and provide the set of test instructions to the testing module.
摘要翻译：用于测试基本机器的系统包括具有基本特征集（BFS）和测试模块的基本机器。该系统还包括测试用例生成器，其被配置为：选择基本机器的先前级别，先前级别具有传统架构; 基于BFS确定遗留架构的特征集; 基于特征集生成一组测试指令; 并向测试模块提供一组测试指令。

9. 发明授权

US07991811B2 Method and system for optimizing floating point conversion between different bases 有权
标题翻译：优化不同基地之间的浮点转换的方法和系统
公开(公告)号：US07991811B2
公开(公告)日：2011-08-02
申请号：US11736090
申请日：2007-04-17
申请人： Erik T. Carlson , Ali Y. Duale
发明人： Erik T. Carlson , Ali Y. Duale
IPC分类号： G06F5/00
CPC分类号： H03M7/24
摘要： A method of performing floating-point conversions in a digital computing system includes determining a source coefficient, c1, and a source exponent, n, of an input value represented by a floating-point number in a source base, b1; converting the source coefficient to a common base, b2, and storing the converted coefficient in a first digit collection; iteratively multiplying the contents of the first digit collection by b1 and storing the intermediate results therein, wherein one or more overflow bits of the first digit collection are carried and added to one or more additional digit collections once a nonzero value is reached; and an output value in the common base is stored in the digit collections after n multiplication iterations, represented by c2×b2m, wherein c2 is the converted coefficient of the output value in the common base b2 and m is the exponent of the output value.
摘要翻译：一种在数字计算系统中执行浮点转换的方法包括：确定由源基中的浮点数表示的输入值的源系数c1和源指数n，b1; 将源系数转换为公共基，b2，并将转换的系数存储在第一数字集合中; 迭代地将第一数字集合的内容乘以b1并存储其中的中间结果，其中一旦达到非零值就携带第一数字集合的一个或多个溢出位并将其加到一个或多个附加数字集合中; 并且在由c2×b2m表示的n次乘法迭代之后，将公共基底中的输出值存储在数字集合中，其中c2是公共基底b2中的输出值的转换系数，m是输出值的指数。

10. 发明授权

US07904270B2 System for estimating and improving test case generation 有权
标题翻译：用于估计和改进测试用例生成的系统
公开(公告)号：US07904270B2
公开(公告)日：2011-03-08
申请号：US12022388
申请日：2008-01-30
申请人： Theodore J. Bohizic , Ali Y. Duale , Dennis W. Wittig
发明人： Theodore J. Bohizic , Ali Y. Duale , Dennis W. Wittig
IPC分类号： G01R17/02
CPC分类号： G06F11/3676 , G01R31/31835 , G01R31/318357 , G06F11/3684
摘要： A technique for estimating and improving the test coverage for large machines, while accumulating minimum information of past test cases (i.e., minimum feedback) is provided. The technique is scalable in the sense that the number of machine instructions needed to measure the test coverage can range from a few instructions to all the instructions. The technique is easily integrated into existing test generation systems and is applicable to both uni- and multi-processing systems.
摘要翻译：提供了一种用于估计和改进大型机器的测试覆盖率的技术，同时累积过去测试用例的最小信息（即，最小反馈）。这种技术是可扩展的，因为测量覆盖范围所需的机器指令数量可以从几个指令到所有的指令。该技术易于集成到现有的测试生成系统中，适用于单处理和多处理系统。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式