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