申请/专利权人：山东产研鲲云人工智能研究院有限公司

申请日：2023-09-28

公开（公告）日：2024-02-06

公开（公告）号：CN117519643A

主分类号：G06F7/57

分类号：G06F7/57;G06F7/58

优先权：

专利状态码：在审-实质审查的生效

法律状态：2024.02.27#实质审查的生效;2024.02.06#公开

摘要：本申请提供一种验证算术逻辑单元的方法及计算设备。所述方法应用于芯片验证仿真平台，所述芯片验证仿真平台包括验证环境中的组件和待测芯片的寄存器传输级代码，所述方法包括：生成验证环境，根据测试需求继承于验证环境而生成各组测试实例，所述验证环境包括参考模型；根据所述测试需求，在预定约束的数据范围内以比特位形式随机出预定位的随机比特数；通过格式转换函数将所述随机比特数转换为所需类型的操作数；将所述操作数提供至算术逻辑单元；将所述算术逻辑单元的输出数据存储为比特数；将所述比特数与所述参考模型运算出的结果进行逐位比对以对算术逻辑单元进行验证。根据本申请的技术方案能够减少验证时的精度损失，提高验证效率。

主权项：1.一种验证算术逻辑单元的方法，其特征在于，包括：生成验证环境，根据测试需求继承于验证环境而生成各组测试实例，所述验证环境包括参考模型；根据所述测试需求，在预定约束的数据范围内以比特位形式随机出预定位的随机比特数；通过格式转换函数将所述随机比特数转换为所需类型的操作数；将所述操作数提供至算术逻辑单元；将所述算术逻辑单元的输出数据存储为比特数；将所述比特数与所述参考模型运算出的结果进行逐位比对以对所述算术逻辑单元进行验证。

全文数据：

权利要求：

百度查询： 山东产研鲲云人工智能研究院有限公司 验证算术逻辑单元的方法及计算设备

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

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