GB/T 17966-2000 微处理器系统的二进制浮点运算-检测标准-检测项目-北检院

标准中涉及的相关检测项目

以下是根据《GB/T 17966-2000 微处理器系统的二进制浮点运算》涉及内容的总结和解析，具体的检测项目、检测方法以及涉及的产品： ---

一、检测项目

标准《GB/T 17966-2000》主要围绕微处理器系统的二进制浮点运算进行规定，以下是可能涵盖的检测项目：

二进制浮点数据类型的定义及表示检测。
浮点运算基本功能的正确性检测，包括加、减、乘、除、比较运算等。
浮点运算的溢出或下溢情况测试。
特殊值的处理检测，如NaN（非数值）、正负无穷大的处理。
舍入模式的实现检测（例如四舍五入、向下取整等模式）。
异常和错误处理能力检测。
与IEEE 754标准的兼容性测试。

---

二、检测方法

检测方法通常基于对处理器浮点运算功能的验证和对结果的对比分析，包括以下方式：

编写测试案例程序：通过编写复杂的数学运算程序，用已知结果验证处理器是否正确执行浮点运算。
模拟或仿真测试：使用专门的模拟或仿真工具观察处理器浮点单元行为。
边界条件测试：对特殊值（如零、无穷大）和极端边界输入数据进行运算，以检测可能的处理缺陷。
随机数测试：输入大规模随机测试数据，观察结果是否符合预期。
硬件和软件联合调试测试：在实际硬件环境下，通过测试程序结合调试工具检测浮点运算执行是否存在错误。
对比标准模型：将被测产品的浮点运算结果与符合IEEE 754标准的模型结果进行比对。

---

三、涉及的产品

涉及的产品范围包括但不限于以下类别：

微处理器：如常规CPU（中央处理器）和嵌入式处理器。
数字信号处理器（DSP）：需要进行浮点计算的应用。
GPU（图形处理器）：多数GPU提供浮点运算能力，用于图像处理、科学计算等。
嵌入式设备：如医用设备、通信设备中涉及的浮点运算模块。
高性能计算设备：如超级计算机中大量运行浮点运算的硬件。
其他应用：如科学计算工具、金融分析模型硬件等。

---

此标准适用于需要进行二进制浮点运算的各种微处理器系统以及与其相关的算法和应用场景。检测应当覆盖全面的数据类型、运算场景和边界条件，以保证系统的准确性和稳定性。

GB/T 17966-2000 微处理器系统的二进制浮点运算的基本信息

标准名：微处理器系统的二进制浮点运算

标准号：GB/T 17966-2000

标准类别：国家标准(GB)

发布日期：2000-01-03

实施日期：2000-08-01

标准状态：现行

GB/T 17966-2000 微处理器系统的二进制浮点运算的简介

本标准规定：1)基本和扩充的浮点数格式；2)加、减、乘、除、开平方、求余数以及比较运算；3)整数与浮点数之间的转换；4)不同浮点格式之间的转换；5)基本格式浮点数与十进制数串之间的转换；6)浮点异常及其处理，包括非数(NaN)的处理。GB/T17966-2000微处理器系统的二进制浮点运算GB/T17966-2000

GB/T 17966-2000 微处理器系统的二进制浮点运算的部分内容

ICS35.160

中华人民共和国国家标准

GB/T17966—2000

idtIEC559:1989

微处理器系统的二进制浮点运算Binary floating-point arithmetic formicroprocessor systems2000-01-03发布

2000-08-01实施

国家质量技术监督局

GB/T17966—2000

本标准等同采用国际标准IEC559：1989《微处理机系统的二进制浮点运算》。本标准是微处理机系统二进制浮点运算的标准，它包括的二进制浮点运算可由计算机软件、硬件以及软硬结合的方法来实现，本标准是计算机的基础标准。本标准的附录A是提示的附录。

本标准由中华人民共和国信息产业部提出。本标准由中国电子技术标准化研究所归口。本标准起草单位：中国电子技术标准化研究所。本标准主要起草人：高健。

GB/T17966—2000

IEC前言

