公开(公告)号：CN109992459B

公开(公告)日：2023-03-28

申请号：CN201910252452.1

申请日：2019-03-29

申请人： 合芯科技(苏州)有限公司

发明人： 冯春阳 ,  彭琅 ,  刘刚 ,  王俊杰 ,  张兴革 ,  黄晶 ,  王鹿

IPC分类号： G06F11/22 ,  G06F11/263

摘要： 本申请公开了一种数据转换方法、装置、设备及存储介质，属于计算机技术领域。所述方法包括：获取目标数据的操作码；根据目标数据的操作码，在至少两个功能函数中确定目标操作码对应的目标功能函数；通过目标功能函数对目标数据执行数据转换操作，得到目标数据的目标转换结果，通过判断是否需要更新结果寄存器得到虚拟寄存器组的当前状态信息。本申请由于能够在输出目标转换结果的基础上输出虚拟寄存器组的当前状态信息，从而实现了对定浮点数据的功能参考模型的构建，提高了对定浮点数据的转换装置进行验证的验证速度。

公开(公告)号：CN109933948B

公开(公告)日：2024-02-02

申请号：CN201910258364.2

申请日：2019-04-01

申请人： 合芯科技(苏州)有限公司 ,  上海合芯数字科技有限公司

发明人： 张兴革 ,  冯春阳 ,  王俊杰 ,  彭琅 ,  黄晶 ,  刘刚 ,  王鹿

IPC分类号： G06F30/3323

摘要： 本发明公开了一种形式验证方法、装置、形式验证平台及可读存储介质，该形式验证方法包括如下步骤：获取输入待测模型的待验证源操作数；判断待验证源操作数是否属于必要验证源操作数；如果待验证源操作数不属于必要验证源操作数，则确定将待验证源操作数作为输入时，待测模型与参考模型的输出结果相等；如果待验证源操作数属于必要验证源操作数，则启动形式验证工具，将验证待验证源操作数作为输入，根据待测模型的输出结果与参考模型的输出结果进行验证。通过在启用形式验证工具验证待测模型和参考模型的输出结果是否相等之前，判断待验证源操作数是否属于待测模型的必须要验证源操作数，降低了形式验证方法出现空间爆炸问题的风险。

公开(公告)号：CN109977558B

公开(公告)日：2023-04-07

申请号：CN201910245085.2

申请日：2019-03-28

申请人： 合芯科技(苏州)有限公司

发明人： 冯春阳 ,  王鹿 ,  刘刚 ,  徐黎 ,  谢延华 ,  宋伟伟

IPC分类号： G06F30/30

摘要： 本发明公开一种芯片寄存器代码结构的生成方法、装置及存储介质，方法包括：获取待生成代码结构的第一寄存器代码文档，并从第一寄存器代码文档中提取寄存器代码参数，第一寄存器代码文档按照第一预设格式命名；根据寄存器代码参数，生成包含多个逻辑功能子模块的顶层模块结构；根据顶层模块结构，导出用于呈现多个逻辑功能子模块相互之间存在逻辑层次关系的第二寄存器代码文档，第二寄存器代码文档按照第二预设格式命名；通过对第二寄存器代码文档的内容进行处理，生成待生成代码结构。本发明有利于芯片前端或后端的代码设计工程师或代码设计团队开发或研究代码的工作效率，且有利于代码设计工程师一目了然地获知各逻辑功能子模块的代码内容信息。