申请/专利权人：上海芯联芯智能科技有限公司

申请日：2024-01-02

公开（公告）日：2024-04-05

公开（公告）号：CN117829051A

主分类号：G06F30/3308

分类号：G06F30/3308;G06F115/02;G06F115/08

优先权：

专利状态码：在审-公开

法律状态：2024.04.05#公开

摘要：本发明提供一种基于C语言的SoC验证方法和平台。所述方法包括：生成功能模块的配置类，所述配置类包括需要进行随机的寄存器的位域以及配置类打印函数；基于SV语言设计所述功能模块的测试用例的配置类；在功能模块的配置类的随机完成后，利用所述测试用例的配置类调用所述功能模块的配置类中的配置类打印函数打印生成符合C语言语法的随机结果文件；基于C语言形成所述功能模块的测试代码，所述测试代码能够调用所述随机结果文件；对所述测试代码和所述随机结果文件进行编译、链接生成所述测试用例的可执行文件；基于所述测试用例的可执行文件对所述功能模块进行验证。这样，解决了C语言不能像SV语言那样进行受约束的随机数的产生的问题。

主权项：1.一种基于C语言的SoC验证方法，其特征在于，其包括：基于SV语言生成待验证的功能模块的配置类，所述配置类包括需要进行随机的寄存器的位域以及一个配置类打印函数，所述配置类打印函数能够将需要进行随机的寄存器的位域的随机值打印输出到符合C语言语法的随机结果文件中；基于SV语言设计所述功能模块的测试用例的配置类；在测试用例的构建阶段，在功能模块的配置类的随机完成后，利用所述测试用例的配置类调用所述功能模块的配置类中的配置类打印函数打印生成符合C语言语法的所述测试用例的随机结果文件；基于C语言形成所述功能模块的测试代码，所述测试代码能够调用所述随机结果文件；对所述测试代码和所述测试用例的随机结果文件进行编译、链接生成所述测试用例的可执行文件；基于所述测试用例的可执行文件对所述功能模块进行验证。

全文数据：

权利要求：

百度查询： 上海芯联芯智能科技有限公司 基于C语言的SoC验证方法和平台

免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。

阅读全文 双屏查看 官方信息 专利公告 收藏专利 下载PDF 下载WORD