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