-
公开(公告)号：CN104951583A
公开(公告)日：2015-09-30
申请号：CN201410127820.7
申请日：2014-03-31
Applicant: 国际商业机器公司
IPC: G06F17/50
CPC classification number: G01R31/3177 , G06F17/5022
Abstract: 本发明公开了一种数字集成电路仿真方法和仿真器，方法包括：获得所述数字集成电路的电路图及该电路图中的检测节点；根据所述检测节点确定所述电路图中与两值和多值的仿真边界相关的节点以及该相关节点的状态；根据所述相关节点以及该相关节点的状态，确定所述电路图中两值和多值的仿真边界的边界位置及该边界位置的边界类型；在所述边界位置根据该边界位置的边界类型插入转换电路；以及对插入转换电路的电路图进行建模及仿真。该方法和仿真器在保证数字集成电路芯片功能的正确性的情况下，能够减少仿真时间和需要的存储资源。
-
Patent Agency Ranking
公开(公告)号：CN105335379B
公开(公告)日：2018-11-02
申请号：CN201410293660.3
申请日：2014-06-26
Applicant: 国际商业机器公司
IPC: G06F17/30
Abstract: 本发明公开了一种突变测试中对突变、测试用例、随机种子的组合排序的方法和设备，该方法包括：根据测试用例目标的信号，对编译后的待测试集成电路获得与该测试用例目标的信号相关的逻辑门及相关的逻辑门上的突变；计算所述突变与所述测试用例目标的信号之间的距离；对编译后的待测试集成电路进行电路仿真，获得突变、测试用例、随机种子的组合对应的激活周期数；获得突变、测试用例的组合对应的激活周期数方差；以及根据所述距离，所述激活周期数，以及所述激活周期数方差，对突变、测试用例、随机种子的组合排序。该方法和设备能够减少突变仿真选择等价突变的概率。
-
公开(公告)号：CN104252469B
公开(公告)日：2017-10-20
申请号：CN201310260868.0
申请日：2013-06-27
Applicant: 国际商业机器公司
IPC: G06F17/30
CPC classification number: H04L63/1408 , G06F2207/025 , H04L63/14
Abstract: 根据本发明实施例的用于模式匹配的方法，所述模式匹配在模式流中寻找目标模式，所述模式流和目标模式均由元素组成，该方法包括：获取目标模式中的目标元素的出现次数；初始化暂存区，其中所述暂存区指示模式流中的一个区间；判断暂存区中所述目标元素的出现次数是否达到所述目标模式中的目标元素的出现次数；响应于暂存区中所述目标元素的出现次数未达到所述目标模式中的目标元素的出现次数，更新所述暂存区后返回所述判断步骤；响应于暂存区中所述目标元素的出现次数达到所述目标模式中的目标元素的出现次数，输出所述暂存区中的元素供后续处理。本申请还公开了用于模式匹配的设备和电路。根据本发明实施例的技术方案可以加快模式匹配的速度。
-
公开(公告)号：CN105335379A
公开(公告)日：2016-02-17
申请号：CN201410293660.3
申请日：2014-06-26
Applicant: 国际商业机器公司
IPC: G06F17/30
CPC classification number: G06F17/5081
Abstract: 本发明公开了一种突变测试中对突变、测试用例、随机种子的组合排序的方法和设备，该方法包括：根据测试用例目标的信号，对编译后的待测试集成电路获得与该测试用例目标的信号相关的逻辑门及相关的逻辑门上的突变；计算所述突变与所述测试用例目标的信号之间的距离；对编译后的待测试集成电路进行电路仿真，获得突变、测试用例、随机种子的组合对应的激活周期数；获得突变、测试用例的组合对应的激活周期数方差；以及根据所述距离，所述激活周期数，以及所述激活周期数方差，对突变、测试用例、随机种子的组合排序。该方法和设备能够减少突变仿真选择等价突变的概率。
-
公开(公告)号：CN105677458A
公开(公告)日：2016-06-15
申请号：CN201410673846.1
申请日：2014-11-21
Applicant: 国际商业机器公司
IPC: G06F9/48
CPC classification number: G06F11/3608 , G06F11/3692
Abstract: 本发明提供了用于获取针对事件的约束的方法和装置。具体地，提供了一种方法，包括：从包括事件的多个事件序列中获取与事件相关联的多个候选约束与目标之间的对应关系，多个事件序列中的每个事件序列是为实现目标而执行的一系列历史事件；基于对应关系，确定多个候选约束中的至少一部分候选约束对目标的影响；以及响应于影响的度量满足预定条件，将至少一部分候选约束确定为约束。进一步，提供了一种方法，包括：从所述多个事件序列中提取多个事件；针对所述多个事件中的每个事件，采用本发明方法，获取针对所述每个事件的约束；以及基于所述每个事件以及针对所述每个事件的所述约束，生成所述案例管理模型。
-
公开(公告)号：CN104252469A
公开(公告)日：2014-12-31
申请号：CN201310260868.0
申请日：2013-06-27
Applicant: 国际商业机器公司
IPC: G06F17/30
CPC classification number: H04L63/1408 , G06F2207/025 , H04L63/14 , G06F17/30985
Abstract: 根据本发明实施例的用于模式匹配的方法，所述模式匹配在模式流中寻找目标模式，所述模式流和目标模式均由元素组成，该方法包括：获取目标模式中的目标元素的出现次数；初始化暂存区，其中所述暂存区指示模式流中的一个区间；判断暂存区中所述目标元素的出现次数是否达到所述目标模式中的目标元素的出现次数；响应于暂存区中所述目标元素的出现次数未达到所述目标模式中的目标元素的出现次数，更新所述暂存区后返回所述判断步骤；响应于暂存区中所述目标元素的出现次数达到所述目标模式中的目标元素的出现次数，输出所述暂存区中的元素供后续处理。本申请还公开了用于模式匹配的设备和电路。根据本发明实施例的技术方案可以加快模式匹配的速度。
-
-
-
-
-
Search Results
6
records
(took 0.027 seconds)
