利用软件技术与工具自动生成RTL设计的高覆盖率测试
软件工程
2016-02-22 v1 硬件体系结构
摘要
寄存器传输级(RTL)设计验证是硬件设计过程中的关键环节。我们提出一种利用现有软件技术与工具增强RTL设计验证的新方法。我们的方法将RTL设计的源代码转换为C++软件程序。随后采用强大的符号执行引擎对转换后的C++程序进行符号执行以生成测试用例。为了更好地生成高效测试用例，我们限制周期数以引导符号执行。此外，我们在符号执行引擎中加入了位级符号变量支持。生成的测试用例通过模拟RTL设计进行进一步评估以获得准确覆盖率。我们在一个浮点运算单元(FPU)设计上评估了该方法。初步结果表明，我们的方法能够提供高质量测试以实现高覆盖率。
引用
@article{arxiv.1602.06038,
title = {Automatic Generation of High-Coverage Tests for RTL Designs using Software Techniques and Tools},
author = {Yu Zhang and Wenlong Feng and Mengxing Huang},
journal= {arXiv preprint arXiv:1602.06038},
year = {2016}
}