%0 Journal Article
%T 交互状态机模型模拟矢量自动生成方法
%A 李暾？
%A 郭阳？
%A 李思昆？
%J 软件学报
%P 628-634
%D 2003
%X 模拟矢量自动生成方法是加速数字系统设计验证进程的有效手段.提出了一种针对数字系统交互状态机的状态组合、自动生成状态组合覆盖测度和状态组合覆盖模拟矢量的算法.与将交互状态机作为整体处理或构建状态机乘积的方法相比,该算法生成的模拟覆盖率测度精确,覆盖路径无回路,有效地提高了模拟验证的精度和速度.实验结果表明,该算法能高效地节省内存空间,较好地解决了状态空间爆炸问题.
%K 划分的化简有序二分决策图
%K 模拟矢量自动生成
%K 覆盖率测度
%K 交互状态机
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=20030345&flag=1