Lazy Arithmetic using Systolic Arrays for Closing the Verification Gap on Embedded Systems | ArxivCSExplorer