fix fp8 nans: fp8 requantization match

Rakanic · Rakanic · commit ad5ca77f0668 · 2026-03-21T12:50:34.000-07:00
diff --git a/software/gemmini-rocc-tests b/software/gemmini-rocc-tests
@@ -1 +1 @@
-Subproject commit 4312a4df5caf4bf46e8bf196fff30548f66ac6df
+Subproject commit 7f503dbda36987cd5a70464c27c43d442b3166e2
diff --git a/src/main/scala/gemmini/BF16ScalaRoundToTiny.scala b/src/main/scala/gemmini/BF16ScalaRoundToTiny.scala
@@ -178,7 +178,7 @@ object E5M3ToFp8 {
 
     val mapToZero = (exp <= 5.U) || isZero
     val mapToSubnorm = (exp >= 6.U) && (exp <= 8.U)
-    val mapToMax = (exp > (23.U)) || isSpecial
+    val mapToMax = (exp > (23.U)) || isSpecial || (exp === 23.U && sig.andR)
 
     val exp_adj = (exp - biasDiff)(3, 0)
     val outNorm = sign ## exp_adj ## sig
