系统级模型与RTL实现的等价性验证方法

摘要：

集成电路设计的等价性检验是重要的形式化验证方法。由于系统级模型和寄存器传输级(RTL)实现之间存在很大的语义差别，并且不存在结构相似性，这两者之间的等价性检验面临许多挑战。本文对国内外关于系统级模型与RTL实现之间的等价性验证基本思想、事务级模型与RTL实现之间的等价性检验方法、系统级模型与RTL实现之间的等价性检验方法研究成果和若干关键问题进行了分析，展梁了未来的研究发展方向。

关键词： 集成电路 等价性检验 系统级模型 寄存器传输级 设计验证

作者: 曾松伟 李光辉

作者单位: 浙江林学院信息工程学院，杭州 311300

会议类型: 国内会议

会议名称: 第十九届全国测控、计量、仪器仪表学术年会

会议地点: 桂林

会议语种:中文

页码: 486-489

在线出版日期: 2009-11-01（万方平台首次上网日期，不代表论文的发表时间）