Complexity Conquered: Pioneering Formal Verification Methods for Systolic Controllers in Advanced Computing

Author(s):
Sarsij Saurabh, Rahul Dabur, Tushar Agarwal, Vichal Verma
Location:
India
Year:
2024
Type:
Paper
Format:
pdf