当前位置: 首页 > news >正文

浮点测试初探

浮点计算的实现

浮点的计算可以有两种实现思路1. 软件实现浮点转定点,依靠ISA提供的整数运算2. 直接依靠ISA提供的浮点运算第二种的实现速度更快

软件实现浮点计算

    1. MPFR
    1. SoftFloat by Berkeley

硬件实现浮点计算

    1. The HardFloat, SoftFloat, and TestFloat Packages

浮点的表示

<<计算机组成与设计 硬件软件接口>> 有写 浮点数据在内存中是怎么表示的浮点数据在内存中的表示静态的转换是 编译器 做的 .float 变量 直接编码到 bin文件中动态的转换是 运行时 做的 . 属于浮点计算的一种.

浮点的测试

  • ✅ 1. [MPFR (GNU Multiple Precision Floating-Point Reliable Library)]

适合用于验证单精度浮点数运算的正确性,尽管它本身是高精度的(任意精度)。
你可以用它生成参考值,再与单精度 float 运算结果做对比。
常用于测试 floatdouble 运算的误差和正确性
官网: The GNU MPFR Library

  • ✅ 2. TestFloat by Berkeley

Berkeley 的 SoftFloat 库提供了纯软件实现的 IEEE-754 浮点运算,精度准确,覆盖了单精度(float)、双精度、扩展精度。
TestFloat 是它的测试模块,可以对比硬件浮点结果与软件参考实现。
支持多种 rounding modes、NaN、异常等测试。
官网: The HardFloat, SoftFloat, and TestFloat Packages

http://www.dtcms.com/a/273872.html

相关文章:

  • Genus:设计信息结构以及导航方式(路径种类)
  • Java中的泛型继承
  • 【C语言进阶】带你由浅入深了解指针【第四期】:数组指针的应用、介绍函数指针
  • 【Spring Boot】Spring Boot 4.0 的颠覆性AI特性全景解析,结合智能编码实战案例、底层架构革新及Prompt工程手册
  • mysql的LIMIT 用法
  • 1 APP-OneNET 生成token密钥
  • Ubuntu2404修改国内镜像
  • 我的第一个开源项目|Geex:道阻且长的开源之路
  • docker的学习
  • React中Redux基础和路由介绍
  • 将手工建模模型(fbx、obj)转换为3dtiles的免费工具!
  • threejs案例开发-中国3D国旗动画
  • PostgreSQL 查询库中所有表占用磁盘大小、表大小
  • [Meetily后端框架] 多模型-Pydantic AI 代理-统一抽象 | SQLite管理
  • 共享储能电站在工业用户经济调度中的matlab仿真
  • 需求升级,创新破局!苏州金龙赋能旅游客运新生态
  • Go中使用wire进行统一依赖注入管理
  • 【JavaScript高级】构造函数、原型链与数据处理
  • 3 OneNET-调试器模拟上报数据
  • 深入理解Spring声明式事务的同步管理机制
  • C++ 面向对象 - 对象定义方法汇总
  • MySQL:分析表锁的常见问题
  • Flowable 使用遇到问题
  • Redis Sentinel哨兵集群
  • 碳中和目标下的全球产业链重构:深度解析与未来路径
  • Maui劝退:用windows直接真机调试iOS,无须和Mac配对
  • 单片机显示Unicode字符介绍
  • PDXP、UDP与HDLC协议技术解析:架构、应用与对比研究
  • SpringBoot 拦截器和过滤器的区别
  • 如何高效验证代理IP的可用性与稳定性