模拟矢量自动生成相关论文
系统芯片功耗动态评估往往需要仿真不同的向量集,估算速度慢;为减少SoC功耗估算时间,结合压缩感知优越的稀疏表示能力,设计一种快......
提出和实现了一种面向HDL描述基于路径覆盖的模拟矢量自动生成方法.该方法在约束生成时只考虑控制语句的条件表达式,可有效避免生......
对硬件设计进行功能验证的一个关键问题是需要大量的模拟矢量来保证验证的充分性。本文针对Verilog语言，采用遗传算法（Genetic Algor......
设计并实现了一个RTL覆盖率驱动的验证框架HRV ,它集成了自主开发的基于程序切片技术的设计抽取器、基于VCD文件的代码覆盖率分析......
提出一种Verilog程序切片算法 ,给出了该算法的正确性证明的理论框架 ;并利用提出的Verilog程序切片算法对VerilogRTL级设计进行化......
决策图模型描述了VLSI设计信号间的数据依赖关系,在VLSI设计验证中有广泛的应用.该文扩展了已有的决策图模型,给出了从硬件描述语......
功能验证是保证VLSI设计功能正确的重要手段。随着现代VLSI设计复杂度的不断提高，功能验证越来越成为设计验证的瓶颈。目前，功能验证......
功能验证是保证设计正确性的重要手段,以模拟验证为主要方法.为了解决用尽可能少的模拟矢量尽可能全面地验证整个设计的问题,提出......
