Precision Unveiled: Formal Methods in Dot Product Accumulate ULP Analysis

Author(s):
Suraj Kamble, Mohit Choradia, Vichal Verma, Kyung-Nam Han
Location:
India
Year:
2025
Type:
Paper
Format:
pdf