计算机工程与科学

作者：邹鸿基, 李暾, 罗丹, 方雨德

单位：（国防科技大学计算机学院,湖南 长沙 410073）

关键词：符号模拟器,PyRTL,敏捷硬件设计,验证,

基金：国家自然科学基金（U19A2062）

敏捷硬件设计方法中，RTL建模常使用自定义的描述语言，并将设计转换为某种中间格式，为设计验证带来了新挑战。符号模拟技术是(限界)模型检验、等价性检查和测试生成等验证技术的基础，为构建敏捷硬件设计方法验证技术基础，针对PyRTL语言及其中间格式，设计并实现了一个符号模拟器。介绍了符号模拟器的设计原理、转换规则等关键技术。实验结果表明了所实现的符号模拟器的正确性。

来源：2021年第12期

《计算机工程与科学》期刊编辑部

查看计算机工程与科学杂志2021年第12期