Overview

Floating-Point NaN stands for Not a Number. It represents undefined values in floating-point arithmetic. [Floating-Point NaN definition]

NaN behavior in RISC-V

RISC-V distinguishes between two NaN categories: [RISC-V NaN categories]

• Signalling NaNs: raise exceptions.
• Quiet NaNs: propagate silently.

Verification relevance

The evidence appears in a RISC-V verification context, where floating-point NaN behavior is listed among design behaviors that may need to be exercised during testing and coverage closure. [Verification context]