公开(公告)号：CN102737108B

公开(公告)日：2015-06-17

申请号：CN201210101942.X

申请日：2012-04-05

申请人： 李姮乐

发明人： 杨宝国 ,  谢峥 ,  李姮乐 ,  罗永贵 ,  宋建龙 ,  伍国斌

IPC分类号： G06F17/30 ,  G06F9/44

摘要： 本发明公开了一种处理流程图的方法，包括绘制流程图的过程和修改流程图的过程，制流程图的过程包括以下步骤：创建流程图；按预定规则对所述流程图的基本流程单元进行分组；将所述流程图依据所述分组转化为树状图，其中所述分组所形成的组对应于所述树状图的节点；创建树状图关系表，在所述树状图关系表中保存所述树状图的结构关系信息。本发明还公开了一种处理流程图的装置。本发明由于按照定规则对流程图的基本流程单元进行分组，将组转化为树状图的节点，并将树状图的结构关系信息保存在树状图关系表中，使流程图和树状图之间的转变简单且易于实现，且根据分组可快速理解流程图。

公开(公告)号：CN102737108A

公开(公告)日：2012-10-17

申请号：CN201210101942.X

申请日：2012-04-05

申请人： 李姮乐

发明人： 杨宝国 ,  谢峥 ,  李姮乐 ,  罗永贵 ,  宋建龙 ,  伍国斌

IPC分类号： G06F17/30 ,  G06F9/44

摘要： 本发明公开了一种处理流程图的方法，包括绘制流程图的过程和修改流程图的过程，制流程图的过程包括以下步骤：创建流程图；按预定规则对所述流程图的基本流程单元进行分组；将所述流程图依据所述分组转化为树状图，其中所述分组所形成的组对应于所述树状图的节点；创建树状图关系表，在所述树状图关系表中保存所述树状图的结构关系信息。本发明还公开了一种处理流程图的装置。本发明由于按照定规则对流程图的基本流程单元进行分组，将组转化为树状图的节点，并将树状图的结构关系信息保存在树状图关系表中，使流程图和树状图之间的转变简单且易于实现，且根据分组可快速理解流程图。

公开(公告)号：CN102737143A

公开(公告)日：2012-10-17

申请号：CN201210101956.1

申请日：2012-04-09

申请人： 李姮乐

发明人： 王博 ,  谢峥 ,  李姮乐 ,  杨宝国 ,  罗永贵 ,  宋建龙 ,  伍国斌

IPC分类号： G06F17/50

摘要： 本发明公开了一种数字集成电路设计的验证方法，包括：按场景、子场景、流、模块对需求书或设计规格书进行提取整理，得到格式统一的结构化验证流，每一条结构化验证流包括场景信息、子场景信息、流信息、流起点和流终点；根据流起点和流终点及其映射关系，得到相对应的状态机；根据状态机并基于图论得到有限遍历集，有限遍历集为包含所述状态机的可能路径的集合，可能路径为结构化验证流的流起点至对应的流终点的路径，所有有限遍历集形成验证空间。本发明通过格式统一的结构化验证流使得验证信息的整理规范化，验证信息得到复用，且便于管理验证过程，为提高验证效率提供了可能性；同时，基于图论得到的有限遍历集保证了验证的覆盖率。

公开(公告)号：CN103198012A

公开(公告)日：2013-07-10

申请号：CN201310034738.5

申请日：2013-04-25

申请人： 李姮乐

发明人： 谢峥 ,  罗永贵 ,  宋建龙 ,  伍国斌 ,  李姮乐

IPC分类号： G06F11/36

摘要： 本发明公开了一种扩展状态机图的结构和构建方法，以及在其上实现遍历的方法，还公开了根据遍历结果产生测试用例的方法。该扩展状态机图对分析覆盖率有很好的帮助。遍历方法简单实用，可以产生状态序列、状态转移时选取的输出函数、使状态转移发生的测试激励包的约束标签或其中产生的具体输入信号值。测试用例产生方法，可以根据遍历结果的不同形式，包括固定值的激励包、带约束的激励包、带不可实现标记的激励包，完成测试用例的产生，实现对更多覆盖率指标的高覆盖效果。测试用例的产生过程，可以接受人工的指导来减少运算量。该套方法对边角情况的自动验证非常有效，减低了验证工程师制造边角情况场景和测试用例的成本。

公开(公告)号：CN102737143B

公开(公告)日：2014-12-03

申请号：CN201210101956.1

申请日：2012-04-09

申请人： 李姮乐

发明人： 王博 ,  谢峥 ,  李姮乐 ,  杨宝国 ,  罗永贵 ,  宋建龙 ,  伍国斌

IPC分类号： G06F17/50

摘要： 本发明公开了一种数字集成电路设计的验证方法，包括：按场景、子场景、流、模块对需求书或设计规格书进行提取整理，得到格式统一的结构化验证流，每一条结构化验证流包括场景信息、子场景信息、流信息、流起点和流终点；根据流起点和流终点及其映射关系，得到相对应的状态机；根据状态机并基于图论得到有限遍历集，有限遍历集为包含所述状态机的可能路径的集合，可能路径为结构化验证流的流起点至对应的流终点的路径，所有有限遍历集形成验证空间。本发明通过格式统一的结构化验证流使得验证信息的整理规范化，验证信息得到复用，且便于管理验证过程，为提高验证效率提供了可能性；同时，基于图论得到的有限遍历集保证了验证的覆盖率。

公开(公告)号：CN102722610A

公开(公告)日：2012-10-10

申请号：CN201210171703.1

申请日：2012-05-29

申请人： 李姮乐

发明人： 谢峥 ,  罗永贵 ,  李姮乐 ,  宋建龙 ,  伍国斌

IPC分类号： G06F17/50

摘要： 本发明公开了一种由流程图自动产生覆盖率代码的方法及装置，包括：收集处理框覆盖点、判断框覆盖点、组合覆盖点、序列覆盖点、带约束条件的序列覆盖点等内容，并产生其对应的覆盖率代码。其装置由读入单元、层次展开单元、单元库、连接关系库、处理框覆盖率代码产生单元、判断框覆盖率代码产生单元、组合覆盖率代码产生单元、序列覆盖率代码产生单元、其他覆盖率代码产生单元、代码合并单元组成。本发明根据流程图直接提取覆盖点，自动转化为覆盖率代码，节省时间，减少人为遗漏，从功能角度出发，弥补了单纯代码覆盖率的不足。以客观的形式产生覆盖率代码，增加了覆盖率统计的有效性、信心度和客观性。