计算机辅助设计与图形学学报
計算機輔助設計與圖形學學報
계산궤보조설계여도형학학보
JOURNAL OF COMPUTER-AIDED DESIGN & COMPUTER GRAPHICS
2009年
4期
493-499
,共7页
SoC测试调度%共享资源的通信代数%流水测试
SoC測試調度%共享資源的通信代數%流水測試
SoC측시조도%공향자원적통신대수%류수측시
功耗约束下的SoC核流水测试可避免过高功耗毁坏待测芯片,对SoC核的流水测试进行调度可合理地分配测试资源、减少测试时间.以进程代数为理论基础,提出了一种SoC核流水测试的测试调度方法.通过建立并发测试进程的时间标记变迁系统模型,形成了将前者转化为共享资源的通信代数(ACSR)描述的几个定理;建立了SoC测试调度模型;将核的流水测试映射为并发执行的进程、把测试资源建模为ACSR资源,用优先级解决测试冲突,使得功耗约束下的测试获得最大并行性,同时使测试应用时间最小.实验结果证明进程代数ACSR在处理SoC测试调度问题方面优于已有的经典算法.
功耗約束下的SoC覈流水測試可避免過高功耗燬壞待測芯片,對SoC覈的流水測試進行調度可閤理地分配測試資源、減少測試時間.以進程代數為理論基礎,提齣瞭一種SoC覈流水測試的測試調度方法.通過建立併髮測試進程的時間標記變遷繫統模型,形成瞭將前者轉化為共享資源的通信代數(ACSR)描述的幾箇定理;建立瞭SoC測試調度模型;將覈的流水測試映射為併髮執行的進程、把測試資源建模為ACSR資源,用優先級解決測試遲突,使得功耗約束下的測試穫得最大併行性,同時使測試應用時間最小.實驗結果證明進程代數ACSR在處理SoC測試調度問題方麵優于已有的經典算法.
공모약속하적SoC핵류수측시가피면과고공모훼배대측심편,대SoC핵적류수측시진행조도가합리지분배측시자원、감소측시시간.이진정대수위이론기출,제출료일충SoC핵류수측시적측시조도방법.통과건립병발측시진정적시간표기변천계통모형,형성료장전자전화위공향자원적통신대수(ACSR)묘술적궤개정리;건립료SoC측시조도모형;장핵적류수측시영사위병발집행적진정、파측시자원건모위ACSR자원,용우선급해결측시충돌,사득공모약속하적측시획득최대병행성,동시사측시응용시간최소.실험결과증명진정대수ACSR재처리SoC측시조도문제방면우우이유적경전산법.
