论文部分内容阅读
针对排除芯片设计流程中RTL级的错误时，需要花费大量时间看仿真波形与日志文件的问题，本文介绍了基于断言的硬件功能验证技术的基础，以及利用断言技术在黑盒验证中测试一设备输出信号时的应用，总结了断言验证的优点，以及断言与半形式化验证结合的特点，断言技术与动态仿真、形式验证、激励自动生成等技术结合，能更快更有效的发现硬件设计过程中RTL级的错误，成为验证方法学的焦点。