- 1、有哪些信誉好的足球投注网站(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
soc测试调度的进程代数模型 soc test scheduling model based on acsr
o.4
第21卷第4期 计算机辅助设计与图形学学报 V01.21,N
OF DESIGNCOMPUTERGRAPHICS
2009年4月 JOURNALCoMPUTER—AIDED Apr.,2009
SoC测试调度的进程代数模型
邵晶波¨ 马光胜2’ 刘晓晓∞
l’(哈尔滨师范大学计算机科学与信息工程学院省重点学科重点实验室哈尔滨 150025)
2’(哈尔滨工程大学计算机科学与技术学院 哈尔滨 150001)
err)
(ttsmonica@yahoo.con-h
摘要功耗约束下的SoC核流水测试可避免过高功耗毁坏待测芯片,对SoC核的流水测试进行调度可合理地分
配测试资源、减少测试时间.以进程代数为理论基础,提出了一种SoC核流水测试的测试调度方法.通过建立并发测
试进程的时间标记变迁系统模型.形成了将前者转化为共享资源的通信代数(ACSR)描述的几个定理;建立了SoC
测试调度模型;将核的流水测试映射为并发执行的进程、把测试资源建模为ACSR资源,用优先级解决测试冲突,使
得功耗约束下的测试获得最大并行性,同时使测试应用时间最小.实验结果证明进程代数ACSR在处理soC测试调
度问题方面优于已有的经典算法.
关键词 SoC测试调度;共享资源的通信代数;流水测试
中图法分类号TP391.76
SoCTest ModelBasedonACSR
Scheduling
Shao Ma Xiaoxia02’
Jingb01’ Guangshen92’Liu
and Scienceand Normal
”(ProvincialKey KeyLaboratory·Collegeof InformationEngineering,HarbinUniversity-
Discipline Computer
Harbinl 50025)
150001)
ScienceandTechnology.HarbinEngineeringUniversity.Harbin
”(CollegeofComputer
Abstract testunderconstraintof is forminimaloverall
Pipelined powerdissipationpreferable
test timeto the undertestfrom is
keep chip beingdestroyed.Reasonablescheduling
systemapplication
for SoCtestautomationfor testresourcesallocationandtesttime
imperativeoptimal optimal
SoCtest modelbasedOn of sharedresourcesis
minimization.A algebracommunicating
scheduling
timed ofconcurrent
relatedtheoremsfor labeltransitionmodel
proposed,and transformi
您可能关注的文档
- sdc接收系统在n-rayleigh信道下的性能分析 performance analysis of switched diversity combining receiving sys-tem under n-rayleigh fading channels.pdf
- sdn在无线局域网中的研究进展 research progress on software defined networking in wlans.pdf
- sdn中的端到端时延 end-to-end delay in software defined networks.pdf
- sd卡视频数据存储系统设计 design of sd card video data storage system.pdf
- seal演算的偶图语义 bigraphical semantics of seal calculus.pdf
- seci模型在计算机网络技术实践教学的应用 application of seci in network technology practical teaching.pdf
- seeker:流敏感的需求驱动指向分析 seekerflow-sensitive demand-driven points-to analysis.pdf
- semi-homogenous generalization:improving homogenous generalization for privacy preservation in cloud computing.pdf
- set证书申请协议在spv下的自动化验证及改进 the automatic verification and improvement of set certificate registration protocols with spv.pdf
- sha-3轮函数中x及θ变换的性质研究 research on properties of and θ mappings in sha-3 permutation.pdf
- soc测试访问机制和测试壳的蚁群联合优化 test wrapper and test access mechanism co-optimization for soc based on ant colony algorithm.pdf
- soc总线串扰的精简mt测试集 mt compacted set for interconnect crosstalk on soc.pdf
- soc应用系统中基于信用的qos保证机制 a qos assurance mechanism based on credit record for soc system.pdf
- som研究的若干新进展.pdf
- solidworks装配解决方案——使工程师专注于设计本身.pdf
- spiht 算法在 dicom 图像压缩中的应用研究 research on dicom image compression by spiht algorithm.pdf
- spmt wavecache开发数据流计算机中的推测多线程 spmt wavecache exploiting speculative multithreading for dataflow computer.pdf
- spq数据流上面向可伸缩模式的查询方法 spq a scalable pattern query method over data streams.pdf
- spi总线接口扩展与应用 extension and application of spi bus interface.pdf
- spring mvc+hibernate+jqeury模式开发框架应用研究 research of spring mvc+hibernate+jqeury development framework application.pdf
最近下载
- STEAM跨学科课程整合的理念、模式构建与实施挑战研究.docx VIP
- 产学合作协同育人创新创业教育改革项目申报书模板(包含内容).docx VIP
- 110千伏输电线路工程专业监理实施细则.doc VIP
- 智慧乡村、智慧农业产供销一体化、可追溯平台建设方案.pdf VIP
- 17J008 挡土墙(重力式、衡重式、悬臂式)(必威体育精装版).pdf VIP
- 产学合作协同育人教学内容和课程体系改革项目申报书模板—基于计算思维的大学计算机课程思政案例构建与实践(包含申报书内容、合作方案、合作协议).docx
- 智能建造系统架构与发展路径.docx VIP
- 智能建造系统架构与发展路径.docx VIP
- 制药公司生产安全事故应急预案.docx
- 产学合作协同育人教学内容和课程体系改革项目申报书模板—工科程序设计类课程的课程思政教学探索(包含申报书内容、合作方案、合作协议).docx
文档评论(0)