【技术实现步骤摘要】
本专利技术涉及，属于集成电路功能验证的
技术介绍
现有的集成电路功能验证方法主要通过限制性随机验证完成大部分应用场景的模拟。对于很难在随机情况中产生的边角情况由验证工程师手工编写，并通过原有的验证平台加载到被测设计中，这时边角情况种类的完全性、产生的复杂度、与现有验证平台的兼容性都直接影响到了验证成本。验证工程师会根据状态机的状态点和状态之间的转移功能是否被覆盖到来决定手工编写的测试案例的内容，以达到两者覆盖率的完整。状态机图中只标注了状态和其之间的转移连线，状态内部的各种情况没有进行图形标注，致使边角情况的制造困难。在状态机图上的遍历研究中，最优解的查找往往比较复杂，根据功能验证的特性，少量的重复减少大量的计算是更实用的方案。而且仅对简单的状态的遍历，对其他覆盖率指标和一些边角情况的功能测点效果不明显。随机加手工的方法产生的测试用例集合整体效率并不高，因为其中测试用例的针对性不强，对某些覆盖的重复测试过多，影响相同覆盖率下仿真软件的运行时间。为解决高覆盖率且高效的测试用例的产生问题，甚至是对于某些指标的全覆盖率和最高效问题，本专利将提出一种扩展的状态...
【技术保护点】
一种扩展的状态机图及其构建方法，其特征在于包括：1)状态集合、状态转移集合、状态转移条件集合分别用带有状态名的圆圈、带箭头的曲线、曲线上转移条件的文字表示。2)收集并分类每个状态中涉及的输入信号、内部变量、输出信号、输出函数。3)对于每个状态中的每个输出函数，收集和记录实现该输出函数对输入信号和内部变量的要求，以及该输出函数输出时所影响的内部变量与输出信号。4)将每个状态中的每个输出函数，按照输出后的下一状态分类。即该状态的状态扇出数目为输出函数的分类数目。5)在每个状态圆圈中，构建影响输出函数选择，由输入信号和内部变量取值约束构成的，具有优先级先后顺序的路径图。
【技术特征摘要】
【专利技术属性】
技术研发人员：谢峥，罗永贵，宋建龙，伍国斌，李姮乐，
申请(专利权)人：李姮乐，
类型：发明
国别省市：
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。