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

1. 发明授权

US6049662A System and method for model size reduction of an integrated circuit utilizing net invariants 失效
标题翻译：使用网络不变量的集成电路的模型尺寸减小的系统和方法
公开(公告)号：US6049662A
公开(公告)日：2000-04-11
申请号：US790261
申请日：1997-01-27
申请人： Avijit Saha , James D. Christian , William M. Canfield , Greg N. Fife , Nadeem Malik
发明人： Avijit Saha , James D. Christian , William M. Canfield , Greg N. Fife , Nadeem Malik
IPC分类号： G01R31/317 , G06F17/50
CPC分类号： G06F17/5022 , G01R31/317
摘要： The present invention provides a system and method for verifying an integrated circuit model. The model includes a plurality of net variables. The system and method comprises generating a plurality of tests for simulating the integrated circuit, precalculating a reduced model based upon the generated tests, and evaluating the reduced model. In a preferred embodiment, the present invention includes restricting the test that are generated. Then net invariants for the integrated circuit are generated by translating the restricted plurality of tests to a smaller set of possible values for the net variables. Thereafter, a minimization algorithm or procedure is utilized to minimize the logic used in the particular system based upon the latch constraints. This system produces a reduced model which reduces the amount of the integrated circuit that must be simulated thereby increasing the simulation speed thereof. Accordingly, the present invention integrates an event-driven simulation and a cycle simulation in such a manner that the saving can be proportional to the size of the reduction of the model. In many environments this reduction is significant because it allows for a significant reduction in space which has a clear bearing on the verification process.
摘要翻译：本发明提供了一种用于验证集成电路模型的系统和方法。该模型包括多个净变量。该系统和方法包括生成多个用于模拟集成电路的测试，基于所生成的测试预先计算减少的模型，以及评估简化的模型。在优选实施例中，本发明包括限制所产生的测试。然后，通过将受限制的多个测试转换为较小的一组可变值来产生用于集成电路的净不变量。此后，利用最小化算法或过程来最小化基于锁存约束的在特定系统中使用的逻辑。该系统产生减少的模型，其减少必须模拟的集成电路的量，从而增加其模拟速度。因此，本发明以如下方式集成了事件驱动的仿真和循环模拟，即节省可以与模型的减小的大小成比例。在许多环境中，这种减少是重要的，因为它允许显着减少空间，这对验证过程有明确的影响。

2. 发明授权

US08059905B1 Method and system for thresholding 有权
标题翻译：阈值法的方法和系统
公开(公告)号：US08059905B1
公开(公告)日：2011-11-15
申请号：US11472174
申请日：2006-06-21
申请人： James D. Christian
发明人： James D. Christian
IPC分类号： G06K9/40
CPC分类号： G06T5/002 , G06T5/10 , G06T2207/20012 , G06T2207/20064
摘要： Embodiments of the present invention provide for thresholding data elements (such as coefficients). According to one embodiment, a number of functions (including feature detector functions) can be applied to a data element to generate responses. Additionally, noise profiles can be consulted to determine an expected result for each function if the data element represents noise. An output value (e.g., after thresholding) for the data element can be generated based on the actual responses of the functions and the expected responses.
摘要翻译：本发明的实施例提供对数据元素（诸如系数）进行阈值处理。根据一个实施例，可以将多个功能（包括特征检测器功能）应用于数据元素以产生响应。另外，如果数据元素表示噪声，则可以查询噪声分布以确定每个功能的预期结果。可以基于功能和预期响应的实际响应来生成数据元素的输出值（例如，阈值之后）。

3. 发明授权

US07889943B1 Method and system for characterizing noise 有权
标题翻译：表征噪音的方法和系统
公开(公告)号：US07889943B1
公开(公告)日：2011-02-15
申请号：US11405797
申请日：2006-04-18
申请人： James D. Christian
发明人： James D. Christian
IPC分类号： G06K9/40
CPC分类号： H04N9/045 , G06T5/002
摘要： Embodiments of the present invention provide a method and system for characterizing noise in a set of data based on an analysis of subsets of the data. For example, noise for an image can be characterized based on analyzing selected regions of the image. The characterization of the noise can be stored in a data structure that models the noise as jointly dependent on values of multiple parameters (pixel values for multiple channels). The noise can be further characterized for one or more wavelet subbands of the set of data.
摘要翻译：本发明的实施例提供了一种基于数据子集的分析来表征一组数据中的噪声的方法和系统。例如，可以基于分析图像的选定区域来表征图像的噪声。噪声的表征可以存储在模拟噪声的数据结构中，这与数个参数的值（多个通道的像素值）一致。可以对该组数据的一个或多个小波子带进一步表征噪声。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式