Late Breaking Results: Float Fight - Verifying Floating-Point Behavior in RISC-V Simulators
Year: 2026
Type: conference-paper
Authors: Katharina Ruep, Manfred Schlägl, Daniel Große
Institution: Johannes Kepler University of Linz
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W7163528276