Raising the Bar: Achieving Formal Verification Sign-Off for Complex Algorithmic Designs, with a Dot Product Accumulate Case Study

Author(s):
Disha Puri, Madhurima Eranki, Shravya Jampana
Location:
India
Year:
2023
Type:
Paper
Format:
pdf