TY  - RPRT
TI  - Lazy Arithmetic using Systolic Arrays for Closing the Verification Gap on Embedded Systems
AU  - Taisa Kushner
AU  - Ryan McCleeary
AU  - Martin Brain
PY  - 2026
UR  - https://arxiv.org/abs/2607.15328
ID  - 2607.15328
ER  -