EETOP 创芯网论坛 (原名：电子顶级开发网)

标题: 求助FP32加法/累加验证完备性 [打印本页]

作者: 走进内心 时间: 前天 14:06
标题: 求助FP32加法/累加验证完备性
求助大神，关于FP32浮点加法/累加验证的完备性，可以从哪些方便考虑？有哪些定向的例子可以测试？如果采用形式化验证，那么累加要如何做测试呢？

作者: xxzzc 时间: 4 小时前
首先测舍入模式有没有遵循IEEE规范

作者: gotoibm 时间: 2 小时前
用C++浮点库SoftFloat作为reference model，使用C2RTL形式验证工具和RTL做等价性验证。

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

欢迎光临 EETOP 创芯网论坛 (原名：电子顶级开发网) (https://bbs.eetop.cn/)