UIO序列优化搜索算法的研究

• 作者: 孙海平 高明伦
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 有限状态机 UIO序列 启发式搜索 优化策略 功能测试
• 年，卷（期）: 2002,（5）
• 所属期刊栏目: 学术论文
• 页码范围: 667-671
• 页数: 5页
• 分类号: TN606
• 字数: 5826字
• 语种: 中文
• DOI: 10.3321/j.issn:0372-2112.2002.05.015

摘要

UIO序列是对有限状态机进行功能测试的有效手段,在VLSI、通信协议等时序系统中有很强的实际应用背景.本文基于可区分状态组这一概念设计了一个搜索算法,进一步利用搜索信息建立了一个基于"小于"关系的启发策略,有效的剪枝策略的设计将尽可能消除没有意义的搜索分枝,新设计出的多路OPEN/CLOSED表存储机制也加快了相关的判别、处理过程.根据实验结果,分析了优化措施对于改进了搜索过程、减少搜索信息的产生、提高搜索速度有显著的贡献.该算法与以往的算法相比,在时间复杂度和空间复杂度两方面都得到了很大改进.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	高明伦	合肥工业大学微电子设计研究所	52	622	13.0	23.0
2	孙海平	合肥工业大学微电子设计研究所	3	16	2.0	3.0