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

1. 发明授权

US09443044B2 Determining a quality parameter for a verification environment 有权
标题翻译：确定验证环境的质量参数
公开(公告)号：US09443044B2
公开(公告)日：2016-09-13
申请号：US14518364
申请日：2014-10-20
申请人： INTERNATIONAL BUSINESS MACHINES CORPORATION
发明人： Peng Fei Gou , Bodo Hoppe , Dan Liu , Yong Feng Pan
IPC分类号： G06F17/50 , G06F11/263 , G06F11/26
CPC分类号： G06F17/5022 , G06F11/261 , G06F11/263 , G06F17/505
摘要： Determining a quality parameter for a verification environment for a register-transfer level hardware design language description of a hardware design. A netlist is generated from the hardware design language description. A list of hardware design outputs is generated, and logical paths in the netlist are generated based on the list of hardware design outputs. Furthermore, a modified netlist involving logical paths is generated by determining whether a gate is selected as an insertion point, and selecting a fault type, which is part of the efficiency vector for the selected gate in the netlist and inserting a mutant. Additionally, a fault simulation is performed and the quality parameter for the verification environment is determined from the fault simulation and the simulation result data.
摘要翻译：确定硬件设计的注册转移级硬件设计语言描述的验证环境的质量参数。从硬件设计语言描述生成网表。生成硬件设计输出列表，并根据硬件设计输出列表生成网表中的逻辑路径。此外，通过确定是否选择门作为插入点，并且选择作为网表中所选择的门的效率向量的一部分并插入突变体的故障类型来生成涉及逻辑路径的修改的网表。另外，执行故障模拟，并根据故障模拟和仿真结果数据确定验证环境的质量参数。

2. 发明申请

US20180097824A1 PRE-PROCESSING BEFORE PRECISE PATTERN MATCHING 审中-公开
公开(公告)号：US20180097824A1
公开(公告)日：2018-04-05
申请号：US15805319
申请日：2017-11-07
申请人： INTERNATIONAL BUSINESS MACHINES CORPORATION
发明人： Dan U. Liu , Yang L. Liu , Yong Lu , Yong Feng Pan , Yan Ying
IPC分类号： H04L29/06
CPC分类号： H04L63/1408 , G06F2207/025 , H04L63/14
摘要： Pre-processing before precise pattern matching of a target pattern from a stream of patterns. Including acquiring occurrence numbers of target elements in the target pattern, initializing the buffer, the buffer indicating a section in the stream of patterns, determining whether occurrence numbers of the target elements in the buffer reach the occurrence numbers of the target elements in the target pattern, updating the buffer and then returning to the determining step, in response to determining that the occurrence numbers of the target elements in the buffer do not reach the occurrence numbers of the target elements in the target pattern, and outputting the elements in the buffer for subsequent processing, in response to determining that the occurrence numbers of the target elements in the buffer reach the occurrence numbers of the target elements in the target pattern.

3. 发明申请

US20150121323A1 DETERMINING A QUALITY PARAMETER FOR A VERIFICATION ENVIRONMENT 有权
标题翻译：确定验证环境的质量参数
公开(公告)号：US20150121323A1
公开(公告)日：2015-04-30
申请号：US14518364
申请日：2014-10-20
申请人： INTERNATIONAL BUSINESS MACHINES CORPORATION
发明人： Peng Fei Gou , Bodo Hoppe , Dan Liu , Yong Feng Pan
IPC分类号： G06F17/50
CPC分类号： G06F17/5022 , G06F11/261 , G06F11/263 , G06F17/505
摘要： Determining a quality parameter for a verification environment for a register-transfer level hardware design language description of a hardware design. A netlist is generated from the hardware design language description. A list of hardware design outputs is generated, and logical paths in the netlist are generated based on the list of hardware design outputs. Furthermore, a modified netlist involving logical paths is generated by determining whether a gate is selected as an insertion point, and selecting a fault type, which is part of the efficiency vector for the selected gate in the netlist and inserting a mutant. Additionally, a fault simulation is performed and the quality parameter for the verification environment is determined from the fault simulation and the simulation result data.
摘要翻译：确定硬件设计的注册转移级硬件设计语言描述的验证环境的质量参数。从硬件设计语言描述生成网表。生成硬件设计输出列表，并根据硬件设计输出列表生成网表中的逻辑路径。此外，通过确定是否选择门作为插入点，并选择作为网表中所选择的门的效率向量的一部分并插入突变体的故障类型来生成涉及逻辑路径的修改的网表。另外，执行故障模拟，并根据故障模拟和仿真结果数据确定验证环境的质量参数。

