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

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

【技术实现步骤摘要】
可配置系统级验证环境构造方法、系统及介质
本专利技术涉及集成电路芯片验证技术，具体涉及一种可配置系统级验证环境构造方法、系统及介质。
技术介绍
集成电路芯片在进行系统级验证时，通常需要考虑将芯片的设计代码在多个不同的验证平台（如硬件仿真器、软模拟、FPGA）上进行仿真验证，根据验证平台的特性，工具对设计代码的要求各不相同，因此一些设计模块在不同的验证平台上需要使用不同编译参数，包括不同的宏定义、参数赋值、文件列表、编译选项。即便针对同一个的平台，也存在根据验证需求，将芯片设计中的部分模块替换为功能模型、空模型或某种特定行为的部件，使用这些不同的功能时，在编译参数上也有所区别。为了满足不同验证平台、不同验证功能的需求，可以同时维护多套宏定义、参数赋值、文件列表、编译选项文件，但缺点在于，需要验证人员各自维护各自的文件，难以统一管理验证过程，容易出现混乱和错误，并且不利于重用。
技术实现思路
本专利技术要解决的技术问题：针对现有技术的上述问题，提供一种可配置系统级验证环境构造方法、系统及介质，本专利技术能够满足不同验证平台、不同验证功能的需求，具有可靠性好、易于使用、灵活配置、不易出错、重用方便的优点。为了解决上述技术问题，本专利技术采用的技术方案为：一种可配置系统级验证环境构造方法，用于构造生成集成电路芯片的系统级验证环境，该方法包括：将待测设计系统级验证时所有不同平台和不同功能需求的编译参数记录到模板文件；为模板文件中的每个编译参数确定开关；用规则文件记录开关之间的所有的逻辑关系；根据需要的具体功能提供配置文件，指明所需的开关及其取值；将规则文件应用于配置文件进行合法性检查，若检查通过则按照配置文件指定的开关从模板文件选出需要的编译参数；否则返回错误信息并退出。可选地，所述模板文件中记录的所有不同平台和不同功能需求的编译参数具体包括可直接被目标平台的编译工具所识别的宏定义、参数赋值、文件列表、编译选项。可选地，所述为模板文件中的每个编译参数确定开关时，每一个开关包括开关名以及状态量，所述状态量包括开关被设置成on或者off的取值，含义为对开关名所定义的功能进行打开或者关闭的配置。可选地，所述逻辑关系具体是指将开关的状态量当作逻辑真值和假值，采用二值逻辑变量的逻辑表达式表示开关之间的相互关联的逻辑关系。可选地，所述规则文件包含一组以开关名作为逻辑变量的逻辑表达式，这些逻辑表达式完整地体现了设计代码、验证平台、验证功能中存在的约束，规则文件中所有的逻辑表达都必须保持为真。可选地，所述合法性检查具体是对一个配置文件中所指定的开关及其取值，检查规则文件中的全部逻辑表达式的值，都为真值才能通过检查，且只有通过合法性检查的配置文件才是合法配置文件。可选地，所述按照配置文件指定的开关从模板文件选出需要的编译参数时，选出需要的编译参数的规则为：如果模板文件中的编译参数有开关声明，且与配置文件所指明开关的取值一致，则被选出；模板文件中的编译参数有多个开关声明时，必须每个开关都与配置文件所指明开关的取值一致时，该编译参数才会被选中。可选地，所述返回错误信息时包括返回规则文件中取值不为真的具体逻辑达式。此外，本专利技术还提供一种可配置系统级验证环境构造系统，包括计算机设备，该计算机设备被编程或配置以执行所述可配置系统级验证环境构造方法的步骤，或者该计算机设备的存储器中存储有被编程或配置以执行所述可配置系统级验证环境构造方法的计算机程序。此外，本专利技术还提供一种计算机可读存储介质，该计算机可读存储介质中存储有被编程或配置以执行所述可配置系统级验证环境构造方法的计算机程序。与现有技术相比，本专利技术具有下述优点：本专利技术能够统一有效地管理系统级验证环境，灵活度高，按照具体验证需求可配置构造验证环境，用户使用方便且不易出错，很好地满足多个验证平台和不同验证功能的需求。本专利技术能够满足不同验证平台、不同验证功能的需求，具有可靠性好、易于使用、灵活配置、不易出错、重用方便的优点。附图说明图1为本专利技术实施例方法的基本流程示意图。具体实施方式以下将结合说明书附图和具体实施例对本专利技术做进一步详细说明。本实施例可配置系统级验证环境构造方法用于构造生成集成电路芯片的系统级验证环境，如图1所示，本实施例方法包括：将待测设计系统级验证时所有不同平台和不同功能需求的编译参数记录到模板文件；为模板文件中的每个编译参数确定开关；用规则文件记录开关之间的所有的逻辑关系；根据需要的具体功能提供配置文件，指明所需的开关及其取值；将规则文件应用于配置文件进行合法性检查，若检查通过则按照配置文件指定的开关从模板文件选出需要的编译参数；否则返回错误信息并退出。本实施例中，模板文件中记录的所有不同平台和不同功能需求的编译参数具体包括可直接被目标平台的编译工具所识别的宏定义、参数赋值、文件列表、编译选项。本实施例中，编译参数分为必须使用和在特定条件下才会使用两种，对于特定条件下使用的编译参数，需要在模板文件中为其声明单个或多个开关以及取值。通过宏定义、参数赋值、文件列表、编译选项，可实现对所有不同平台和不同功能需求的编译参数的定制，从而达到满足不同验证平台、不同验证功能的需求的目的。本实施例中，为模板文件中的每个编译参数确定开关时，每一个开关包括开关名以及状态量，所述状态量包括开关被设置成on（打开）或者off（关闭）的取值，含义为对开关名所定义的功能进行打开或者关闭的配置。模板文件根据待测设计系统级验证时全部验证平台、验证功能所需的宏定义、文件列表、参数赋值、编译选项确定，模板文件中的每条宏定义、文件列表、参数赋值、编译选项如果只在特定功能下启用，就有它对应的开关声明。本实施例中，模板文件包含系统验证全部平台、全部功能所需的编译参数，每一个编译参数，可以不声明开关或者声明开关及其取值。如不声明开关，该编译参数总是有用，在所有配置条件下都会出现在最终的验证环境中；如声明单个或者多个开关，只有在这些开关的取值等于声明的值时，该编译参数才会出现在最终的验证环境中。模板文件中已经声明的开关，如果存在关联关系，则用逻辑表达式将这种关系记录到规则文件。本实施例中，逻辑关系具体是指将开关的状态量（on和off）当作逻辑真值和假值，采用二值逻辑变量的逻辑表达式表示开关之间的相互关联的逻辑关系。逻辑关系是指开关之间的相互关联关系。由于开关的取值on和off可以当作逻辑真值和假值，开关之间的关系可以用二值逻辑变量的逻辑表达式表示。本实施例中可用于描述逻辑关系的逻辑操作符包括逻辑蕴含，逻辑与，逻辑非，逻辑或。例如设计代码中模块A使用空模型的开关为A_NULL，模块B使用空模型的开关为B_NULL，如果约定设计代码中A和B必须同时使用空模型，则存在逻辑关系A_NULL蕴含B_NULL，B_NULL蕴含A_NULL。本实施例中，规则文件包含一组以开关名作为逻辑变量的本文档来自技高网...

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

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


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


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


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


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

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