【摘 要】
：
提出和实现了一种面向HDL描述基于路径覆盖的模拟矢量自动生成方法.该方法在约束生成时只考虑控制语句的条件表达式,可有效避免生成冗余约束;利用扩展的决策图模型解决了中间
【机 构】
：
国防科学技术大学计算机学院,清华大学计算机科学与技术系
论文部分内容阅读
提出和实现了一种面向HDL描述基于路径覆盖的模拟矢量自动生成方法.该方法在约束生成时只考虑控制语句的条件表达式,可有效避免生成冗余约束;利用扩展的决策图模型解决了中间信号到初始输入的传播问题和信号依赖关系问题,以及处理各种HDL描述风格的问题;采用约束逻辑编程方法解决了由位、位向量和整型变量组成的约束系统的统一处理问题.实验结果表明该方法能加快模拟矢量生成速度,提高路径覆盖率.生成的模拟矢量也能用于低层次设计验证和故障模拟,加快了设计进度.将该方法的原型系统用于一个32位微处理器核RTL级验证,发现了RT
其他文献
现有的大多数光照明模型都是基于可见光波段的,它们无法模拟物体在红外波段的成像.该文提出了一种新的基于量子光学的红外成像光照明模型,该模型在传统光照明模型的基础上加
本文依据福建省高速公路项目历史数据,采用灰色关联度分析法,分析高速公路工程工可估算和初步设计概算特点与差异,并采用相关性理论进行验证,总结出设计过程中显著影响高速公
目的调查该院门诊抗菌药物的应用情况并对其合理性进行分析。方法随机抽取门诊处方5000份，并对其中使用抗菌药物的处方作统计分析。结果5000张处方中，抗菌药物处方有1525张，抗菌
开发程序的局部性是当今并行编译优化研究的重点之一,而程序变换是开发程序时间局部性和空间局部性的重要手段之一.该文提出了一种新的利用非奇异循环变换来优化程序局部性的