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

1. 发明申请

US20090210837A1 VERIFYING NON-DETERMINISTIC BEHAVIOR OF A DESIGN UNDER TEST 有权
标题翻译：验证设计的非确定行为
公开(公告)号：US20090210837A1
公开(公告)日：2009-08-20
申请号：US12034161
申请日：2008-02-20
申请人： Jesse E. Craig , Suzanne Granato , Francis A. Kampf , Barbara L. Powers
发明人： Jesse E. Craig , Suzanne Granato , Francis A. Kampf , Barbara L. Powers
IPC分类号： G06F17/50
CPC分类号： G06F17/5022
摘要： The invention generally relates to design verification, and more particularly to verification of non-deterministic behavior of a design under test. A method includes predicting a plurality of behaviors of a design under test (DUT), and forking respective verification tasks for each one of the plurality of behaviors. The method further includes verifying an actual behavior of the DUT with each of the verification tasks, and terminating a respective one of the verification tasks when the actual behavior of the DUT does not conform to the respective one of the verification tasks.
摘要翻译：本发明通常涉及设计验证，更具体地涉及对被测设计的非确定性行为的验证。一种方法包括：对被测设计（DUT）的多个行为进行预测，以及针对所述多个行为中的每一个划分相应的验证任务。该方法还包括：当DUT的实际行为不符合相应的一个验证任务时，通过每个验证任务验证DUT的实际行为，并终止相应的一个验证任务。

2. 发明授权

US08103998B2 Verifying non-deterministic behavior of a design under test 有权
标题翻译：验证被测设计的非确定性行为
公开(公告)号：US08103998B2
公开(公告)日：2012-01-24
申请号：US12034161
申请日：2008-02-20
申请人： Jesse E. Craig , Suzanne Granato , Francis A. Kampf , Barbara L. Powers
发明人： Jesse E. Craig , Suzanne Granato , Francis A. Kampf , Barbara L. Powers
IPC分类号： G06F17/50
CPC分类号： G06F17/5022
摘要： The invention generally relates to design verification, and more particularly to verification of non-deterministic behavior of a design under test. A method includes predicting a plurality of behaviors of a design under test (DUT), and forking respective verification tasks for each one of the plurality of behaviors. The method further includes verifying an actual behavior of the DUT with each of the verification tasks, and terminating a respective one of the verification tasks when the actual behavior of the DUT does not conform to the respective one of the verification tasks.
摘要翻译：本发明通常涉及设计验证，更具体地涉及对被测设计的非确定性行为的验证。一种方法包括：对被测设计（DUT）的多个行为进行预测，以及针对所述多个行为中的每一个划分相应的验证任务。该方法还包括：当DUT的实际行为不符合相应的一个验证任务时，通过每个验证任务验证DUT的实际行为，并终止相应的一个验证任务。

3. 发明授权

US07831879B2 Generating test coverage bin based on simulation result 有权
标题翻译：根据仿真结果生成测试覆盖区
公开(公告)号：US07831879B2
公开(公告)日：2010-11-09
申请号：US12033239
申请日：2008-02-19
申请人： Bruce J. Ditmyer , Susan Farmer Bueti , Jonathan P. Ebbers , Suzanne Granato , Francis A. Kampf , Barbara L. Powers , Louis Stermole
发明人： Bruce J. Ditmyer , Susan Farmer Bueti , Jonathan P. Ebbers , Suzanne Granato , Francis A. Kampf , Barbara L. Powers , Louis Stermole
IPC分类号： G06F11/00
CPC分类号： G06F11/261
摘要： A solution for generating functional coverage bins for testing a device is disclosed. A method includes: receiving information of a failing test generated from a random simulation performed on the device; tracing a first sequence of signal events that happened in the failing test; correlating the signal events to coverage bins to generate a sequence of coverage bins; creating cross coverage event sequence bins based on the sequence of coverage bins; and outputting the created coverage event sequence bins for testing the device.
摘要翻译：公开了一种用于生成用于测试设备的功能覆盖箱的解决方案。一种方法包括：接收从在设备上执行的随机模拟产生的故障测试的信息; 跟踪失败测试中发生的第一个信号事件序列; 将信号事件与覆盖区相关联以产生覆盖区序列; 基于覆盖区序列创建交叉覆盖事件序列仓; 并输出用于测试设备的创建的覆盖事件序列箱。

