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

摘要：

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

关键词：SoC测试调度、共享资源的通信代数、流水测试

所属期刊栏目：21

分类号：TP391.76(计算技术、计算机技术)

资助基金：国家自然科学基金60273081

在线出版日期：2009-05-22（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：493-499