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

1. 发明授权

US08359559B2 Methods and systems for evaluating checker quality of a verification environment 有权
标题翻译：用于评估验证环境的检验质量的方法和系统
公开(公告)号：US08359559B2
公开(公告)日：2013-01-22
申请号：US12977376
申请日：2010-12-23
申请人： Kai Yang , Michael Lyons , Kuo-Ching Lin , Wei-Ting Tu , Chih-Wen Chang , Tein-Chun Wei
发明人： Kai Yang , Michael Lyons , Kuo-Ching Lin , Wei-Ting Tu , Chih-Wen Chang , Tein-Chun Wei
IPC分类号： G06F17/50 , G06F9/455
CPC分类号： G06F17/5022 , G06F17/504 , G06F2217/10
摘要： Methods and systems for evaluating checker quality of a verification environment are provided. In some embodiments, an overall sensitivity for the verification environment and an individual sensitivity for a respective checker are calculated. The overall sensitivity is a probability that a plurality of problematic design behaviors, which are propagated to a checker system including at least one checker, can be detected by the verification environment. The individual sensitivity is a probability that a plurality of problematic design behaviors, which are propagated to at least one specific probe among a plurality of probes of a design, can be detected by the checker corresponding to the specific probe. The overall checker sensitivity numbers can show the robustness of the check system. The individual checker sensitivity can guide the user which individual checker or checkers to improve.
摘要翻译：提供了用于评估验证环境的检查器质量的方法和系统。在一些实施例中，计算验证环境的总体灵敏度和相应检查器的个体灵敏度。总体灵敏度是通过验证环境可以检测到传播到包括至少一个检验器的检查系统的多个有问题的设计行为的概率。个体敏感度是通过与特定探针对应的检查器可以检测到在设计的多个探针中传播到至少一个特定探针的多个有问题的设计行为的概率。整体检查灵敏度数字可以显示检查系统的稳健性。单独的检查灵敏度可以指导用户哪个单独的检查器或检查器改进。

2. 发明申请

US20110302541A1 Methods and Systems for Evaluating Checker Quality of a Verification Environment 有权
标题翻译：评估验证环境检验质量的方法和系统
公开(公告)号：US20110302541A1
公开(公告)日：2011-12-08
申请号：US12977376
申请日：2010-12-23
申请人： Kai Yang , Michael Lyons , Kuo-Ching Lin , Wei-Ting Tu , Chih-Wen Chang , Tein-Chun Wei
发明人： Kai Yang , Michael Lyons , Kuo-Ching Lin , Wei-Ting Tu , Chih-Wen Chang , Tein-Chun Wei
IPC分类号： G06F17/50
CPC分类号： G06F17/5022 , G06F17/504 , G06F2217/10
摘要： Methods and systems for evaluating checker quality of a verification environment are provided. In some embodiments, an overall sensitivity for the verification environment and an individual sensitivity for a respective checker are calculated. The overall sensitivity is a probability that a plurality of problematic design behaviors, which are propagated to a checker system including at least one checker, can be detected by the verification environment. The individual sensitivity is a probability that a plurality of problematic design behaviors, which are propagated to at least one specific probe among a plurality of probes of a design, can be detected by the checker corresponding to the specific probe. The overall checker sensitivity numbers can show the robustness of the check system. The individual checker sensitivity can guide the user which individual checker or checkers to improve.
摘要翻译：提供了用于评估验证环境的检查器质量的方法和系统。在一些实施例中，计算验证环境的总体灵敏度和相应检查器的个体灵敏度。总体灵敏度是通过验证环境可以检测到传播到包括至少一个检验器的检查系统的多个有问题的设计行为的概率。个体敏感度是通过与特定探针对应的检查器可以检测到在设计的多个探针中传播到至少一个特定探针的多个有问题的设计行为的概率。整体检查灵敏度数字可以显示检查系统的稳健性。单独的检查灵敏度可以指导用户哪个单独的检查器或检查器改进。

3. 发明申请

US20060292031A1 Method of inactivating viruses associated with biomaterial 审中-公开
标题翻译：灭活与生物材料相关的病毒的方法
公开(公告)号：US20060292031A1
公开(公告)日：2006-12-28
申请号：US11180278
申请日：2005-07-12
申请人： Yung-Ho Chiu , Kuo-Ching Lin , Yu-Ting Chen , Zui-Yeh Lin , Chi-Min Chen , Meng-Yang Chang
发明人： Yung-Ho Chiu , Kuo-Ching Lin , Yu-Ting Chen , Zui-Yeh Lin , Chi-Min Chen , Meng-Yang Chang
IPC分类号： A61L2/18
CPC分类号： A61L2/0088
摘要： The present invention provides a safe, efficient, nonpolluting and economical method for inactivating viruses in a biomaterial, characterized in comprising a step of introducing a high-pressure fluid into a container containing a biomaterial to be treated at a speed capable of forming non-turbulent flow with Reynold's number of 2000 or less, thereby inactivating viruses potentially existing in the biomaterial. The method in accordance with the present invention can inactivate or eliminate viruses in a heat-sensitive biomaterial such as proteinous material, without decreasing the biological activities of the biomaterial significantly.
摘要翻译：本发明提供了一种用于灭活生物材料中的病毒的安全，有效，无污染和经济的方法，其特征在于包括将高压流体以能够形成非湍流的速度引入到待处理生物材料的容器中的步骤流动，雷诺数为2000或更小，从而灭活潜在存在于生物材料中的病毒。根据本发明的方法可以灭活或消除热敏生物材料如蛋白质材料中的病毒，而不会显着降低生物材料的生物活性。

