【摘 要】
：
为了应对大规模设计中逻辑信号级输入激励空间爆炸的问题,针对总线系统提出了一种高层次结构化激励生成算法和相应的功能覆盖率模型.首先将总线系统抽象成通用有向二分图模型
【基金项目】
：
国家科技重大专项项目(2013ZX03003015),National Science and Technology Major Program of China(2013ZX03003015)
论文部分内容阅读
为了应对大规模设计中逻辑信号级输入激励空间爆炸的问题,针对总线系统提出了一种高层次结构化激励生成算法和相应的功能覆盖率模型.首先将总线系统抽象成通用有向二分图模型,然后建立相应激励的高层次数学模型,由此提出一种通用的层次化输入激励空间等价类划分算法和对应的高层次功能覆盖率模型,最后基于树的搜索提出了2种结构化激励生成算法.上述方案成功应用于IME-DiamondSoC的总线系统的功能验证中,实际结果表明,相比代码覆盖率,高层次功能覆盖率模型的揭示功能Bug能力更强,而且相对于传统的随机生成,结构化的激励生
其他文献
近几年，专门针对职工压力如何进行心理调适方面的培训需求越来越多，为了让职业培训课程真正具有引导职工积极乐观对待工作、努力适应压力环境，学会化压力为动力，提升团队协作共同
鉴定了盐碱地芦苇根际AM真菌种类,分析了AM菌根对盐碱地芦苇的生态效益。
通过教学改革，努力实现高职教育的培养目标。除掌握基础知识及为后续课程服务外，着重通过实施理论实践一体化的教学体系，把课程教学与生产实践、实训项目相结合，培养具备电路基础
通过对马兰矿12504综采工作面建立冒落结构模型和冒落体“块体”模型，运用块体理论分析其冒落机理，并最终得出相关结论。
随着人们生活水平的提高,饮食结构和生活习惯的改变,脑血管病的患病率不断上升。因此,脑血管患者对疾病健康知识的掌握至关重要。通过有计划、有目的的系统的健康教育过程,使
针对磨削强化过程中磨削强化层沿工件磨削方向分布不均匀以及磨削后工件表面产生变形的情况,提出了一种基于温度补偿的磨削强化层均匀性改善方法.通过铜电极对工件导电加热,
针对某硫酸渣综合回收利用进行了试验。试验结果表明,采用水洗预处理—氰化浸出—浸渣磁选的联合流程为最佳流程。金的浸出率可达41%,并可得到铁品位为60.90%,铁回收率为79.4
[目的]测定火炬松花粉的氨基酸和矿物质元素的组分种类和含量,与其他植物花粉对比,探明火炬松花粉的保健功效。[方法]运用原子吸收光谱法测定火炬松花粉的矿物质元素组成及含
青光眼是威胁人类健康导致视功能减退和主要致盲眼病之一,有一定遗传趋向,青光眼所造成的视功能损伤是不可逆的,后果极为严重。因此,患者住院除需要医护人员的治疗护理外,还