Achieving End-to-End Formal Verification of Large Floating-Point Dot Product Accumulate Systolic Units

Author(s):
Emiliano Morini, Bill Zorn, Disha Puri, Madhurima Eranki, Shravya Jampana
Location:
United States
Year:
2024
Type:
Paper
Format:
pdf