关键词：sram 文件 应用程序 仿真结果 设计验证 

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

中国集成电路杂志要求:

{1}稿件应包括作者姓名、单位、职称、联系电话、通讯地址、电邮地址。

{2}提倡一稿专投、反对一文多用，凡已在公开出版物、互联网上发表的文章，一律不予以采用。

{3}文章大标题不超过20字，要简明、具体、可以概括全文，特别有必要的时候可以加副标题。

{4}参考文献：论文中直接或间接引用他人研究成果的，均需标注参考文献。

{5}摘要中文摘要400～500字，必须标明：目的、方法、结果、结论4部分，有对应的英文，英文摘要须包括：OBJECTIVE,METHODS,RESULTS,CONCLUSIONS。最好将本文创新点写在结论部分。

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社