4. 发明申请

US20070220386A1 VERIFICATION OF THE DESIGN OF AN INTEGRATED CIRCUIT BACKGROUND 失效
标题翻译：集成电路设计的验证背景
公开(公告)号：US20070220386A1
公开(公告)日：2007-09-20
申请号：US11276295
申请日：2006-02-23
申请人： Jesse Ethan Craig , Suzanne Granato , Francis A. Kampf , Barbara L. Powers
发明人： Jesse Ethan Craig , Suzanne Granato , Francis A. Kampf , Barbara L. Powers
IPC分类号： G01R31/28
CPC分类号： G06F17/5009 , G01R31/318357 , G06F2217/04
摘要： A method, apparatus, and computer program product for performing verification on an integrated circuit design having state variables. Random vectors are generated, used to simulate the design, and generate a set of values for the state variables. The generated values are compared to groups having stored values from previous stimulations and either a new group is crated for the generated set of values or the existing groups accurately represent the generated set of values and they are stored in one of the existing groups.
摘要翻译：一种用于对具有状态变量的集成电路设计进行验证的方法，装置和计算机程序产品。生成随机向量，用于模拟设计，并为状态变量生成一组值。将生成的值与具有来自先前刺激的存储值的组进行比较，并且为生成的值集合填充新组，或者现有组准确地表示生成的值集合，并将它们存储在现有组之一中。

5. 发明申请

US20090210746A1 GENERATING TEST COVERAGE BIN BASED ON SIMULATION RESULT 有权
标题翻译：基于模拟结果生成测试覆盖
公开(公告)号：US20090210746A1
公开(公告)日：2009-08-20
申请号：US12033239
申请日：2008-02-19
申请人： Bruce J. Ditmyer , Susan Farmer Bueti , Jonathan P. Ebbers , Suzanne Granato , Francis A. Kampf , Barbara L. Powers , Louis Stermole
发明人： Bruce J. Ditmyer , Susan Farmer Bueti , Jonathan P. Ebbers , Suzanne Granato , Francis A. Kampf , Barbara L. Powers , Louis Stermole
IPC分类号： G06F11/00
CPC分类号： G06F11/261
摘要： A solution for generating functional coverage bins for testing a device is disclosed. A method includes: receiving information of a failing test generated from a random simulation performed on the device; tracing a first sequence of signal events that happened in the failing test; correlating the signal events to coverage bins to generate a sequence of coverage bins; creating cross coverage event sequence bins based on the sequence of coverage bins; and outputting the created coverage event sequence bins for testing the device.
摘要翻译：公开了一种用于生成用于测试设备的功能覆盖箱的解决方案。一种方法包括：接收从在该设备上执行的随机模拟产生的故障测试的信息; 跟踪失败测试中发生的第一个信号事件序列; 将信号事件与覆盖区相关联以产生覆盖区序列; 基于覆盖区序列创建交叉覆盖事件序列仓; 并输出用于测试设备的创建的覆盖事件序列箱。

6. 发明授权

US07360138B2 Verification of the design of an integrated circuit background 失效
标题翻译：验证集成电路背景的设计
公开(公告)号：US07360138B2
公开(公告)日：2008-04-15
申请号：US11276295
申请日：2006-02-23
申请人： Jesse Ethan Craig , Suzanne Granato , Francis A. Kampf , Barbara L. Powers
发明人： Jesse Ethan Craig , Suzanne Granato , Francis A. Kampf , Barbara L. Powers
IPC分类号： G06F11/00
CPC分类号： G06F17/5009 , G01R31/318357 , G06F2217/04
摘要： A method, apparatus, and computer program product for performing verification on an integrated circuit design having state variables. Random vectors are generated, used to simulate the design, and generate a set of values for the state variables. The generated values are compared to groups having stored values from previous stimulations and either a new group is created for the generated set of values or the existing groups accurately represent the generated set of values and they are stored in one of the existing groups.
摘要翻译：一种用于对具有状态变量的集成电路设计进行验证的方法，装置和计算机程序产品。生成随机向量，用于模拟设计，并为状态变量生成一组值。将生成的值与具有来自先前刺激的存储值的组进行比较，并且为生成的值组创建新组，或者现有组准确地表示生成的值集合，并将它们存储在现有组之一中。