4. 发明申请

US20090187394A1 HDL RE-SIMULATION FROM CHECKPOINTS 有权
标题翻译：高密度脂蛋白重新模拟从检查点
公开(公告)号：US20090187394A1
公开(公告)日：2009-07-23
申请号：US12015779
申请日：2008-01-17
申请人： Kuo-Ching Lin , Nan-Ting Yeh , Kuen-Yang Tsai
发明人： Kuo-Ching Lin , Nan-Ting Yeh , Kuen-Yang Tsai
IPC分类号： G06G7/48
CPC分类号： G06F17/5022
摘要： A computer-based simulation process executes a checkpoint operation while simulating behavior of an electronic circuit by forking an active checkpoint process having the same state as the original simulation process. While simulation time for the simulation process continues to increase after executing the checkpoint operation, simulation time for the checkpoint process remains unchanged so that the checkpoint process remains in the state of the simulation at the simulation time it executed the checkpoint operation (the “checkpoint time”). When the checkpoint process subsequently receives a request to resume simulating the circuit, it forks a new simulation process that mimics the original simulation process as of checkpoint time, and the new simulation process then begins to advance its simulation time, thereby enabling it to re-simulate behavior of the electronic circuit previously simulated by the original simulation process starting from the checkpoint time.
摘要翻译：基于计算机的模拟处理通过分析具有与原始模拟处理相同的状态的主动检查点处理来模拟电子电路的行为来执行检查点操作。在执行检查点操作之后，仿真过程的仿真时间持续增加，检查点处理的仿真时间保持不变，使得检查点进程在执行检查点操作的模拟时间（“检查点时间”）处于模拟状态 “）。当检查点处理随后接收到恢复模拟电路的请求时，它将从检查点时间起叉一个模拟原始模拟过程的新模拟过程，然后新的仿真过程开始提高其仿真时间，模拟从原始模拟过程模拟的电子电路的行为，从检查点时间开始。

5. 发明申请

US20050088454A1 Method of displaying an image of a windowless object 审中-公开
标题翻译：显示无窗口对象的图像的方法
公开(公告)号：US20050088454A1
公开(公告)日：2005-04-28
申请号：US10963074
申请日：2004-10-12
申请人： Kuo-Ching Lin
发明人： Kuo-Ching Lin
IPC分类号： G06F17/00 , G09G5/14 , G09G5/391 , H04B1/66
CPC分类号： G09G5/391 , G09G5/14
摘要： A method of displaying an image of a window object, includes the steps of: (a) checking a display mode of a display module, and allocating a first section and a second section in a buffer if the resolution of the display mode is below a predetermined level; (b) outputting an original color value of a front image to the first section and the second section respectively, and producing a first view in the first section and a second view in the second section accordingly; (c) calculating an alpha value of the front image by means of the first view and the second view, and saving the alpha value to the first section; and (d) outputting the original color value and the alpha value to display an image of a windowless object.
摘要翻译：一种显示窗口对象的图像的方法包括以下步骤：（a）检查显示模块的显示模式，并且如果显示模式的分辨率低于一个，则将第一部分和第二部分分配在缓冲器中预定水平; （b）分别向第一部分和第二部分输出正面图像的原始颜色值，并相应地产生第一部分中的第一视图和第二部分的第二视图; （c）通过第一视图和第二视图计算前图像的α值，并将α值保存到第一部分; 和（d）输出原始颜色值和α值以显示无窗口对象的图像。

6. 发明授权

US07895027B2 HDL re-simulation from checkpoints 有权
标题翻译：从检查站重新模拟HDL
公开(公告)号：US07895027B2
公开(公告)日：2011-02-22
申请号：US12015779
申请日：2008-01-17
申请人： Kuo-Ching Lin , Nan-Ting Yeh , Kuen-Yang Tsai
发明人： Kuo-Ching Lin , Nan-Ting Yeh , Kuen-Yang Tsai
IPC分类号： G06F17/50 , G06F9/00
CPC分类号： G06F17/5022
摘要： A computer-based simulation process executes a checkpoint operation while simulating behavior of an electronic circuit by forking an active checkpoint process having the same state as the original simulation process. While simulation time for the simulation process continues to increase after executing the checkpoint operation, simulation time for the checkpoint process remains unchanged so that the checkpoint process remains in the state of the simulation at the simulation time it executed the checkpoint operation (the “checkpoint time”). When the checkpoint process subsequently receives a request to resume simulating the circuit, it forks a new simulation process that mimics the original simulation process as of checkpoint time, and the new simulation process then begins to advance its simulation time, thereby enabling it to re-simulate behavior of the electronic circuit previously simulated by the original simulation process starting from the checkpoint time.
摘要翻译：基于计算机的模拟处理通过分析具有与原始模拟处理相同的状态的主动检查点处理来模拟电子电路的行为来执行检查点操作。在执行检查点操作之后，仿真过程的仿真时间持续增加，检查点处理的仿真时间保持不变，使得检查点进程在执行检查点操作的模拟时间（“检查点时间”）处于模拟状态 “）。当检查点处理随后接收到恢复模拟电路的请求时，它将从检查点时间起叉一个模拟原始模拟过程的新模拟过程，然后新的仿真过程开始提高其仿真时间，模拟从原始模拟过程模拟的电子电路的行为，从检查点时间开始。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式