SRAM的设计验证  

作　　者：余晓文[1] 

机构地区：[1]中国科学技术大学

出　　处：《中国集成电路》2004年第11期16-21,44,共7页China lntegrated Circuit

摘　　要：介绍了两种SRAM的设计验证方法:1.用PERL编写的应用程序按设计要求自动生成仿真测试文件完成全芯片功能/时序分析。2.形式验证的方法的应用——Synopsys公司先进的EDA软件ESP-CV来实现对较大容量的SRAM的功能验证。文章在简述两种方法的基础上,用具体实例详细描述了两种方法在电路仿真测试中的应用,并给出了电路的部分测试文件及仿真结果,进一步论述了该方法的可行性及实用性。

关 键 词：SRAM 文件 应用程序 仿真结果 设计验证 测试 形式验证 功能验证 电路仿真 synopsys公司 

分 类 号：TN402[电子电信—微电子学与固体电子学] TP333[自动化与计算机技术—计算机系统结构]