This timely article by Bryon Moyer, at Semiconductor Engineering highlights the new data-types currently being used in several AI chips: https://lnkd.in/g_nDMj3F
As design teams move beyond FP32/INT8 to exotic formats like MX4 and logarithmic representations, verification complexity explodes!
In Veriest’s experience, that’s where Formal Verification shines: by creating high-level C models of new number formats and using C2RTL or Datapath Formal Verification tools to compare to RTL implementations, we can rapidly verify numerical accuracy and catch discrepancies early.
The result? Much faster and thorough verification cycles and significantly reduced risk when implementing proprietary data-type formats.