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

走进内心 · 发表于 3 天前

求助大神，关于FP32浮点加法/累加验证的完备性，可以从哪些方便考虑？有哪些定向的例子可以测试？如果采用形式化验证，那么累加要如何做测试呢？

xxzzc · 发表于昨天 10:58

首先测舍入模式有没有遵循IEEE规范

gotoibm · 发表于昨天 13:36

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

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

diyangguang · 发表于昨天 21:48

谢谢群主

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

浏览过的版块

站长推荐 /1