1）IEC（国际电工委员会）在技术问题上的正式决议和协议，是由对这些问题特别关切的国家委员会参加的技术委员会制定的，对所涉及的问题尽可能地代表了国际上的一致意见。2）这些决议或协议，以推荐标准的形式供国际上使用，并在此意义上为各国家委员会所认可。3）为了促进国际上的统一，EC希望各国家委员会在本国条件许可的情况下，采用IEC标准的文本作为其国家标准。IEC标准与相应国家标准之间的差异，应尽可能在国家标准中指明。IEC序言

本国际标准由IEC的TC47\半导体设备”技术委员会47B“微处理器系统”分委员会制定（本分委员会已由ISO/IECJTC1接管）。

IEC出版的559第二版代替1982年发行的第一版。本标准依据下列文件：

六个月的规则

47B(CO)19

在上表指定的投票报告能找到采纳本标准的全部投票信息。投票报告

47B(CO)26

1范围

中华人民共和国国家标准

微处理器系统的二进制浮点运算Binaryfloating-pointarithmetic formicroprocessorsystems1.1实现目标

GB/T17966—2000

idtIEC559:1989

其宗旨在于，无论是纯软件、纯硬件或软硬件组合的方法都能实现符合本标准的浮点系统。系统的程序员或系统用户可以知道是否符合本标准。要求软件支持才能符合本标准的硬件部分，离开软件便不能看作与本标准符合。

1.2包含

本标准规定：

1）基本和扩充的浮点数格式；

2）加、减、乘、除、开平方、求余数以及比较运算；3）整数与浮点数之问的转换

4）不同浮点格式之间的转换，

5）基本格式浮点数与十进制数串之间的转换；6）浮点异常及其处理，包括非数(NaN)的处理。1.3不包含

本标准不规定：

1)十进制串和整数的格式；

2）NaN符号和有效字段的解释：3）扩充格式二进制十进制之间的转换。2定义

本标准采用下列定义，

2.1有偏阶码biasedexponent

阶码与选定常数(偏值)之和，所选常数使有偏阶码不出现负值。2.2二进制浮点数binaryfloating-pointnumber由符号、带符号的阶码和有效数三部分表征的位串。如果它的数值值存在，则是它的有效数与2的阶码幂次的带符号的乘积。在本标准中，位串与它表示的数通常不加区别。2.3反规格化数denormalizednumber非零的浮点数，阶码有一保留值通常是格式的最小值，而且其显式或隐式有效首位等于零。2.4目的地destination

二元或一元运算结果的位置。目的地由用户显式地指定或者由系统隐式地提供（例如，各过程的子表达式或自变量的中间结果。一些语言，把中间结果放置在用户不能控制的目的地。本标准仍然按照目的地格式以及操作数的值来定义运算结果。2.5阶码exponent

国家质量技术监督局2000-01-03批准2000-08-01实施

GB/T17966—2000

二进制浮点数的组成部分，在确定浮点数所代表的数值时，它通常表示2的整数次幂。有时阶码也称作带符号阶码或无偏阶码。

2.6小数fraction

有效数中的一部分，它位于有效数隐含的二进制小数点右边。2.7方式mode

用户可以设置、读出、保存和恢复的变量，用来控制后续算术运算的执行。默认方式是只要在程序或程序说明中无明显的矛盾语句，程序就可以假定是有效的方式。应实现以下方式：

1）舍入，以控制舍入误差的方向以及某些实现的舍入误差。2）舍入精度，降低结果的精度。实现者可以任意实现以下方式。3）禁止自陷/允许自陷，以处理异常情况。2.8非数notanumber(NaN)

不是一个数，用浮点格式编码的符号实体。NaN有两种类型（见6.2)。只要NaN作为操作数出现，信号NaN都发出无效操作异常信号（见7.1）。静默NaN通过几乎每个算术运算进行传播而无需信号异常。

2.9结果result

递交给目的地的位串（通常表示数字)。2.10有效数significant

二进制浮点数的组成部分，由二进制小数点左边的显式或隐式首位和小数点右边的小数部分所组成。

2.11应shall

指符合标准的实现是必须的。

2.12宜should

