【摘 要】
：
在覆盖率驱动的模拟验证方法中,模拟覆盖率分析时间直接影响模拟验证的效率.针对现有基于值变化导出(VCD)文件覆盖率分析方法中模拟重放效率低的问外,对模拟重放过程进行了改
【基金项目】
：
国家自然科学基金项目 ( 60 3 0 3 0 11) ;国家“八六三”高技术研究发展计划基金项目 ( 2 0 0 2AA1Z14 80 )
论文部分内容阅读
在覆盖率驱动的模拟验证方法中,模拟覆盖率分析时间直接影响模拟验证的效率.针对现有基于值变化导出(VCD)文件覆盖率分析方法中模拟重放效率低的问外,对模拟重放过程进行了改进,提出一种高效的基于VCD文件的模拟覆盖率分析方法.该方法模拟重放时只针对HDL描述中的控制语句进行求解.实现了模拟覆盖率分析系统原型和各种覆盖率测度的分析方法.实验结果表明该方法在获得与现有方法同等覆盖率分析精度的同时,模拟重放效率提高2倍多.
其他文献
分别以聚四氢呋喃（PTMG）和聚己二酸丁二酯（PBA）为聚氨酯（PU）软段,制备了高环氧树脂（EP）含量的PU/EP乳液互穿聚合物网络（LIPN）.通过红外光谱,动态力学分析,原子力显微镜等研究了不同类型
在软件测试过程中有效地监控代码覆盖率是提高软件测试有效性的一个重要途径,介绍了利用LDRA Testbed测试工具进行嵌入式软件结构覆盖测试的方法和技术.
决策过程是一个复杂的思维过程,它需要决策者具有较强的逻辑思维能力和非逻辑思维能力.文章论述了决策过程是逻辑思维与非逻辑思维的统一,逻辑思维与非逻辑思维在决策过程中
介绍了烟气循环流化床脱硫工艺辅助设计系统的设计思想、原理、结构、功能和特点,以及设计开发中的技术问题.
在沥青路面工程中，玄武岩、辉绿岩等岩石得到了广泛的应用，而辉石闪长岩的应用相对较少。本文介绍了产自GM的辉石闪长岩的性能及应用情况，有利于解决广东优质沥青路面用石料短缺
介绍了运用FORTRAN和C++Builder语言开发的化工过程数据处理系统。分别描述了该系统中4个功能模块的结构及其可实现的计算功能,然后提出了模块链接设计思想并开发出窗体界面,
本文从介绍微信平台的功能出发,分析了微信平台在企业移动学习应用中的优势,对微信平台在银行移动学习中应用形式进行研究,以农业银行岗位职业轮训为范例进行了应用探究。希
基层农机推广工作中,构建相应的服务体系十分必要。作为新农村建设体系中的重要内容,需要从农业经济发展的角度运行农机推广服务体系,促进农业现代化发展,提高农业生产力。因
胃空肠结肠瘘为慢性腹泻罕见原因,通过对1例胃空肠结肠瘘的病例分析,以期提高临床医师对该病的认识,避免漏诊及误诊.
利用含氟树脂的特性，首次提出应用到石材养护剂上，试制并取得产品，经测试与实践，效果优于蜡、有机硅、树脂系列的石材养护剂。