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