Scaling up hardware accelerator verification using A-QED

Authors: S. Chattopadhyay, F. Lonsing, L. Piccolboni, D. Soni, P. Wei, X. Zhang

Proceedings of the Formal Methods in Computer-Aided Design Conference (FMCAD), pp. 42-52; Oct. 2021