指极力推荐，以跟上标准的意向。虽然超出本标准范围之外的体系结构等方面的约束有时使这种推荐难于实现。

2.13状态旗标statusflag

可取设置和清除两种状态的变量。用户可以对先前状态清除、拷贝或者恢复旗标。当为设置状态时，状态旗标可含有某些用户可能无法访问的系统相关的附加信息。作为某一方面的作用，本标准的操作可以设置部分下列旗标：不精确的结果、下溢、上溢、被零除以及无效运算。2.14用户user

任何个人、硬件或程序（在其他标准已有规定）可以访问和控制本标准规定的程序设计环境的那些运算。

3格式

本标准定义了四种浮点格式，分为基本格式和扩充格式两类。每一类又分为单精度和双精度两种。实现本标准的等级根据支持格式的组合来区分。3.1值集

本条仅涉及格式内可表示的数值值，不涉及以下各条所讨论对象的编码。选定格式的可表示值仅由以下三种整型参数来规定：

P——有效位数(精度)

Emax最大阶码

Emn=最小阶码

表1列出每种格式的参数。各个格式都应提供形式为（一1)*2F(bobib2bp-1)的数。2

其中：s是0或1；

GB/T17966—2000

E是Emn和Emax之间的任何整数（含Emin和Emax）；bi是0或1。

两种无穷十8和一8；

至少一个信号NaN，并且至少一个静默NaN。表1格式的参数一览表

阶码偏数

阶碑宽度(位)

格式宽度(位)

单精度

以上所述可能导致值的余，比如：2°(1.0)-21(0.1)=22(0.01)-

单精度扩充

≥+1023

未规定

双精度

双精度扩充

≥+16383

≤-16382

未规定

然而，这些非零值的编码只在扩充格式下可能是几余的（见3.3）。形式为士2Fm（0.bb2b-1）的非零值称为反规格化的。其他阶码也可以对NaN、士8o、士0和反规格化数进行编码。对于值内零的任何变数，符号位s提供额外的信息位。虽然所有格式都有区别地表示十0或一0，但符号在一些情况下有意义，比如被零除，在其他情况下无意义。在本标准中，符号无关紧要时0和oo不带符号。3.2基本格式

单精度以及双精度格式的数都由三个域构成：位符号s，

有偏阶码e=E十偏值，

小数f=.bib2….bp-1。

无偏阶码E的范围应包括值Emln和Emax之间的每个整数（含Emn和Emax），并且还有两个其他保留一1用来对士0以及反规格化数进行编码，Emx十1给士8o以及NaN进行编码。这些参数在表1值：Emin

中出现。每个非零数值值仅有一个编码。各部分在下面说明：3.2.1单精度

32位单精度格式数X按图1所示划分。X的值v是按照其组成部分导出，因此：1）如果e=255，而且f≠0，则不管s是什么，v等于NaN，2）如果e=255，而且f=0，则v=（-1)o0，3）如果0

“指开效

“”指\量低有效位”

单精度格式

3.2.2双精度

GB/T17966—2000

64位双精度格式数X按图2所示划分。X的v值是按照其组成部分导出，因此：1）如果e=2047，而且f≠0，则不管s是什么，v等于NaN，2）如果e=2047，而且f=0,则v=（-1)o，3）如果0

3.3扩充格式

图2双精度格式

单精度扩充和双精度扩充格式按依赖于实现的方法进行编码但受3.1中表1值的限制。本标准允许出现编码的几余值，但这种几余对用户透明，即按下面来理解：一个实现或者应对每个非零值唯一地编码，或者对非零值的元余编码不加区分。一个实现也可以保留一些位串，用于超出本标准范围的各种用途，这种保留的位串作为操作数出现时，运算的结果本标准不作规定。本标准的实现并不要求提供（并且用户不宜假定)单精度扩充格式范围比双精度扩充格式范围大。3.4格式组合

符合本标准的所有实现都应支持单精度格式。实现宜支持所支持的最宽基本格式相应的扩充格式，而不必支持任何其他扩充格式\。4舍入