7. 发明授权

US07251794B2 Simulation testing of digital logic circuit designs 有权
标题翻译：数字逻辑电路设计仿真测试
公开(公告)号：US07251794B2
公开(公告)日：2007-07-31
申请号：US10904056
申请日：2004-10-21
申请人： Rafael Blanco , Suzanne Granato , Francis A. Kampf , Douglas T. Massey
发明人： Rafael Blanco , Suzanne Granato , Francis A. Kampf , Douglas T. Massey
IPC分类号： G06F17/50
CPC分类号： G06F17/5031
摘要： A method and system for testing a circuit design. The method including generating a simulation model of the circuit design, the circuit design comprising one or more source latches, one or more destination latches and a logic function connected between the source latches and the destination latches; generating a modified simulation model of the simulation model by inserting random skew between an output of each source latch and an input of the logic function only in asynchronous data paths between the source latches and the destination latches of the simulation model; and running the modified simulation model.
摘要翻译：一种用于测试电路设计的方法和系统。该方法包括生成电路设计的仿真模型，电路设计包括一个或多个源锁存器，一个或多个目标锁存器和连接在源锁存器和目的地锁存器之间的逻辑功能; 通过在每个源锁存器的输出和逻辑功能的输入之间插入随机偏差仅在模拟模型的源锁存器和目标锁存器之间的异步数据路径中来产生模拟模型的修改的仿真模型; 并运行修改后的仿真模型。

8. 发明授权

US06480897B1 Optimistic transmission flow control including receiver data discards upon inadequate buffering condition 失效
标题翻译：包括接收机数据的乐观传输流量控制在缓冲条件不足时丢弃
公开(公告)号：US06480897B1
公开(公告)日：2002-11-12
申请号：US08998965
申请日：1997-12-29
申请人： Christine M. Desnoyers , Douglas J. Joseph , Francis A. Kampf , Alan F. Benner
发明人： Christine M. Desnoyers , Douglas J. Joseph , Francis A. Kampf , Alan F. Benner
IPC分类号： G06F1516
CPC分类号： G06F15/17368
摘要： A program product for a message processing system in which messages are transmitted from source nodes to destination nodes. A transmission flow control technique is disclosed in which the source node optimistically sends control information and a data portion of a message, and wherein a destination node discards the data portion of the message if it is unable to accommodate it. The destination node, however, retains enough of the control information to identify the message to the source node, and when the destination node is subsequently able to accommodate the data portion, the destination node issues a request to the source node to retransmit the data portion of the message. Discarding of one message is followed by discards of sequential messages, until the destination node is able to accommodate the data portions of messages. The flow control technique disclosed herein is used, for example, in an environment where buffers are posted to accommodate messages at the destination node, and is particularly suited for conditions arising in multi-tasking systems where the destination node is generally assumed to be prepared to accommodate data, however, if not prepared, is likely not prepared for long periods of time.
摘要翻译：用于消息处理系统的程序产品，其中消息从源节点传送到目的地节点。公开了一种传输流控制技术，其中源节点乐观地发送消息的控制信息和数据部分，并且其中目的地节点丢弃该消息的数据部分，如果它不能容纳该消息。然而，目的地节点保留足够的控制信息以识别到源节点的消息，并且当目的地节点随后能够容纳数据部分时，目的地节点向源节点发出请求以重新发送数据部分的消息。丢弃一个消息之后是顺序消息的丢弃，直到目标节点能够容纳消息的数据部分。本文公开的流控制技术例如在缓冲器被张贴以适应目的地节点处的消息的环境中使用，并且特别适用于通常假定目的地节点准备准备的多任务系统中出现的条件容纳数据，但如果没有准备，很可能没有准备好长时间。

