声明
严正声明：本站非期刊官网，非中介代理。
本站仅提供学术规范服务：快速预审、润色编辑服务、中英文查重、降重、去重服务、推荐合适的期刊投稿等学术规范服务。 如需提供学术规范服务请联系在线编辑。
国内刊号：43-1258/TP
国际刊号：1007-130X
发布日期:
作者：邹鸿基, 李暾, 罗丹, 方雨德
单位：（国防科技大学计算机学院,湖南 长沙 410073）
关键词：符号模拟器,PyRTL,敏捷硬件设计,验证,
基金：国家自然科学基金（U19A2062）
敏捷硬件设计方法中，RTL建模常使用自定义的描述语言，并将设计转换为某种中间格式，为设计验证带来了新挑战。符号模拟技术是(限界)模型检验、等价性检查和测试生成等验证技术的基础，为构建敏捷硬件设计方法验证技术基础，针对PyRTL语言及其中间格式，设计并实现了一个符号模拟器。介绍了符号模拟器的设计原理、转换规则等关键技术。实验结果表明了所实现的符号模拟器的正确性。
来源：2021年第12期
《计算机工程与科学》期刊编辑部
严正声明：本站非期刊官网，非中介代理。
本站仅提供学术规范服务：快速预审、润色编辑服务、中英文查重、降重、去重服务、推荐合适的期刊投稿等学术规范服务。 如需提供学术规范服务请联系在线编辑。