舍入时认为取数是无限精确的，如有必要，修正该数使之适合于目的地的格式，同时发出不精确的异常信号（见7.5)。除二进制→十进制转换外（5.6规定其最低条件），应完成第5章中规定的每种运算，同时在不受限制的范围下，先产生正确的无限精度的中间结果，然后按本章的方式对结果舍入。除比较大小和求余数外，舍入方式影响所有的算术运算。舍入方式可以影响零和的符号（见6.3），同时影响所发出上溢（见7.3）和下溢（见7.4)信号时所超出的阅值。4.1舍入到最近值

本标准的实现应达到最近值舍入，并作为舍入的默认方式。在这个方式下，应递交最近于无穷精度结果的表示值；如这两个表示值同等接近，则应递交最低有效位等于零的一个。但是，数值不小于2F（2一2-P)的无穷精度结果，应舍入为符号不改变的oo；除舍入的精度方式（见4.3)超越目的地格式外，其中的Emx和P由目的地格式（第3章）决定。4.2有向舍入

实现应给用户提供三种可选择的有向舍入方式：向十的舍入，向一的舍入以及向0舍入。向十o舍入时，其结果应是最接近于且不小于无限精确结果的格式值（可能是十）。向一o舍入时，其结果应是最接近于且不大于无限精确结果的格式值(可能是一)。向0舍入时，其结果应是最接近且数量上不大于无限精确结果的格式值。4.3舍入精度

通常，指按目的地格式的精度舍入结果。然而，某些系统仅对双精度或扩充精度格式目的地递交结果。对于这类系统，用户可以是高级语言编译器，应能规定把以双精度格式或具有更宽阶码范围扩充格1）只有向上兼容和速度是重要间题时，支持双精度扩充格式的系统也支持单精度扩充格式。4

GB/T17966—2000

式存放的结果，舍入成单精度1。与此类似，仅向双精度扩充格式目的地递交结果的系统，应允许用户规定将结果舍入成单精度或双精度。注意：为了符合4.1的规定，结果舍入误差不充许多于1个。5运算

符合本标准的所有实现都应提供加、减、乘、除、开平方、求余数，浮点格式舍入成整数，不同浮点格式间的转换，浮点与整数格式间的转换，二进制一十进制转换以及比较运算。不改变格式的拷贝，是否作为一种运算，是实现的选项。除了二进制一→十进制转换外，完成每一种运算时在不受限制的范围中，先产生一个具有无限精度的中间结果，然后修正这种中间结果使之适合目的地的格式（见第4和第7章）。第6章将以下规定扩充至包括士0、士o以及NaN；第7章枚举异常操作数和异常结果导致的异常。

5.1算术运算

实现对格式相同的任何两个操作数和所支持的格式的每一操作数都应提供加、减、乘、除和求余数运算实现也应对不同格式操作数提供的运算。目的地格式（不管4.3的舍入精度控制如何）应至少与较宽的操作数格式一样宽。所有结果都应按第4章的规定舍入。当y0时，根据r=x-yXn关系式定义余数r=xREMy，与舍入方式无关，其中n是最接近于x/y精确值的整数，只要n一x/y=1/2，n就是偶数。因此，余数总是精确的。如果r=0，它的符号应是x的符号。精度控制（见4.3)应不适用于求余数操作。5.2开平方

对所有支持的格式都应提供开平方运算，对于所有非负的操作数，结果都是确定的并有一个正号！但~一d应为一0除外。日的地格式应至少与操作数格式一样宽。运算结果应按第4章的规定舍入。5.3浮点格式转换

在所有支持的格式之间都应能进行浮点数转换。如果转换成较低的精度时，其结果应按第4章的规定舍入。转换成较高的精度应是精确的，没有例外5.4浮点与整数间的转换

所有支持的浮点格式与所有支持的整数格式之间应能进行转换。转换到整数应受第4章规定的舍入影响。浮点整数和整数格式间的转换应是精确的,7.1 中规定的异常情况除外。5.5浮点数舍入为整数值

浮点数应能舍入为同一格式的整数值浮点数。舍入应按第4章的规定，条件是当向最接近值进行舍入时，如果未舍入的操作数与舍入的结果之差恰为1/2，则舍入结果是偶数。5.6进制→十进制转换

