节点文献
集成电路设计验证方法与技术
【作者】 边计年；
【机构】 清华大学；
【摘要】 介绍模拟、仿真与形式验证的基本原理与方法,以近年来得到快速发展的形式验证技术为主。介绍基于二叉判决图(BDD)、可满足性问题(SAT)的模型检验、定理证明和等价性验证方法。在寄存器传输级(RTL)采用字位混合的决策技术。在电子系统级(ESL),利用SystemC/SystemVerilog进行描述和验证,着重介绍近年出现的基于事务级模型(TLM)的验证方法。
- 【会议录名称】 第五届中国测试学术会议论文集
- 【会议名称】第五届中国测试学术会议
- 【会议时间】2008-05
- 【会议地点】中国江苏苏州
- 【分类号】TN402
- 【主办单位】中国计算机学会容错计算专业委员会、苏州工业园区管理委员会