-
公开(公告)号：US20080127163A1
公开(公告)日：2008-05-29
申请号：US11530043
申请日：2006-09-08
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.
摘要翻译： 包括存储在用于更新计算机程序的第一版本的计算设备中的描述语言程序的实施例。 在至少一个实施例中，计算机程序的第一版本以通用格式编写，并且程序包括被配置为接收计算机程序的更新版本的逻辑。 其他实施例包括被配置为检索计算机程序的第一版本的逻辑和被配置为将计算机程序的更新版本从专用格式转换为通用格式的逻辑。 其他实施例包括被配置为利用至少一个标签将计算机程序的翻译更新版本与计算机程序的第一版本进行比较的逻辑。
-
公开(公告)号：US08079027B2
公开(公告)日：2011-12-13
申请号：US11530043
申请日：2006-09-08
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.
摘要翻译： 包括存储在用于更新计算机程序的第一版本的计算设备中的描述语言程序的实施例。 在至少一个实施例中，计算机程序的第一版本以通用格式编写，并且程序包括被配置为接收计算机程序的更新版本的逻辑。 其他实施例包括被配置为检索计算机程序的第一版本的逻辑和被配置为将计算机程序的更新版本从专用格式转换为通用格式的逻辑。 其他实施例包括被配置为利用至少一个标签来比较计算机程序的翻译的更新版本与计算机程序的第一版本的逻辑。
-
公开(公告)号：US20080098366A1
公开(公告)日：2008-04-24
申请号：US11539663
申请日：2006-10-09
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.
摘要翻译： 包括一种用于测试为在仿真程序中可以模拟的逻辑程序写入的断言的方法。 该方法的实施例包括独立于逻辑程序接收断言并且独立于模拟程序，其中断言包括来自模拟程序的至少一个变量并且确定断言中的至少一个变量。 该方法的实施例还包括独立于逻辑程序和仿真程序测试断言，其中测试该断言包括用至少一个变量的至少一个值测试该断言，并确定至少一次违反该断言。
-
4.发明授权Merging a hardware design language source file with a separate assertion file 有权将硬件设计语言源文件与单独的断言文件合并公开(公告)号：US07231627B2
公开(公告)日：2007-06-12
申请号：US11125991
申请日：2005-05-10
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输出文件中的一个部分。
-
公开(公告)号：US20070294647A1
公开(公告)日：2007-12-20
申请号：US11445013
申请日：2006-06-01
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中表示的硬件断言; 确定所述第二块内的位置以插入所述硬件断言; 以及将所述硬件断言插入所述第二源文件中的所确定的位置。
-
公开(公告)号：US20070153989A1
公开(公告)日：2007-07-05
申请号：US11324208
申请日：2005-12-30
申请人： David Howell , Sridhar Sundararaman , David Fong , Frank Seide
发明人： David Howell , Sridhar Sundararaman , David Fong , Frank Seide
IPC分类号： H04M11/00
CPC分类号： H04M3/5307 , H04M2201/405 , H04M2201/60 , H04M2203/253 , H04M2203/4509
摘要： Improved systems and methods are provided for transcribing audio files of voice mails sent over a unified messaging system. Customized grammars specific to a voice mail recipient are created and utilized to transcribe a received voice mail by comparing the audio file to commonly utilized words, names, acronyms, and phrases used by the recipient. Key elements are identified from the resulting text transcription to aid the recipient in processing received voice mails based on the significant content contained in the voice mail.
摘要翻译： 提供了改进的系统和方法，用于转录通过统一消息系统发送的语音邮件的音频文件。 通过将音频文件与收件人使用的常用词，名称，首字母缩略词和短语进行比较，创建和利用特定于语音邮件收件人的定制语法来转录接收到的语音邮件。 从所得到的文本转录中识别关键要素，以帮助接收者基于语音邮件中包含的重要内容来处理接收的语音邮件。
-
7.发明申请Merging a hardware design language source file with a separate assertion file 有权将硬件设计语言源文件与单独的断言文件合并公开(公告)号：US20060259884A1
公开(公告)日：2006-11-16
申请号：US11125991
申请日：2005-05-10
申请人： David Fong , Zheng Zhang , Qi Chen
发明人： David Fong , Zheng Zhang , Qi Chen
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输出文件中的一个部分。
-
公开(公告)号：US20050010427A1
公开(公告)日：2005-01-13
申请号：US10617904
申请日：2003-07-11
申请人： Aditya Bhandarkar , David Fong , Eddie Fusaro , Mayank Mehta , Anand Ramanathan , Dharma Shukla , Kumarswamy Valegerepura , Mark Wain , Muralidhara Chilayurl
发明人： Aditya Bhandarkar , David Fong , Eddie Fusaro , Mayank Mehta , Anand Ramanathan , Dharma Shukla , Kumarswamy Valegerepura , Mark Wain , Muralidhara Chilayurl
CPC分类号： G06Q10/06 , G06Q10/103
摘要： Partner management systems and methods are disclosed. A designer designs a business process that provides selection criteria for selecting business partners. The business process is compiled and executed by a business process execution engine. During the execution of the business process, the business process execution engine uses the selection criteria to select business partners. The identification of business partners and attributes of the business partners may be modified without modifying the business process.
摘要翻译： 披露合作伙伴管理系统和方法。 设计师设计一个业务流程，为选择业务伙伴提供选择标准。 业务流程由业务流程执行引擎编译和执行。 在业务流程执行期间，业务流程执行引擎使用选择标准来选择业务伙伴。 业务合作伙伴的身份识别和业务伙伴的属性可能会被修改，而无需修改业务流程。
-
9.发明授权Method of testing the thin oxide of a semiconductor memory cell that uses breakdown voltage 有权测试使用击穿电压的半导体存储单元的薄氧化物的方法公开(公告)号：US06791891B1
公开(公告)日：2004-09-14
申请号：US10406406
申请日：2003-04-02
申请人： Jack Zezhong Peng , Harry Shengwen Luan , Jianguo Wang , Zhongshan Liu , David Fong , Fei Ye
发明人： Jack Zezhong Peng , Harry Shengwen Luan , Jianguo Wang , Zhongshan Liu , David Fong , Fei Ye
IPC分类号： G11C700
CPC分类号： G11C29/50 , G11C16/04 , G11C2029/5002
摘要： A method of testing a memory cell is disclosed. The memory cell has a data storage element constructed around an ultra-thin dielectric, such as a gate oxide, which is used to store information by stressing the ultra-thin dielectric into breakdown (soft or hard breakdown) to set the leakage current level of the memory cell. In order to ensure that the gate oxide underlying the data storage elements are of sufficient quality for programming, the memory cells of a memory array may be tested by applying a voltage across the gate oxide of the data storage element and measuring the current flow. Resultant current flow outside of a predetermined range indicates a defective memory cell.
摘要翻译： 公开了一种测试存储单元的方法。 存储单元具有围绕诸如栅极氧化物的超薄电介质构成的数据存储元件，其用于通过将超薄电介质压制成击穿（软或硬击穿）来存储信息，以设置泄漏电流水平 存储单元。 为了确保数据存储元件下面的栅极氧化物具有足够的编程质量，可以通过在数据存储元件的栅极氧化物上施加电压并测量电流来测试存储器阵列的存储单元。 在预定范围之外的所得电流表示有缺陷的存储单元。
-
公开(公告)号：US20070226556A1
公开(公告)日：2007-09-27
申请号：US11389710
申请日：2006-03-27
申请人： David Fong , Gang Miao
发明人： David Fong , Gang Miao
IPC分类号： G01R31/28
CPC分类号： G01R31/318516 , G01R31/31704
摘要： Provided are systems for repairing an integrated circuit device. The systems include detection logic configured to locate a defective portion of an integrated circuit device, a supplemental integrated circuit component configured to functionally replace the defective portion, and logic configured to identify an interface location. Also provided are methods for repairing an integrated circuit device. The methods include the steps of: identifying a defective portion of an integrated circuit device; disconnecting existing circuit components; and incorporating a supplemental integrated circuit component with the integrated circuit device.
摘要翻译： 提供了用于修复集成电路器件的系统。 所述系统包括被配置为定位集成电路设备的缺陷部分的检测逻辑，被配置为功能地替换缺陷部分的补充集成电路部件以及被配置为识别接口位置的逻辑。 还提供了用于修复集成电路装置的方法。 所述方法包括以下步骤：识别集成电路器件的缺陷部分; 断开现有电路部件; 并将集成电路器件与补充集成电路器件相结合。
-
-
-
-
-
-
-
-
-
搜索结果
47 条记录 (耗时 0.023 秒)