基于逻辑等效模型的快速功能仿真验证  

Rapid Functional Simulation Verification based on Logical Equivalent Model

作　　者：杨亚兰[1] 杜涛[1] 罗玉香[1] 

机构地区：[1]电子科技大学大规模集成电路设计中心,成都610054

出　　处：《微处理机》2011年第3期6-9,共4页Microprocessors

摘　　要：随着集成电路设计技术的发展,集成电路的规模越来越大,这使得在设计的各个阶段设计验证越来越重要,验证耗时的缩短也成为了SOC设计的关键。介绍了基于逻辑等效模型的快速功能仿真验证的方法和技巧,首先研究了验证的策略和方法,然后阐述了采用NC-Verilog进行快速功能仿真验证所使用的逻辑等效模型,最后给出了该方案的仿真结果和结论,证明该技术不仅能达到功能仿真验证的目的,而且有效地缩短了仿真周期,显著地提高了仿真效率。With the development of integrated circuit design technology,the scale of an IC system is larger and larger now.Validation in all phases are more and more important.Shorten the verification time-consuming has become the key to SOC design.The methods and techniques of rapid functional simulation verification based on logical equivalent model was described.The strategy and method of verification are introduced.And the logical equivalent models for fast functional simulation based on NC-Verilog are elaborately described.Experimental results verified this method can significantly reduce the simulation time and increase the simulation efficiency.

关 键 词：仿真验证 逻辑等效模型 静态随机存储器 

分 类 号：TN407[电子电信—微电子学与固体电子学]