CORTEXA
← Browse

Martin Brain

1 paper indexed

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…

View free PDFSource page