期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
交互状态机模型模拟矢量自动生成方法
被引量：
1
1
作者
李暾
郭阳
李思昆
《软件学报》
EI
CSCD
北大核心
2003年第3期628-634,共7页
模拟矢量自动生成方法是加速数字系统设计验证进程的有效手段.提出了一种针对数字系统交互状态机的状态组合、自动生成状态组合覆盖测度和状态组合覆盖模拟矢量的算法.与将交互状态机作为整体处理或构建状态机乘积的方法相比,该算法生...
模拟矢量自动生成方法是加速数字系统设计验证进程的有效手段.提出了一种针对数字系统交互状态机的状态组合、自动生成状态组合覆盖测度和状态组合覆盖模拟矢量的算法.与将交互状态机作为整体处理或构建状态机乘积的方法相比,该算法生成的模拟覆盖率测度精确,覆盖路径无回路,有效地提高了模拟验证的精度和速度.实验结果表明,该算法能高效地节省内存空间,较好地解决了状态空间爆炸问题.
展开更多
关键词
交互状态机模型
模拟矢量自动生成方法
数字系统
覆盖率测度
在线阅读
下载PDF
职称材料
题名
交互状态机模型模拟矢量自动生成方法
被引量：
1
1
作者
李暾
郭阳
李思昆
机构
国防科学技术大学计算机学院
出处
《软件学报》
EI
CSCD
北大核心
2003年第3期628-634,共7页
基金
Supported by the National Natural Science Foundation of China under Grant No.69933030 (国家自然科学基金)
文摘
模拟矢量自动生成方法是加速数字系统设计验证进程的有效手段.提出了一种针对数字系统交互状态机的状态组合、自动生成状态组合覆盖测度和状态组合覆盖模拟矢量的算法.与将交互状态机作为整体处理或构建状态机乘积的方法相比,该算法生成的模拟覆盖率测度精确,覆盖路径无回路,有效地提高了模拟验证的精度和速度.实验结果表明,该算法能高效地节省内存空间,较好地解决了状态空间爆炸问题.
关键词
交互状态机模型
模拟矢量自动生成方法
数字系统
覆盖率测度
Keywords
Algorithms
Finite automata
Mathematical models
Vectors
分类号
TP271.82 [自动化与计算机技术—检测技术与自动化装置]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
交互状态机模型模拟矢量自动生成方法
李暾
郭阳
李思昆
《软件学报》
EI
CSCD
北大核心
2003
1
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
