一种可配置的EDA仿真验证方法

    仿真测试是EDA设计过程中验证逻辑功能正确性的重要手段.由于验证的复杂度随设计规模成指数增长，对于占用5000以上逻辑单元(约十万等效门)以上的EDA设计而言，其激励信号的注人与仿真结果的分析难以手动进行.设计者通常需要借助EDA开发环境外的其他工程工具，或结合其他高级程序设计语言来完成.
   
    然而，上述研究中的激励数据虽具有可配置的特点，但注人这些数据的触发方式却缺乏可配置能力.例如龙芯2号的仿真验证[41使用了可配置的随机程序生成器 CPRG(Configurable Random Program Generator)来产生测试向量，从而大大提高了效率和测试覆盖率.但由于仅使用了定时触发的方式，该系统仅在仿真初始化阶段进行注人，类似的案例还有.这种定时触发的仿真方法与仿真过程缺少交互，因此与真实系统存在较大差别.特别是对于需要根据仿真过程中某个信号的状态来注人故障或干扰信号，以检测电路的容错能力的案例，采用定时触发方式往往难以达到所需的验证效果.
   
    采用事件触发方式可以解决定时触发的种种弊端.然而要实现触发事件的可配置，必须先实现测试台代码的可配置一 个典型的例子是信号处理系统.Husmann等采用了Perl脚本编写的配置管理模块来管理事先编写的测试台和测试向量，并维护仿真结果记录.配置管理的引人使得该系统具有一定的灵活性.但由于测试台仍需事先编写，不能称为完全的可配置仿真验证系统.
   
    本文提出一种针对十万门以上规模集成电路的可配置仿真测试方法，使用配置脚本作为输入，通过CTG(Configurable Testbench Generator)自动产生测试台代码，实现了触发事件的完全可配置.本方法生成的测试系统中注人逻辑与数据文件分离，仍然可以通过Matlab等工程软件生成测试向量.实验表明该方法可避免重复编码带来的低效率和可靠性的降低，并节省保存仿真状态所需的存储空间.
   
    1 可配置的仿真验证系统
   
    1.1 基干CTG的仿真验证环境
   
    基于可配置测试台生成器 CTG的仿真验证环境是实现可配置的事件触发方式的前提，它包含信号库、配置脚本、测试台生成引擎、激励数据库和仿真验证环境，如图1所示.信号库定义了待测系统的信号集合.配置脚本定义了激励、触发模式、事件与记录点，这些信息构成测试台生成规则，实现了触发事件的可配置.测试台生成引擎是系统的核心，它根据配置脚本指定的规则自动产生测试台代码，测试台代码中包含对被测电路的引用.激励数据库包含所需注人的数据以及其所对应的相对于触发点的注人时间，激励数据仍然可以按照上述的方法产生，对此本文不作深人讨论.
    

    1.2 数据结构
   
    用于描述可配置测试台产生规则的信息存储在信号库和配置脚本中，这些信息的逻辑结构如下.信号库定义了信号集合，对于给定的被测电路C，信号库中的信息固定不变.有如下定义:
   
    定义 1 信号集合
   

    定义2 激励(Stimulation)
   

    定义3 触发模式(Trigger)
   

    定义 4 时间触发事件
   

    定义5 跳变触发事件
   

    定义6 记录点