[求助] 求助FP32加法/累加验证完备性

发表于 2025-6-28 13:36:30 | 显示全部楼层

用C++浮点库SoftFloat作为reference model，使用C2RTL形式验证工具和RTL做等价性验证。

香山FP64乘法15分钟验完。FP32加法也就几分钟能验完。
【公开课 | 基于形式化方法的C模型和RTL实现逻辑等价性检验——阿卡思微电子技术总监冯煌】 https://www.bilibili.com/video/BV1fJ23YQE9Y/

使用道具举报

返回列表发新帖

GMT+8, 2025-9-21 02:35 , Processed in 0.011984 second(s), 4 queries , Gzip On, Redis On.

eetop公众号

创芯大讲堂

创芯人才网

账号		自动登录	找回密码
密码			注册

[求助] 求助FP32加法/累加验证完备性

浏览过的版块

站长推荐 /1