中文摘要：

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

英文摘要：

Pi system test app imperative for pelined test under constraint of power dissipation is preferable for minimal overall lication time to keep the chip under test from being destroyed. Reasonable scheduling is optimal SoC test automation for optimal test resources allocation and test time minimization. A SoC test scheduling model based on algebra of communicating shared resources is proposed, and related theorems for transforming timed label transition system model of concurrent core testing into ACSR descriptions are given. The pipelined tests are mapped into concurrent processes. Test resources are modeled as ACSR resources, and priorities are used to avoid test conflicts to achieve maximum test parallelism under power dissipation. Experimental results indicate the advantage of our approach to SoC test scheduling for minimal test application time over the classical solutions.