SoC测试调度的进程代数模型

• 作者: 刘晓晓 邵晶波 马光胜
• 来源期刊: 计算机辅助设计与图形学学报
• 学科: 工学
• 关键词: SoC测试调度 共享资源的通信代数 流水测试
• 年，卷（期）: 2009,（4）
• 所属期刊栏目: VLSI设计与测试及电子设计自动化
• 页码范围: 493-499
• 页数: 7页
• 分类号: TP391.76
• 字数: 6401字
• 语种: 中文

摘要

功耗约束下的SoC核流水测试可避免过高功耗毁坏待测芯片,对SoC核的流水测试进行调度可合理地分配测试资源、减少测试时间.以进程代数为理论基础,提出了一种SoC核流水测试的测试调度方法.通过建立并发测试进程的时间标记变迁系统模型,形成了将前者转化为共享资源的通信代数(ACSR)描述的几个定理;建立了SoC测试调度模型;将核的流水测试映射为并发执行的进程、把测试资源建模为ACSR资源,用优先级解决测试冲突,使得功耗约束下的测试获得最大并行性,同时使测试应用时间最小.实验结果证明进程代数ACSR在处理SoC测试调度问题方面优于已有的经典算法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	马光胜	哈尔滨工程大学计算机科学与技术学院	74	240	8.0	12.0
2	刘晓晓	哈尔滨工程大学计算机科学与技术学院	12	43	4.0	6.0
3	邵晶波	哈尔滨师范大学计算机科学与信息工程学院省重点学科重点实验室	7	11	2.0	3.0