基于SRT4实现SRT16的除法运算电路

    公开(公告)号:CN117785117B

    公开(公告)日:2024-08-20

    申请号:CN202311812778.8

    申请日:2023-12-26

    IPC分类号: G06F7/537 G06F7/50

    摘要: 本申请提供一种基于SRT4实现SRT16的除法运算电路,通过数据输入模块完成数据的预处理工作,并向后续的电路模块输入初始操作数,余数处理模块接收初始操作数及数据选择模块的输入结果,并通过余数处理模块前次迭代获得的结果、初始操作数及数据选择模块前次迭代获得的结果,获得最新一次迭代步骤对应的余数操作数,余数操作数可用于在数据选择模块中,根据预设的结果分解方式,确定出低位结果数值和高位结果数值,在数据输出模块中,根据各步骤获得的结果数值进行合成,经过预设的迭代次数,从而得到最终结果,通过SRT4算法的原理实现了SRT16的除法计算,节约了高基数SRT计算电路的硬件资源,还提升了SRT迭代过程的计算效率。

    基于SRT4实现SRT16的开方运算电路

    公开(公告)号:CN117785116A

    公开(公告)日:2024-03-29

    申请号:CN202311812647.X

    申请日:2023-12-26

    IPC分类号: G06F7/537 G06F7/50

    摘要: 本申请提供一种基于SRT4实现SRT16的开方运算电路,通过数据输入模块预处理并向后续模块传输初始操作数,余数处理模块接收初始操作数及数据选择模块的输入结果,并通过初始操作数或余数处理模块前次迭代获得的部分结果,以及等效除数和数据选择模块前次迭代获得的结果,获得最新迭代对应的余数操作数,余数操作数可用于在数据选择模块中,根据预设的结果分解方式,确定出低位结果数值和高位结果数值,并确定出部分结果和等效除数,在数据输出模块中,对各步骤获得的结果进行合成,经过预设的迭代次数,从而得到最终结果,通过SRT4算法的原理实现了SRT16的开方计算,节约了高基数SRT计算电路的硬件资源,还提升了SRT迭代过程的计算效率。

    SRT运算电路、方法、装置、芯片及电子设备

    公开(公告)号:CN117785115A

    公开(公告)日:2024-03-29

    申请号:CN202311811647.8

    申请日:2023-12-26

    IPC分类号: G06F7/537 G06F7/50

    摘要: 本申请提供一种SRT运算电路、方法、装置、芯片及电子设备,通过数据输入模块完成数据的预处理,并向后续的电路模块输入初始操作数,余数处理模块接收初始操作数及数据选择模块的输入结果,并通过余数处理模块前次迭代获得的结果、初始操作数及数据选择模块前次迭代获得的结果,获得最新一次迭代步骤对应的余数操作数,根据预设的结果分解方式,确定出低位结果数值和高位结果数值,在数据输出模块中进行合成,经过预设的迭代次数,从而得到最终结果,实现了高基数SRT计算过程中,对选择函数和结果数据的拆分,通过低基数SRT对应的电路资源的叠加实现高基数的SRT,提升了SRT电路实现及应用的灵活性,并节约了硬件资源,还提升了SRT迭代过程的计算效率。

    基于SRT4实现SRT16的除法运算电路

    公开(公告)号:CN117785117A

    公开(公告)日:2024-03-29

    申请号:CN202311812778.8

    申请日:2023-12-26

    IPC分类号: G06F7/537 G06F7/50

    摘要: 本申请提供一种基于SRT4实现SRT16的除法运算电路,通过数据输入模块完成数据的预处理工作,并向后续的电路模块输入初始操作数,余数处理模块接收初始操作数及数据选择模块的输入结果,并通过余数处理模块前次迭代获得的结果、初始操作数及数据选择模块前次迭代获得的结果,获得最新一次迭代步骤对应的余数操作数,余数操作数可用于在数据选择模块中,根据预设的结果分解方式,确定出低位结果数值和高位结果数值,在数据输出模块中,根据各步骤获得的结果数值进行合成,经过预设的迭代次数,从而得到最终结果,通过SRT4算法的原理实现了SRT16的除法计算,节约了高基数SRT计算电路的硬件资源,还提升了SRT迭代过程的计算效率。

    SRT运算电路、方法、装置、芯片及电子设备

    公开(公告)号:CN117785115B

    公开(公告)日:2024-08-13

    申请号:CN202311811647.8

    申请日:2023-12-26

    IPC分类号: G06F7/537 G06F7/50

    摘要: 本申请提供一种SRT运算电路、方法、装置、芯片及电子设备,通过数据输入模块完成数据的预处理,并向后续的电路模块输入初始操作数,余数处理模块接收初始操作数及数据选择模块的输入结果,并通过余数处理模块前次迭代获得的结果、初始操作数及数据选择模块前次迭代获得的结果,获得最新一次迭代步骤对应的余数操作数,根据预设的结果分解方式,确定出低位结果数值和高位结果数值,在数据输出模块中进行合成,经过预设的迭代次数,从而得到最终结果,实现了高基数SRT计算过程中,对选择函数和结果数据的拆分,通过低基数SRT对应的电路资源的叠加实现高基数的SRT,提升了SRT电路实现及应用的灵活性,并节约了硬件资源,还提升了SRT迭代过程的计算效率。

    基于SRT4实现SRT16的开方运算电路

    公开(公告)号:CN117785116B

    公开(公告)日:2024-07-16

    申请号:CN202311812647.X

    申请日:2023-12-26

    IPC分类号: G06F7/537 G06F7/50

    摘要: 本申请提供一种基于SRT4实现SRT16的开方运算电路,通过数据输入模块预处理并向后续模块传输初始操作数,余数处理模块接收初始操作数及数据选择模块的输入结果,并通过初始操作数或余数处理模块前次迭代获得的部分结果,以及等效除数和数据选择模块前次迭代获得的结果,获得最新迭代对应的余数操作数,余数操作数可用于在数据选择模块中,根据预设的结果分解方式,确定出低位结果数值和高位结果数值,并确定出部分结果和等效除数,在数据输出模块中,对各步骤获得的结果进行合成,经过预设的迭代次数,从而得到最终结果,通过SRT4算法的原理实现了SRT16的开方计算,节约了高基数SRT计算电路的硬件资源,还提升了SRT迭代过程的计算效率。

    一种芯片寄存器代码结构的生成方法、装置及存储介质

    公开(公告)号:CN109977558B

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

    申请号:CN201910245085.2

    申请日:2019-03-28

    IPC分类号: G06F30/30

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

    信号处理方法、验证方法及电子设备

    公开(公告)号:CN109960866B

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

    申请号:CN201910213600.9

    申请日:2019-03-20

    IPC分类号: G06F30/398

    摘要: 本发明涉及信号处理技术领域,具体涉及信号处理方法、验证方法及电子设备,其中信号处理方法包括获取待处理信号列表;所述待处理信号列表对应于第一语言;查询预设位宽以及数据存储模式;其中,数据存储模式包括大端模式以及小端模式;根据所述预设位宽以及数据存储模式,对所述待处理信号列表中各数据类型的信号进行处理,以得到第一信号列表和第二信号列表;其中,所述第一信号列表对应于所述第一语言,第二信号列表对应于第二语言;建立所述第一信号列表与所述第二信号列表中各信号的映射关系。利用预设位宽以及数据存储模式对待处理信号列表中各数据类型的信号进行处理,从而得到两侧都兼容的数据结构,保证了信号之间一对一正确的映射。

    一种形式验证方法、装置、形式验证平台及可读存储介质

    公开(公告)号:CN109933948B

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

    申请号:CN201910258364.2

    申请日:2019-04-01

    IPC分类号: G06F30/3323

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

    浮点运算方法、装置、设备及存储介质

    公开(公告)号:CN109960533B

    公开(公告)日:2023-04-25

    申请号:CN201910253370.9

    申请日:2019-03-29

    IPC分类号: G06F9/30 G06F11/22

    摘要: 本申请公开了一种浮点运算方法、装置、设备及存储介质,属于计算机技术领域。所述方法包括:获取目标数据的估值运算类型;根据目标数据的估值运算类型,在至少两个功能函数中确定目标数据的估值运算类型对应的目标功能函数;通过目标功能函数对目标数据执行目标浮点运算操作,得到目标估值结果;当需要更新虚拟寄存器中的控制/状态寄存器时,更新控制/状态寄存器,得到第一状态信息,将第一状态信息确定为当前状态信息;或者,当不需要更新控制/状态寄存器时,得到第二状态信息,将第二状态信息确定为当前状态信息。本申请在输出目标估值结果的基础上能够输出虚拟寄存器的当前状态信息,从而实现了浮点运算的功能参考模型的构建。