| UIO序列的启发式算法 |
| |
| 引用本文： | 孙海平,张溯,高明伦.UIO序列的启发式算法[J].合肥工业大学学报(自然科学版),2001,24(4):486-492. |
| |
| 作者姓名： | 孙海平 张溯 高明伦 |
| |
| 作者单位： | 合肥工业大学电气工程学院, |
| |
| 基金项目： | 国家自然科学基金资助项目 ( 6 9876 0 1 0 )，国家教委高等学校博士学科点专项科研基金资助 ( 980 3590 1 ) |
| |
| 摘 要： | UIO序列是对有限状态机进行功能测试的有效手段 ,在 VLSI设计、通信协议等时序系统中有很强的实际应用背景。文章基于可区分状态组这一概念设计了一个搜索算法 ,进一步利用搜索信息建立了一个基于“小于”关系的启发策略 ,有效的剪枝策略的设计将尽可能消除没有意义的搜索分枝 ,新设计出的多路 OPEN/CLOSED表存储机制也加快了相关的判别和处理过程。这些措施改进了搜索过程 ,减少了搜索信息的产生 ,提高了搜索速度。该算法与以往的算法相比 ,在时间和空间两方面都得到了很大改进。
|
| 关 键 词： | 有限状态机 UIO序列 启发式搜索 优化策略 功能测试 |
| 文章编号： | 1003-5060(2001)04-0486-07 |
| 修稿时间： | 2001年3月22日 |
Heuristic algorithm for Unique Input/Output sequence generation |
| |
| SUN Hai ping,ZHANG Su,GAO Ming lun.Heuristic algorithm for Unique Input/Output sequence generation[J].Journal of Hefei University of Technology(Natural Science),2001,24(4):486-492. |
| |
| Authors: | SUN Hai ping ZHANG Su GAO Ming lun |
| |
| Abstract: | |
| |
| Keywords: | Finite State Machine (FSM) Unique Input/Output sequence heuristic search optimization strategy functional test |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