4. 发明授权

US10594704B2 Pre-processing before precise pattern matching 有权
公开(公告)号：US10594704B2
公开(公告)日：2020-03-17
申请号：US15805332
申请日：2017-11-07
申请人： INTERNATIONAL BUSINESS MACHINES CORPORATION
发明人： Dan U. Liu , Yang L. Liu , Yong Lu , Yong Feng Pan , Yan Ying
IPC分类号： H04L29/06
摘要： Pre-processing before precise pattern matching of a target pattern from a stream of patterns. Including acquiring occurrence numbers of target elements in the target pattern, initializing the buffer, the buffer indicating a section in the stream of patterns, determining whether occurrence numbers of the target elements in the buffer reach the occurrence numbers of the target elements in the target pattern, updating the buffer and then returning to the determining step, in response to determining that the occurrence numbers of the target elements in the buffer do not reach the occurrence numbers of the target elements in the target pattern, and outputting the elements in the buffer for subsequent processing, in response to determining that the occurrence numbers of the target elements in the buffer reach the occurrence numbers of the target elements in the target pattern.

5. 发明授权

US10171482B2 Pre-processing before precise pattern matching 有权
公开(公告)号：US10171482B2
公开(公告)日：2019-01-01
申请号：US15805319
申请日：2017-11-07
申请人： INTERNATIONAL BUSINESS MACHINES CORPORATION
发明人： Dan U. Liu , Yang L. Liu , Yong Lu , Yong Feng Pan , Yan Ying
IPC分类号： G06F17/30 , H04L29/06
摘要： Pre-processing before precise pattern matching of a target pattern from a stream of patterns. Including acquiring occurrence numbers of target elements in the target pattern, initializing the buffer, the buffer indicating a section in the stream of patterns, determining whether occurrence numbers of the target elements in the buffer reach the occurrence numbers of the target elements in the target pattern, updating the buffer and then returning to the determining step, in response to determining that the occurrence numbers of the target elements in the buffer do not reach the occurrence numbers of the target elements in the target pattern, and outputting the elements in the buffer for subsequent processing, in response to determining that the occurrence numbers of the target elements in the buffer reach the occurrence numbers of the target elements in the target pattern.

6. 发明申请

US20180097823A1 PRE-PROCESSING BEFORE PRECISE PATTERN MATCHING 审中-公开
公开(公告)号：US20180097823A1
公开(公告)日：2018-04-05
申请号：US15805309
申请日：2017-11-07
申请人： INTERNATIONAL BUSINESS MACHINES CORPORATION
发明人： Dan U. Liu , Yang L. Liu , Yong Lu , Yong Feng Pan , Yan Ying
IPC分类号： H04L29/06
CPC分类号： H04L63/1408 , G06F2207/025 , H04L63/14
摘要： Pre-processing before precise pattern matching of a target pattern from a stream of patterns. Including acquiring occurrence numbers of target elements in the target pattern, initializing the buffer, the buffer indicating a section in the stream of patterns, determining whether occurrence numbers of the target elements in the buffer reach the occurrence numbers of the target elements in the target pattern, updating the buffer and then returning to the determining step, in response to determining that the occurrence numbers of the target elements in the buffer do not reach the occurrence numbers of the target elements in the target pattern, and outputting the elements in the buffer for subsequent processing, in response to determining that the occurrence numbers of the target elements in the buffer reach the occurrence numbers of the target elements in the target pattern.

7. 发明申请

US20180069873A1 PRE-PROCESSING BEFORE PRECISE PATTERN MATCHING 审中-公开
公开(公告)号：US20180069873A1
公开(公告)日：2018-03-08
申请号：US15805332
申请日：2017-11-07
申请人： INTERNATIONAL BUSINESS MACHINES CORPORATION
发明人： Dan U. Liu , Yang L. Liu , Yong Lu , Yong Feng Pan , Yan Ying
IPC分类号： H04L29/06
CPC分类号： H04L63/1408 , G06F2207/025 , H04L63/14
摘要： Pre-processing before precise pattern matching of a target pattern from a stream of patterns. Including acquiring occurrence numbers of target elements in the target pattern, initializing the buffer, the buffer indicating a section in the stream of patterns, determining whether occurrence numbers of the target elements in the buffer reach the occurrence numbers of the target elements in the target pattern, updating the buffer and then returning to the determining step, in response to determining that the occurrence numbers of the target elements in the buffer do not reach the occurrence numbers of the target elements in the target pattern, and outputting the elements in the buffer for subsequent processing, in response to determining that the occurrence numbers of the target elements in the buffer reach the occurrence numbers of the target elements in the target pattern.

