可配置系统级验证环境构造方法、系统及介质技术方案

本发明专利技术公开了一种可配置系统级验证环境构造方法，用于构造生成集成电路芯片的系统级验证环境，该方法包括：将待测设计系统级验证时所有不同平台和不同功能需求的编译参数记录到模板文件；为模板文件中的每个编译参数确定开关；用规则文件记录开关之间的所有的逻辑关系；根据需要的具体功能提供配置文件，指明所需的开关及其取值；将规则文件应用于配置文件进行合法性检查，若检查通过则按照配置文件指定的开关从模板文件选出需要的编译参数；否则返回错误信息并退出。本发明专利技术能够满足不同验证平台、不同验证功能的需求，具有可靠性好、易于使用、灵活配置、不易出错、重用方便的优点。

【技术实现步骤摘要】
可配置系统级验证环境构造方法、系统及介质
本专利技术涉及集成电路芯片验证技术，具体涉及一种可配置系统级验证环境构造方法、系统及介质。
技术介绍
集成电路芯片在进行系统级验证时，通常需要考虑将芯片的设计代码在多个不同的验证平台（如硬件仿真器、软模拟、FPGA）上进行仿真验证，根据验证平台的特性，工具对设计代码的要求各不相同，因此一些设计模块在不同的验证平台上需要使用不同编译参数，包括不同的宏定义、参数赋值、文件列表、编译选项。即便针对同一个的平台，也存在根据验证需求，将芯片设计中的部分模块替换为功能模型、空模型或某种特定行为的部件，使用这些不同的功能时，在编译参数上也有所区别。为了满足不同验证平台、不同验证功能的需求，可以同时维护多套宏定义、参数赋值、文件列表、编译选项文件，但缺点在于，需要验证人员各自维护各自的文件，难以统一管理验证过程，容易出现混乱和错误，并且不利于重用。
技术实现思路
本专利技术要解决的技术问题：针对现有技术的上述问题，提供一种可配置系统级验证环境构造方法、系统及介质，本专利技术能够满足不同验证平本文档来自技高网...

【技术保护点】
1.一种可配置系统级验证环境构造方法，用于构造生成集成电路芯片的系统级验证环境，其特征在于，该方法包括：/n将待测设计系统级验证时所有不同平台和不同功能需求的编译参数记录到模板文件；/n为模板文件中的每个编译参数确定开关；/n用规则文件记录开关之间的所有的逻辑关系；/n根据需要的具体功能提供配置文件，指明所需的开关及其取值；/n将规则文件应用于配置文件进行合法性检查，若检查通过则按照配置文件指定的开关从模板文件选出需要的编译参数；否则返回错误信息并退出。/n

【技术特征摘要】
1.一种可配置系统级验证环境构造方法，用于构造生成集成电路芯片的系统级验证环境，其特征在于，该方法包括：
将待测设计系统级验证时所有不同平台和不同功能需求的编译参数记录到模板文件；
为模板文件中的每个编译参数确定开关；
用规则文件记录开关之间的所有的逻辑关系；
根据需要的具体功能提供配置文件，指明所需的开关及其取值；
将规则文件应用于配置文件进行合法性检查，若检查通过则按照配置文件指定的开关从模板文件选出需要的编译参数；否则返回错误信息并退出。


2.根据权利要求1所述的可配置系统级验证环境构造方法，其特征在于，所述模板文件中记录的所有不同平台和不同功能需求的编译参数具体包括可直接被目标平台的编译工具所识别的宏定义、参数赋值、文件列表、编译选项。


3.根据权利要求1所述的可配置系统级验证环境构造方法，其特征在于，所述为模板文件中的每个编译参数确定开关时，每一个开关包括开关名以及状态量，所述状态量包括开关被设置成on或者off的取值，含义为对开关名所定义的功能进行打开或者关闭的配置。


4.根据权利要求1所述的可配置系统级验证环境构造方法，其特征在于，所述逻辑关系具体是指将开关的状态量当作逻辑真值和假值，采用二值逻辑变量的逻辑表达式表示开关之间的相互关联的逻辑关系。


5.根据权利要求1所述的可配置系统级验证环境构造方法，其特征在于，所述规则文件包含一组以开关名作为逻辑变量的逻辑表达式，这些逻辑表达式完整地体现...

【专利技术属性】
技术研发人员：周理，罗莉，潘国腾，周海亮，荀长庆，铁俊波，欧国东，
申请(专利权)人：中国人民解放军国防科技大学，
类型：发明
国别省市：湖南;43