基于关键信号的路径覆盖率模型

来源 :计算机辅助设计与图形学学报 | 被引量 : 1次 | 上传用户：fuji2009

【摘要】

：

针对使用路径覆盖率作为验证目标时出现的路径数量庞大、覆盖率难以快速提高等问题,使用控制流图表示代码逻辑结构,采用数据流分析技术对待验证路径进行合理的化简.所产生的路径集合规模小、针对性强,有利于尽早发现设计错误.最后使用遗传算法生成模拟矢量,并基于北京大学“众志-863系统”芯片中的功能模块给出实验结果,说明该覆盖率模型的有效性.

【作者】

：

易江芳佟冬程旭

【机构】

：

北京大学微处理器研究与开发中心

【出处】

：

计算机辅助设计与图形学学报

【发表日期】

：

2006年08期

【关键词】

：

覆盖率模型路径覆盖率数据流分析模拟矢量生成遗传算法 coverage metric path coverage data flow analysis s

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

其他文献

加味七方胃痛颗粒治疗慢性萎缩性胃炎临床疗效研究

目的探讨加味七方胃痛颗粒治疗慢性萎缩性胃炎的临床效果。方法选取我院2013年4月—2014年2月收治的52例确诊慢性萎缩性胃炎患者,随机将患者分为A、B 2组各26例。A组患者服用

期刊

胃炎慢性萎缩性加味七方胃痛颗粒疗效

春甘蓝抗寒防薹栽培法

<正> 春甘蓝属淡季蔬菜,一般在'五一'前后采收上市,经济效益颇佳。但春甘蓝在其生长前期、中期都处在低温天气,常因寒冷(尤其是'倒春寒')、霜雪、阴雨使春甘

期刊

甘蓝春甘蓝抗寒防薹栽培

番茄杂交制种技术

<正> 番茄杂交一代,从抗病性到果实的产量和品质均明显优于双亲,是提高番茄商品产量和品质的最佳途径。现国内生产中常用的大多为杂交种,其制种技术与番茄生产有一定差异,现

期刊

番茄制种杂交去雄授粉

现阶段中国社会舆情的态势、热点与传播机制研究

<正>[主持人语]"这是一个最好的年代,也是一个最坏的年代;这是一个智慧的年代,也是一个愚昧的年代。"狄更斯在其小说《双城记》开篇语中这句宿命式的名言,似乎适用于每一个发

期刊

社会舆情传播机制新浪微博

价值魅力抢占传播制高点

传统电视的价值正处于持续性的变化当中,但即使在这个变化中,我们也可以对某些东西进行传统意义上的确认。在媒介变化的市场格局中,市场从不缺乏有价值的创意呈现,所以仍会有

期刊

江西卫视克林顿

我国利率市场化探讨

利率市场化对我国经济金融的发展有着重要而深远意义。虽然我国现行利率政策中还存在着诸如中央银行操作利率杠杆缺乏自主性、利率水平的确定带有一定的主观盲目性等问题，但从

期刊

中国利率市场化利率政策金融改革中央银行制度国有企业金融市场

Sweep曲面自相交的快速检测和消除

借鉴offset曲线去除自相交的方法提出了一种去除sweep曲面自相交的方法.首先根据sweep曲面上的点到脊线的距离来判断是否产生自相交;然后确定自相交候选区间集,并去除自相交点集.该方法可以推广到一般曲面与sweep曲面的求交,也可以推广到sweep曲面的offset操作中.在北京大学自主开发的几何造型系统PUM2.0中,通过大量的实例验证了该方法的稳定性和有效性.

期刊

sweep曲面自相交OFFSET几何造型sweep surface self-intersection offset geometric modelin

央行货币政策在基层受阻的因与策

央行货币政策由于受社会信用状况、商业银行经营策略及管理机制、地方政府对金融业的管理、经济发展水平、公民素质等影响,在基层传导受阻.

期刊

货币政策信用商业银行经营策略管理机制地方政府中央银行

“电机与拖动实验课中拉动式”实验教学法的应用

电机与拖动实验课教学应改变传统的“推动式”教学法，而采用“拉动式”实验教学法，以大幅提升实验教学的效率，减少无效劳动，增强学生的实践动手能力。

期刊

电动与拖动实验课“拉动式”实验教学法应用

利用新型的电源屏蔽实现方法降低测试功耗

为了削减芯片在测试过程中由于测试向量移入/移出所导致的静态功耗和动态功耗,提出一种电源屏蔽实现方法.在后端设计布局阶段,首先以时钟门控单元为参考点将触发器聚类摆放,以实现时序逻辑与组合逻辑在物理上的隔离;然后引入屏蔽单元对电源网络进行修改,最终解决扫描触发器与组合逻辑异构供电的难题.针对龙芯3号浮点乘积模块的实验结果表明,采用该方法可以节省45%的测试功耗,面积稍有增加,而对性能和测试覆盖率几乎没

期刊

测试功耗电源屏蔽可测性设计VLSItest power power gating design for test VLSI

基于关键信号的路径覆盖率模型

与本文相关的学术论文