Correct-by-Construction Design of Custom Accelerator Microarchitectures

Jin Yang 0006, Zhenkun Yang, Jeremy Casas, Sandip Ray. Correct-by-Construction Design of Custom Accelerator Microarchitectures. IEEE Transactions on Computers, 73(1):278-291, January 2024. [doi]

Abstract

Abstract is missing.