arxivcs.CRcs.AIcs.AR2026-07-16
Lazy Arithmetic using Systolic Arrays for Closing the Verification Gap on Embedded Systems
Taisa Kushner, Ryan McCleeary, Martin Brain
Complex algorithms such as deep neural networks are increasingly being deployed on embedded, resource constrained platforms. However, existing hardware and software schemes for implementing these models on the edge fall short, particularly for safety-critical applications such as…