[发明专利]一种基于断言的嵌入式存储控制器验证系统及方法

摘要

本发明公开一种基于断言的嵌入式存储控制器验证系统及方法，涉及集成电路逻辑验证领域，该验证系统主要包括（1）DUV代码分析提取单元（2）验证断言及激励生成单元（3）综合验证单元；通过对DUV设计代码进行自动分析提取，结合存储控制器验证断言库和激励产生库，高效地产生验证断言代码和激励生成代码，可以同时把验证代码应用于模拟验证和形式验证两种验证手段，并且能够在综合验证单元中实现对DUV设计的自动加载验证，极大地缩短了验证调试的时间，提高了验证效率。与传统的单独通过逻辑模拟验证相比较，在验证效率以及覆盖率等方面都有诸多优势。

主权项

一种基于断言的嵌入式存储控制器验证系统，其特征在于，包括:(1)DUV代码分析提取单元,(2)验证断言及激励生成单元,(3)综合验证单元；其中，(1)DUV代码分析提取单元：采用结构化的代码分析方式，完成对DUV设计Verilog代码的全面覆盖，以及对其中嵌入式存储信息、控制器协议信息的高效提取；(2)验证断言及激励生成单元：基于嵌入式存储配置信息，产生存储控制器逻辑验证的验证断言代码和激励生成代码；所述验证断言及激励生成单元包含验证断言库和激励产生库；(3)综合验证单元：根据嵌入式存储配置信息，自动完成DUV设计的测试平台构建，利用模拟验证或形式验证的方式，完成对其中的存储控制器的高效验证；通过DUV代码分析提取单元分析DUV设计的verilog代码，自动提取代码中嵌入式存储信息和控制器协议信息；同时输出作为嵌入式存储配置文件模板；通过验证断言及激励生成单元读取嵌入式存储配置文件，并在验证断言库和激励产生库中查找匹配存储信息和控制器协议信息，然后自动产生相应控制器的验证断言代码和激励生成代码；通过综合验证单元读取嵌入式存储配置文件，产生验证平台控制文件模板，并构建出DUV设计中存储控制器的验证平台，验证存储控制器，将输出的统计信息保存在验证结果文件里。