对于在表2规定的范围之内的所有数，应提供至少一种格式的十进制数串与所有支持的基本格式的二进制浮点数之间转换。表2和表3中的整数M和N是具有值为士MX10的十进制串。输入时，为使N达到最小，应在M（不超过表2的限度）的末屋增加或删除零。当且的地是士进制串时，为了舍入，最好按格式规定设置该串的最低有效位。如果整数M不属于表2和3规定的范围，即，当单精度的M>10°，双精度的M>1017时，实现者可以故意在单精度的第9位和双精度的第17位，对后边的所有有效数字变换为其他十进制数字，典型的数宇是0

对于不超过表3规定范围的操作数，转换时应按第4章规定正确地舍入。另外，为舍入到最接近值，只要不出现阶的上溢/下溢，转换结果的误差不应超过第4章舍入规定引起的误差在目的地最小有效数1）舍入精度的控制，本意是允许系统在运算中一般具有双精度或扩充格式的目的地，在没有上/下溢出时，系统精度为带单精度格式和双精度格式的目的地。实现不宜给出结合双精度或扩充运算产生单精度结果的操作，仅对一种舍入，也不宜给出结合双精度扩充运算产生双精度结果的操作。5

GB/T17966—2000

的0.47单位。有向舍入方式的误差应有正确的符号同时在最后一位不超过1.47单位。转换应是单调的。也就是，值递增的二进制浮点数转换成十进制数串时，其值不应减少而值递增的十进制数串转换成二进制浮点数时，其值也不应减少。当舍入到最接近值时，只要十进制数达到表2规定的最大精度，即单精度9位数字和双精度17位数字，二进制到十进制又返回到二进制的转换应是恒等的\。如果十进制到二进制的转换上溢/下溢，则按第7章的规定处理。在二进制转换成十进制的过程中遇到上溢/下溢、NaN和无穷，则最好通过适当的串指示给用户。为了避免冲突，二进制→十进制转换过程应给出一样的结果，而不管转换是否是在语言转换（翻译、编译或汇编)期间或程序执行(运行和交互输入/输出)期间进行。表2十进制转换范围

单精度

双精度

单精度

双精度

5.7比较

十进制到二进制

最大M

1017-1

最大N

最大M

1017-1

正确舍入的十进制转换范围

十进制到二进制

最大M

1017-1

最大N

最大M

108—1

1017-1

进制到十进制

最大N

进制到十进制

最大N

在所有支持的格式中，即使操作数的格式不同，对浮点数都应能进行比较。比较是精确的，不上溢也不下溢。四种互斥的关系可能是：“小于”“等于”“大于”“无序”。当至少一个操作数是NaN时，最后一种情况出现。每个NaN应与任何数（包括它自已）进行比较，但都“无序”。零的符号在比较时忽略（于是十0=一0。

比较的结果应按下面这两种方式之一来递交：可以是条件代码，表示上面四种关系之一，也可以是命名所需特定比较关系谓词的真假响应。除真假响应外，当比较“无序”操作数时，使用包括“<”或“>”的但不要“？”的谓词（这里的符号“?”表示“无序”，应按在表4的最后一列指出的来发出无效运算异常信号（见7.1）。

表4列出二十六个功能不同的常用的谓词，在第一列中使用三种记法命名谓词：专设的、类似FORTRAN语言的和数学的。表中示出从四个条件代码中如何得到它们，并指出当关系“无序”时，哪些谓词导致无效运算异常。T和F项指明各对应关系成立时谓词是真或假。表4谓词和关系

专设的

FORTRAN

数学的

无序是否无效

1）转换所规定的特性暗含着差错界线，它取决于格式（单或双精度）及包含的十进制数字的数，上面所述的0.47仅是最坏情况下的界线。对于差错界线以及对扩充格式有效转换算法研究的详细讨论见加利福尼亚伯克利大学Dissertation著的\Accurate YetEconomicalBinary-DecimalConversions”6

GB/T17966—2000

表4(完)

无序是否无效

数学的

FORTRAN

专设的

NOT(V)

NOT(4=)

NOT(<>)

