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

1. 发明申请

US20080127163A1 Generation and Management of Logic 有权
标题翻译：逻辑的生成与管理
公开(公告)号：US20080127163A1
公开(公告)日：2008-05-29
申请号：US11530043
申请日：2006-09-08
申请人： David Fong , Stanley John , Zheng (Joy) Zhang , Qi (Christine) Chen
发明人： David Fong , Stanley John , Zheng (Joy) Zhang , Qi (Christine) Chen
IPC分类号： G06F9/44 , G06F9/45
CPC分类号： G06F8/51
摘要： Included are embodiments of a description language program stored in a computing device for updating a first version of a computer program. In at least one embodiment, the first version of the computer program is written in a universal format and the program includes logic configured to receive an updated version of the computer program. Other embodiments include logic configured to retrieve the first version of the computer program and logic configured to translate the updated version of the computer program from a proprietary format to the universal format. Still other embodiments include logic configured to utilize the at least one tag to compare the translated updated version of the computer program with the first version of the computer program.
摘要翻译：包括存储在用于更新计算机程序的第一版本的计算设备中的描述语言程序的实施例。在至少一个实施例中，计算机程序的第一版本以通用格式编写，并且程序包括被配置为接收计算机程序的更新版本的逻辑。其他实施例包括被配置为检索计算机程序的第一版本的逻辑和被配置为将计算机程序的更新版本从专用格式转换为通用格式的逻辑。其他实施例包括被配置为利用至少一个标签将计算机程序的翻译更新版本与计算机程序的第一版本进行比较的逻辑。

2. 发明授权

US07231627B2 Merging a hardware design language source file with a separate assertion file 有权
标题翻译：将硬件设计语言源文件与单独的断言文件合并
公开(公告)号：US07231627B2
公开(公告)日：2007-06-12
申请号：US11125991
申请日：2005-05-10
申请人： David Fong , Zheng (Joy) Zhang , Qi (Christine) Chen
发明人： David Fong , Zheng (Joy) Zhang , Qi (Christine) Chen
IPC分类号： G06F17/50
CPC分类号： G06F17/5022
摘要： A method is provided for merging assertions in one input file with hardware description language (HDL) code in another input file to produce an HDL output file. One embodiment, among others, comprises the steps of: copying an assertion identified by an assertion identifier from the first input file; locating a matching assertion identifier within a section of the second input file; and merging the assertion with the section of the second input file to produce a section in the HDL output file.
摘要翻译：提供一种用于将一个输入文件中的断言与另一个输入文件中的硬件描述语言（HDL）代码合并以产生HDL输出文件的方法。一个实施例包括以下步骤：从第一输入文件复制由断言标识符识别的断言; 在所述第二输入文件的一部分内定位匹配的断言标识符; 并将断言与第二个输入文件的部分合并，以产生HDL输出文件中的一个部分。

3. 发明授权

US08079027B2 Programming language translation systems and methods 有权
标题翻译：编程语言翻译系统和方法
公开(公告)号：US08079027B2
公开(公告)日：2011-12-13
申请号：US11530043
申请日：2006-09-08
申请人： David Fong , Stanley John , Zheng (Joy) Zhang , Qi (Christine) Chen
发明人： David Fong , Stanley John , Zheng (Joy) Zhang , Qi (Christine) Chen
IPC分类号： G06F9/44 , G06F9/45
CPC分类号： G06F8/51
摘要： Included are embodiments of a description language program stored in a computing device for updating a first version of a computer program. In at least one embodiment, the first version of the computer program is written in a universal format and the program includes logic configured to receive an updated version of the computer program. Other embodiments include logic configured to retrieve the first version of the computer program and logic configured to translate the updated version of the computer program from a proprietary format to the universal format. Still other embodiments include logic configured to utilize at least one tag to compare the translated updated version of the computer program with the first version of the computer program.
摘要翻译：包括存储在用于更新计算机程序的第一版本的计算设备中的描述语言程序的实施例。在至少一个实施例中，计算机程序的第一版本以通用格式编写，并且程序包括被配置为接收计算机程序的更新版本的逻辑。其他实施例包括被配置为检索计算机程序的第一版本的逻辑和被配置为将计算机程序的更新版本从专用格式转换为通用格式的逻辑。其他实施例包括被配置为利用至少一个标签来比较计算机程序的翻译的更新版本与计算机程序的第一版本的逻辑。

4. 发明申请

US20080098366A1 Assertion Tester 审中-公开
标题翻译：断言测试仪
公开(公告)号：US20080098366A1
公开(公告)日：2008-04-24
申请号：US11539663
申请日：2006-10-09
申请人： David Fong , Stanley John , Zheng (Joy) Zhang , Qi (Christine) Chen
发明人： David Fong , Stanley John , Zheng (Joy) Zhang , Qi (Christine) Chen
IPC分类号： G06F9/44 , G06F9/45
CPC分类号： G06F17/5022 , G06F17/505
摘要： Included is a method for testing an assertion written for a logic program that can be simulated in a simulation program. Embodiments of the method include receiving the assertion independent from the logic program and independent from the simulation program, wherein the assertion includes at least one variable from the simulation program and determining the at least one variable in the assertion. Embodiments of the method also include testing the assertion independent from the logic program and the simulation program, wherein testing the assertion includes testing the assertion with at least one value for the at least one variable and determining at least one violation of the assertion.
摘要翻译：包括一种用于测试为在仿真程序中可以模拟的逻辑程序写入的断言的方法。该方法的实施例包括独立于逻辑程序接收断言并且独立于模拟程序，其中断言包括来自模拟程序的至少一个变量并且确定断言中的至少一个变量。该方法的实施例还包括独立于逻辑程序和仿真程序测试断言，其中测试该断言包括用至少一个变量的至少一个值测试该断言，并确定至少一次违反该断言。

5. 发明申请

US20070294647A1 Transferring software assertions to hardware design language code 审中-公开
标题翻译：将软件断言转移到硬件设计语言代码
公开(公告)号：US20070294647A1
公开(公告)日：2007-12-20
申请号：US11445013
申请日：2006-06-01
申请人： David Fong , Zheng (Joy) Zhang , Qi (Christine) Chen
发明人： David Fong , Zheng (Joy) Zhang , Qi (Christine) Chen
IPC分类号： G06F17/50 , G06F9/45
CPC分类号： G06F17/5045
摘要： Systems and methods are disclosed for transferring assertions in a software programming language source file to an HDL source file. In one such method, a first source file contains source code in a software programming language and a second source file contains HDL source code translated from the source code in the first source file. The second source file excludes assertions translated from the source code in the first source file. This method comprises the steps of: reading a software assertion from from the first source file; locating a second block within the second source file, where the second block corresponds to a first block that contains the software assertion; mapping the software assertion to a hardware assertion expressed in the HDL; determining a location within the second block for insertion of the hardware assertion; and inserting the hardware assertion at the determined location within the second source file.
摘要翻译：公开了用于将软件编程语言源文件中的断言传送到HDL源文件的系统和方法。在一种这样的方法中，第一源文件包含软件编程语言的源代码，第二源文件包含从第一源文件中的源代码翻译的HDL源代码。第二个源文件排除了从第一个源文件中的源代码翻译的断言。该方法包括以下步骤：从第一源文件读取软件断言; 将第二块定位在第二源文件中，其中第二块对应于包含软件断言的第一块; 将软件断言映射到HDL中表示的硬件断言; 确定所述第二块内的位置以插入所述硬件断言; 以及将所述硬件断言插入所述第二源文件中的所确定的位置。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式