基于C语言程序分析验证技术的Verilog代码验证方法

邓茜, 范广生, 陈立前, 李暾, 王戟

A Verilog code verification method based on C program analysis and verification techniques

DENG Xi, FAN Guang-sheng, CHEN Li-qian, LI Tun, WANG Ji

计算机工程与科学 . 2023, (12): 2146 -2154 .