NOT(<->)

NOT(?<)

NOT(?<=)

NOT(?=)

一个应用前缀比如NOT”来否定表4中的谓词，使注意谓词配对出现，每一个都在逻辑上否定另关联项的真假判断相反，但表中最后一列各项不变。实现给出的谓词应给出表4中的前6个谓词，同时给出第7个，以及逻辑上否定谓词的办法无穷、NaN和带符号的零

6.1无穷运算

无穷运算应作为任意大操作数实数运算的取极限来构造，其前提是极限存在。无穷应按仿射意见解1）谓词的逻辑否定有两种方式，一种是加前缀“非”，另一种是反向相关运算。比如：（X=Y)的逻辑否定可以写成非(X=Y)或(X?<>Y),两个表达式功能上都等同于(X≠Y)。但是，对于另一些谓词这种等同并不存在。比如(X=Y)的不同之处是，当X和Y是“无序”时，不发出无效操作异常信号。

释，即一8<每个有穷数<十8。

GB/T17966—2000

除在7.1对oo规定的无效操作外，o的运算总是精确的，因而没有异常信号发出。仅在下列情况下才发出与有关的异常信号。

1）0由有限操作数上溢（见7.3)或被零除(7.2)来产生，且对应自陷被禁用；280是无效操作数（7.1)。

6.2NaN的运算

所有运算都应支持两种不同类型的NaN，即信号的和静默的。信号NaN给不在本标准范围的非初始化变量以及增强的类似运算（比如复数仿射无穷和极宽的范围）提供值。静默NaN根据实现者的自定的方式，给出从无效或不可利用数据及结果中承袭的追溯诊断信息。诊断信息在传播时要求NaN包含的信息通过运算操作和浮点格式转换加以保护。信号NaN应是保留操作数，它对第5章列出的每种运算都发出无效操作异常信号（见7.1）。不改变格式的拷贝信号NaN是否发出无效运算异常信号，这由实现者选择。如果没有自陷出现而又要递交浮点结果，则包括信号NaN或无效运算（见7.1)的每种运算都应递交一个静默NaN作为它的结果。

包括一个或两个输入NaN，但都不是信号NaN的每种运算不应发出异常信号，但如果递交浮点结果，则应递交一个静默NaN作为它的结果，它宜是输入NaN之一。注意格式转换时不可能递交同NaN。静默NaN的影响有类似于信号NaN，对运算不递交浮点结果这些运算：即对某一格式的比较和转换在5.4、5.6、5.7和7.1中讨论。6.3符号位

本标准不说明NaN的符号。而积和商的符号是操作数符号的“异或”，和的符号至多不同于一个加数的符号，差x一y可以认为是x十（一y）。即使操作数或结果是零或无穷，这些规则应适用。当两个操作数的和（或两个符号相同的操作数之差）恰好是零时，除向一o舍入时则符号为“一”外，不论用哪种舍入方式，和的符号（或差的符号）均为“十”。然而，即使x是零，x十x=x一（一x）保持与x相同的符号。

除一0的平方根是一0外，所有有效平方根的符号都应为正号。7异常

检测后应发出的异常信号有五种类型。信号需设置状态标志、采取自陷，或两者都需。各异常在用户控制下应与一自陷关联，这在第8章规定。异常的默认响应应不带自陷进行。在自陷或非自陷情况下，本标准规定要递交的结果。在某些情况下，如果自陷是允许的，则结果不同。对于每类型的异常，实现应提供状态标志，当没有相应自陷存在时，应将它设置在相应异常的每次出现上。仅在用户请求时，它才应重新置位。用户应能分别测试与变更状态标志，进而应能在同一时间保存和恢复所有五类型的异常。能重合的异常仅为上溢不精确与下溢不精确。7.1无效运算

如果执行运算的操作数无效，则应发出无效操作异常信号。当没有自陷的异常出现时，只要提供目的地有浮点格式，结果就应是静止NaN。无效运算是：1）对信号NaN的任何运算（见6.2)；2）加或减：像（十8)十（一8)这样的无穷的数量减；3）乘：0×8，

4）除：0/0或8/80折

