公开(公告)号：CN112506517A

公开(公告)日：2021-03-16

申请号：CN202011377429.4

申请日：2020-11-30

申请人： 天津飞腾信息技术有限公司

发明人： 王红灵 ,  戴梅芝 ,  朱红 ,  晁张虎 ,  柏颖 ,  杨庆娜 ,  王忠弈 ,  李留 ,  高金培 ,  马鑫 ,  吴沙 ,  宋欲佳

IPC分类号： G06F8/41 ,  G06F11/34

摘要： 本发明公开了一种裸机系统级激励交叉编译系统及编译方法，该系统包括：测试激励模块，用于编写并存储针对相应裸机系统级验证功能点的定向和随机激励；库文件模块，用来实现裸机启动程序的功能和激励开发过程中的共用函数；CPU内核配置模块，用于实现目标CPU配置；编译链接模块，用于描述可执行文件的链接方式，并将二进制文件解析生成可用于调试的反汇编代码；编译环境解析汇编模块，用于将配置解析出来以生成相应的文件，并汇编生成可执行的二进制文件。该方法可以基于上述系统来实施。本发明具有灵活性好、适用范围广、可提高仿真效率等优点。

公开(公告)号：CN112199291A

公开(公告)日：2021-01-08

申请号：CN202011109721.8

申请日：2020-10-16

申请人： 天津飞腾信息技术有限公司

发明人： 范君建 ,  晁张虎 ,  戴梅芝 ,  朱红 ,  柏颖 ,  杨庆娜 ,  王忠弈 ,  贾亚平 ,  王红灵 ,  李宇杰 ,  胡恩 ,  李晨

IPC分类号： G06F11/36

摘要： 本发明公开了一种多核处理器Cache一致性模拟验证方法及验证装置，该验证方法为：配置验证环境和验证激励，在验证环境下进行激励测试；在完成激励测试之后进行覆盖率收集与性能统计，通过全局协议正确性检查来判定系统是否按照协议要求进行状态的正确迁移。该验证装置是基于上述验证方法来构建的。本发明具有原理简单、操作简便、验证效果好等优点。

公开(公告)号：CN112613254A

公开(公告)日：2021-04-06

申请号：CN202011377474.X

申请日：2020-11-30

申请人： 天津飞腾信息技术有限公司

发明人： 杨庆娜 ,  贾亚平 ,  戴梅芝 ,  朱红 ,  晁张虎 ,  柏颖 ,  王忠弈 ,  张峰境 ,  范君健 ,  张菲娟 ,  马玲芝

IPC分类号： G06F30/33

摘要： 本发明公开了一种处理器内部镜像控制模块注错验证系统及方法，该系统包括：注错模块，用来根据配置的敏感地址位以及请求的来源，生成不同状态的读响应；每一个注错模块和一个镜像控制模块相连；软件测试模块，用于根据注错模块配置的敏感地址位，构造与敏感地址位相匹配的不同读写请求报文激励发往互为镜像的一组镜像控制模块，并配合注错模块构造包含各种错误类型的验证场景，实现对镜像控制模块功能的验证。该方法可以基于上述系统来实现。本发明具有原理简单、使用方便、灵活性好、适用范围广等优点。

公开(公告)号：CN112199911A

公开(公告)日：2021-01-08

申请号：CN202011109689.3

申请日：2020-10-16

申请人： 天津飞腾信息技术有限公司

发明人： 朱红 ,  戴梅芝 ,  李梦君 ,  晁张虎 ,  柏颖 ,  杨庆娜 ,  王忠弈 ,  刘子文闻 ,  张峰境 ,  张祎 ,  夏云 ,  夏永乐

IPC分类号： G06F30/33

摘要： 本发明公开了一种SOC系统级验证环境的激励生成方法，其步骤包括：步骤S1：分析输入文件；分析子模块设备模型UVM接口和SOC系统级验证环境的顶层，建立子模块设备模型UVM接口和SOC系统级验证环境的顶层信号接口间的连接关系；步骤S2：建立集成验证环境；令子模块设备模型UVM环境能够快速集成到SOC系统级验证环境中；步骤S3：仿真运行，运行完分析结果。本发明具有原理简单、操作简便、可以减少验证环境集成时间、加快SOC验证进度等优点。