8. 发明授权

US10333947B2 Pre-processing before precise pattern matching 有权
公开(公告)号：US10333947B2
公开(公告)日：2019-06-25
申请号：US15805309
申请日：2017-11-07
申请人： INTERNATIONAL BUSINESS MACHINES CORPORATION
发明人： Dan U. Liu , Yang L. Liu , Yong Lu , Yong Feng Pan , Yan Ying
IPC分类号： H04L29/06
摘要： Pre-processing before precise pattern matching of a target pattern from a stream of patterns. Including acquiring occurrence numbers of target elements in the target pattern, initializing the buffer, the buffer indicating a section in the stream of patterns, determining whether occurrence numbers of the target elements in the buffer reach the occurrence numbers of the target elements in the target pattern, updating the buffer and then returning to the determining step, in response to determining that the occurrence numbers of the target elements in the buffer do not reach the occurrence numbers of the target elements in the target pattern, and outputting the elements in the buffer for subsequent processing, in response to determining that the occurrence numbers of the target elements in the buffer reach the occurrence numbers of the target elements in the target pattern.

9. 发明授权

US09930052B2 Pre-processing before precise pattern matching 有权
公开(公告)号：US09930052B2
公开(公告)日：2018-03-27
申请号：US14278090
申请日：2014-05-15
申请人： INTERNATIONAL BUSINESS MACHINES CORPORATION
发明人： Dan U. Liu , Yang L. Liu , Yong Lu , Yong Feng Pan , Yan Ying
IPC分类号： G06F17/30 , H04L29/06
CPC分类号： H04L63/1408 , G06F2207/025 , H04L63/14
摘要： A method for pattern matching finds a target pattern from a stream of patterns, both of the stream of patterns and the target pattern being comprised of elements. The method includes acquiring occurrence numbers of target elements in the target pattern, initializing the buffer, the buffer indicating a section in the stream of patterns, determining whether occurrence numbers of the target elements in the buffer reach the occurrence numbers of the target elements in the target pattern, updating the buffer and then returning to the determining step, in response to determining that the occurrence numbers of the target elements in the buffer do not reach the occurrence numbers of the target elements in the target pattern, and outputting the elements in the buffer for subsequent processing, in response to determining that the occurrence numbers of the target elements in the buffer reach the occurrence numbers of the target elements in the target pattern. A device and a circuit for pattern matching are also provided to increase the speed for pattern matching.

10. 发明申请

US20150007320A1 METHOD, DEVICE AND CIRCUIT FOR PATTERN MATCHING 有权
标题翻译：方法，用于图形匹配的装置和电路
公开(公告)号：US20150007320A1
公开(公告)日：2015-01-01
申请号：US14278090
申请日：2014-05-15
申请人： INTERNATIONAL BUSINESS MACHINES CORPORATION
发明人： Dan U. Liu , Yang L. Liu , Yong Lu , Yong Feng Pan , Yan Ying
IPC分类号： H04L29/06
CPC分类号： H04L63/1408 , G06F2207/025 , H04L63/14
摘要： A method for pattern matching finds a target pattern from a stream of patterns, both of the stream of patterns and the target pattern being comprised of elements. The method includes acquiring occurrence numbers of target elements in the target pattern, initializing the buffer, the buffer indicating a section in the stream of patterns, determining whether occurrence numbers of the target elements in the buffer reach the occurrence numbers of the target elements in the target pattern, updating the buffer and then returning to the determining step, in response to determining that the occurrence numbers of the target elements in the buffer do not reach the occurrence numbers of the target elements in the target pattern, and outputting the elements in the buffer for subsequent processing, in response to determining that the occurrence numbers of the target elements in the buffer reach the occurrence numbers of the target elements in the target pattern. A device and a circuit for pattern matching are also provided to increase the speed for pattern matching.
摘要翻译：用于模式匹配的方法从图案流中找到目标图案，图案流和目标图案都由元件组成。该方法包括获取目标图案中的目标元素的出现次数，初始化缓冲器，指示图案流中的部分的缓冲器，确定缓冲器中的目标元素的出现编号是否达到目标元素的出现次数响应于确定缓冲器中的目标元素的出现次数未达到目标图案中的目标元素的出现次数，并且将所述目标图案中的元素输出到目标图案中，然后返回到确定步骤响应于确定缓冲器中的目标元素的出现次数达到目标图案中的目标元素的出现次数，用于后续处理。还提供用于模式匹配的装置和电路以增加模式匹配的速度。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式