5）余数：xREMy，其中y是零或x是无穷，6）操作数小于零的开平方；

GB/T17966—2000

7）当上溢、无穷或NaN排除这一格式可靠表示但不能就此发出其他的信号时，二进制转换成整数或十进制格式，

8）操作数是“无序”（见5.7，表4)时，通过涉及谓词“<”或“>”但没有？”的比较。7.2被零除

如果除数是零而被除数是有限非零数，则应发出被零除异常信号。当无自陷出现时，结果应是带正确符号的oo（见6.3)。

7.3上溢

凡目的地格式的最大有限数在大小上为舍入浮点结果（第4章）阶码范围无界所超出时，都发出上溢异常信号。当没有自陷出现时，应由舍入方式和中间结果的符号按下列方式来确定结果：1）最接近舍入将所有上溢进位成为带中间结果符号的o；2）向0舍入将所有上溢进位成为带中间结果符号的格式的最大有限数；3）向一8舍入将正上溢进位成为格式的最大有限数，同时将负上溢进位成为一80；4）向十8舍入将负上溢进位成为格式的最大的负有限数，同时将正溢进位成为十。除转换外，所有操作的自陷上溢都应通过无穷精确的结果除以2和舍入得到的结果，递交给自陷的处理器。偏差调节a在单精度是192，在双精度是1536，扩充格式是3×2-2，其中，是阶码域的位数。由二进制浮点格式转换产生的自陷上溢出应给自陷处理者递交一个结果，这一结果按此格式或更宽的格式一一可能带有阶码偏差调节一一但要舍入到目的地精度。一进制到二进制转换的自陷上溢出也应给处理者递交一个结果，它按照支持的最宽的格式一一可能带有阶码偏差调节一一但舍入到对目的地精度，当结果位于调节偏差范围外太远时，则应递交静默NaN。7.4下溢

两个相关事件导致下溢：一个是产生士2之间小非零结果，由于这个值甚小，以后可能导致一些其他异常，比如，以它除的上溢。另一个是在这些非常小的数值由于反规格化数逼近时，精度的特大损失。实现者可以选择如何侦测到这些事件，但应以同方法侦测所有运算的事件。在以下两种情况之一，可侦测到微小数：

1）“舍入后”，当阶码范围好像无界所计算出的非零结果严格位于士2之间时；或2）“舍入前”，当阶码范围和精度好像都无界所计算出的非零结果严格位王士25之间时，在以下两种情况之一可侦测到精度损失：3）反规格化损失：当递交结果与阶码范围无界的计算出的结果不同时；4）不精确结果，当递交结果与阶码范围与精度都无界的计算出的结果不同时（这是7.5称作不精确的条件）

当下溢自陷不实现或禁止时（默认情况）时，仅当侦测出微小数和精度损失时，才发出下溢出信号（经由下溢标志）。侦测微小数和精度损失的方法不影响已递交可以是零、反规格化数或士2咖。当下溢自陷实现和允许时，并且当侦测出微小数时，不管精度损失如何都应发出下溢信号。除转换外，所有运算的自陷下溢应给自陷处理程序递交结果，此结果由无穷精度的结果乘2和舍入所得到。偏差调节a在单精度是192、双精度是1536，在扩充格式是3×2°-2，其中，n是阶码域的位数。处理转换的自陷下溢应与处理转换上溢类似。

7.5不精确

如果运算舍入结果不精确或它的上溢没有上溢自陷，则发出不精确异常信号。舍入或上溢结果应被递交给目的地，或，如果不精确自陷出现，则提交给自陷处理程序。8自陷

用户最好能够对五种异常的任何一种都能通过规定它用的处理程序来请求自陷。用户最好也能够请求禁正、保存或恢复现有的处理程序，用户最好也能确定是否已充许指定异常用的特定自陷处理程9

现行

北检院检验检测中心能够参考《GB/T 17966-2000 微处理器系统的二进制浮点运算》中的检验检测项目，对规范内及相关产品的技术要求及各项指标进行分析测试。并出具检测报告。

检测范围包含《GB/T 17966-2000 微处理器系统的二进制浮点运算》中适用范围中的所有样品。