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

走进内心

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

xxzzc

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

gotoibm

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

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

diyangguang

谢谢群主

走进内心

gotoibm 发表于 2025-6-28 13:36
用C++浮点库SoftFloat作为reference model，使用C2RTL形式验证工具和RTL做等价性验证。

香山FP64乘法15分 ...

谢谢回复，形式化验证我已经做完了。只是想如果用UVM怎么能验证完备。