A streamlined approach to validate FP matrix multiplication with formal

Author(s):
Gerardo Nahum, Nicolae Tusinschi, Seiya Nakagawa
Location:
Japan
Year:
2023
Type:
Presentation
Format:
pdf