| 交互状态机模型模拟矢量自动生成方法 |
| |
| 引用本文： | 李暾,郭阳,李思昆.交互状态机模型模拟矢量自动生成方法[J].软件学报,2003,14(3):628-634. |
| |
| 作者姓名： | 李暾 郭阳 李思昆 |
| |
| 作者单位： | 国防科学技术大学计算机学院,湖南长沙,410073 |
| |
| 基金项目： | Supported by the National Natural Science Foundation of China under Grant No.69933030 (国家自然科学基金) |
| |
| 摘 要： | 模拟矢量自动生成方法是加速数字系统设计验证进程的有效手段.提出了一种针对数字系统交互状态机的状态组合、自动生成状态组合覆盖测度和状态组合覆盖模拟矢量的算法.与将交互状态机作为整体处理或构建状态机乘积的方法相比,该算法生成的模拟覆盖率测度精确,覆盖路径无回路,有效地提高了模拟验证的精度和速度.实验结果表明,该算法能高效地节省内存空间,较好地解决了状态空间爆炸问题.
|
| 关 键 词： | 划分的化简有序二分决策图 模拟矢量自动生成 覆盖率测度 交互状态机 |
| 文章编号： | 1000-9825/2003/14(03)0628 |
| 收稿时间： | 2002/5/31 0:00:00 |
| 修稿时间： | 9/4/2002 12:00:00 AM |
Automatic Simulation Vector Generation Using Interacting FSM Model |
| |
| LI Tun,GUO Yang and LI Si-Kun.Automatic Simulation Vector Generation Using Interacting FSM Model[J].Journal of Software,2003,14(3):628-634. |
| |
| Authors: | LI Tun GUO Yang and LI Si-Kun |
| |
| Abstract: | |
| |
| Keywords: | P-ROBDD (partitioned-reduced ordered binary decision diagrams) automatic simulation vectors generation coverage metrics interacting finite state machines |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