9. 发明授权

US06281816B1 Method and apparatus for reducing data expansion during data compression 有权
标题翻译：用于在数据压缩期间减少数据扩展的方法和装置
公开(公告)号：US06281816B1
公开(公告)日：2001-08-28
申请号：US09379864
申请日：1999-08-24
申请人： Francis A. Kampf
发明人： Francis A. Kampf
IPC分类号： H03M700
CPC分类号： H03M7/30 , G06T9/005 , H03M7/3086
摘要： A method and apparatus for reducing data expansion during data compression are provided that allow the coding scheme used to compress data to be swapped between two or more coding schemes. Specifically, a coding window is provided that holds data to be compressed, and the compression potential of data entering or exiting the coding window is calculated. When a first threshold compression potential sum of data entering the window is reached, the coding scheme used to compress the data within the coding window is swapped from one coding scheme to another. A new compression potential sum is set based upon the compression potential of data exiting the window. The compression potential sum comprises a running total of the compression potential of data entering the coding window; and the coding scheme used to compress data within the coding window is swapped from one coding scheme to another when the compression potential sum reaches a first predetermined value. Preferably the first predetermined value is programmable and is related to the bit cost required to swap back and forth between coding schemes. The two preferred coding schemes are ALDC Lempel-Ziv 1 coding and a pass-through coding scheme wherein raw data is passed unencoded. A coding window circuit also is provided that allows analysis of the compression potential of data in accordance with the above method.
摘要翻译：提供一种用于在数据压缩期间减少数据扩展的方法和装置，其允许用于压缩在两个或多个编码方案之间交换的数据的编码方案。具体地说，提供一个保存要压缩的数据的编码窗口，并且计算进入或退出编码窗口的数据的压缩电位。当达到进入窗口的数据的第一阈值压缩潜力和时，用于压缩编码窗口内的数据的编码方案从一个编码方案交换到另一编码方案。基于离开窗口的数据的压缩电位设置新的压缩电位和。压缩电位和包括进入编码窗口的数据的压缩电位的运行总和; 并且当压缩电位和达到第一预定值时，用于压缩编码窗口内的数据的编码方案从一个编码方案交换到另一编码方案。优选地，第一预定值是可编程的，并且与编码方案之间来回切换所需的位成本相关。两个优选的编码方案是ALDC Lempel-Ziv 1编码和其中原始数据未经编码的传递编码方案。还提供一种编码窗口电路，其允许根据上述方法分析数据的压缩电位。

10. 发明授权

US08238677B2 Adaptive lossless data compression method for compression of color image data 有权
标题翻译：用于压缩彩色图像数据的自适应无损数据压缩方法
公开(公告)号：US08238677B2
公开(公告)日：2012-08-07
申请号：US12044297
申请日：2008-03-07
申请人： Adam J. Courchesne , Francis A. Kampf
发明人： Adam J. Courchesne , Francis A. Kampf
IPC分类号： G06K9/00 , G06K9/36 , G06K9/46
CPC分类号： H04N19/34 , H04N19/12 , H04N19/184 , H04N19/186 , H04N19/593
摘要： An adaptive lossless data compression method for compression of color image data in a data processing system. The method includes comparing a plurality of components of a plurality of adjacent pixels in a digital image, calculating spatial differences between the plurality of adjacent pixels, encoding the spatial differences and recording the encoded spatial differences, formatting an image file representing the digital image into byte streams based on bit significance, and compressing, independently, the byte streams associated with each bit significance of the encoded spatial differences.
摘要翻译：一种用于在数据处理系统中压缩彩色图像数据的自适应无损数据压缩方法。该方法包括比较数字图像中的多个相邻像素的多个分量，计算多个相邻像素之间的空间差异，编码空间差异并记录编码的空间差异，将表示数字图像的图像文件格式化为字节基于比特重要性的流，并且独立地压缩与编码的空间差异的每个比特重要性相关联的字节流。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式