时序电路等价性检验中的存储元素映射方法研究

计算机科学 ›› 2009, Vol. 36 ›› Issue (4): 285-288.

时序电路等价性检验中的存储元素映射方法研究

出版日期:2018-11-16 发布日期:2018-11-16
基金资助:
本文受国家“八六三”高技术研究发展计划（2008AA042132）,浙江省自然科学基金项目（Y106707）,浙江省科技计划项目（2007C21045）资助.

Online:2018-11-16 Published:2018-11-16

摘要/Abstract

摘要： 随着集成电路规模越来越大，系统的功能日益复杂，功能验证已成为整个设计流程的瓶颈。对于大规模的时序电路，传统基于状态空间遍历的等价性检验方法可能会遇到内存爆炸问题。为了降低等价性检验方法的复杂度，提高验证效率和处理大规模电路的能力，通常需要构造两个被验证电路的存储元素映射之间的映射关系，从而将时序电路等价性检验问题转化为组合电路等价性检验问题。较全面地介绍了时序电路等价性检验的基本方法及其研究进展，讨论了基于存储元素映射的时序电路等价检验方法的基本思想，并介绍了若干具有代表性的存储元素映射方法，展望了集成电

关键词: 集成电路设计验证等价性检验存储元素映射

Abstract: As the integrated circuit size continues to increase, the complexity of system function has become increasingly high. Functional verification has become the bottleneck of the design flow. For large sequential circuits, the traditional sequential equivalen

Key words: Integrated circuits, Design verification, Equivalence checking, Storage element mapping

. 时序电路等价性检验中的存储元素映射方法研究[J]. 计算机科学, 2009, 36(4): 285-288. https://doi.org/