Do Not Trust, Verify: A Verifiable Hardware Accelerator for Matrix Multiplication | IEEE Journals & Magazine | IEEE Xplore