【摘 要】
：
功耗约束下的SoC核流水测试可避免过高功耗毁坏待测芯片,对SoC核的流水测试进行调度可合理地分配测试资源、减少测试时间.以进程代数为理论基础,提出了一种SoC核流水测试的测试调度方法.通过建立并发测试进程的时间标记变迁系统模型,形成了将前者转化为共享资源的通信代数(ACSR)描述的几个定理;建立了SoC测试调度模型;将核的流水测试映射为并发执行的进程、把测试资源建模为ACSR资源,用优先级解决测试
【机 构】
：
哈尔滨师范大学计算机科学与信息工程学院省重点学科重点实验室,哈尔滨工程大学计算机科学与技术学院
论文部分内容阅读
功耗约束下的SoC核流水测试可避免过高功耗毁坏待测芯片,对SoC核的流水测试进行调度可合理地分配测试资源、减少测试时间.以进程代数为理论基础,提出了一种SoC核流水测试的测试调度方法.通过建立并发测试进程的时间标记变迁系统模型,形成了将前者转化为共享资源的通信代数(ACSR)描述的几个定理;建立了SoC测试调度模型;将核的流水测试映射为并发执行的进程、把测试资源建模为ACSR资源,用优先级解决测试冲突,使得功耗约束下的测试获得最大并行性,同时使测试应用时间最小.实验结果证明进程代数ACSR在处理So
其他文献
金融科技在我国发展势头迅猛,在一些领域的发展相比于欧美地区的传统金融强国也有过之而无不及,金融科技的快速发展对我国的经济社会发展、金融体系、金融机构都带来了深刻的影响和改变。金融科技以技术发展为基础,技术特性驱动的创新金融服务在普惠性、成本效率、客户体验等多方面都具有传统金融机构的业务供给所难以比拟的优势,令传统金融机构难以忽视其影响,给银行业带来了极大的经营压力。国内关于金融科技的研究大多处于理
等距曲线广泛应用于数控机床加工过程、机器人行走路线、刺绣针法生成等工业领域中，与基曲线相比，其表示更为复杂，基本不能用有理曲线来精确表示．为了使等距曲线与CAD／CAM系统更好
学校性教育被广泛关注。本论文通过文献资料收集和学生问卷调查的形式了解青春期性教育现状开发课程、设计课程评价,在实施过程中不断完善课程,为学校开展青春期性教育提供科学的实践经验,供其他预开展相关课程的学校作参考。本论文分为六个部分,第一部分主要对研究的问题和缘起、研究目的与意义、研究方法进行了说明;对相关的概念进行界定;梳理了国内、外性教育的现状,对国内学校性教育的主要研究的方向作了小结。第二部分笔
我国外资并购国家安全审查制度应以习近平主席提出的总体国家安全观为指引进行完善。总体国家安全观对该制度提出的要求有二,一是平衡外资开放与国家安全,二是全方位保障国家
采用XRD和俄歇电子能谱(AES)等技术研究了钙钛矿型Gd2CuO4薄膜与基底Si和SiO2/Si的界面相互作用, 发现衬底对Gd2CuO4薄膜的晶化特性有很大影响. 以单晶Si为基底时, Gd2CuO4薄
液体互溶混合现象在日常生活中非常常见,但是由于不同液体之间的交互扩散过程非常复杂,对于这类现象的真实感模拟非常困难.为此,提出一种基于体积函数的方法来模拟液体之间的互溶扩散现象.该方法中,流体方程采用二阶精度的有限体积法求解,通过在每个计算网格单元中跟踪记录每种液体组分在网格单元内所占的体积比例,来模拟不同液体之间的交互扩散过程;并利用基于八叉树的自适应网格细分算法对计算过程进行加速.实验结果表明
研究了pH值对Fe-Al-Mg型混合金属氢氧化物/钠质蒙脱土(简称MMH/MT)悬浮体触变性的影响. 发现pH值能影响其触变性类型: m(MMH)/m(MT)(下文中以R表示)较低时(0, 0.013和0.051),
提出一种可以控制关键通路时延的时序驱动多级划分算法.首先通过聚类保护降低关键通路被分割的几率,减小后续操作对最小割目标的影响;然后使用划分保护控制通路被分割的次数,将关键通路时延限定在指定时钟周期之内.该算法只对最底层网表进行一次时序分析,克服了现有基于通路的时序驱动多级划分算法无法完全控制关键通路时延,需要对所有层次的网表进行时序分析的缺点.实验结果表明,该算法可得到较小的超边割值和通路时延值.
利用植物动漫部件组装整株植物是植物生长单帧建模的一个既简单又有效的方法,但由于植物形态的复杂性,其数据结构一般采用长度不等的链表来存储形态数值,这不但给特征点位置的设计和存储带来困难,而且影响图形显示速度.为此提出一种利用小波描述子来刻画植物器官形态的方法.以植物叶片轮廓的建模为例,先构造出刻画叶片轮廓形态的形状函数;再用周期小波级数进行逼近,从而获得个数相同的小波级数系数,可用统一长度的数组结构
随着我国信息化进程的不断发展,住房公积金信息化也在不断完善。与此同时,对住房公积金信息化服务的要求也在不断提高。现阶段各公积金中心部门对公积金业务的办理服务标准不统一,服务效率低,与缴存单位和职工的服务需求不相适应。同时,国家住房城乡建设部也提出:“加快住房公积金管理中心改造升级信息系统。各地住房公积金管理中心要根据政策调整和流程优化的需要,加快改造升级住房公积金管理信息系统,建立集12329服务