Enumerating Hardware-Software Splits with Program Rewriting [article]

Gus Smith, Zachary Tatlock, Luis Ceze
2020 arXiv   pre-print
A core problem in hardware-software codesign is in the sheer size of the design space. Without a set ISA to constrain the hardware-software interface, the design space explodes. This work presents a strategy for managing the massive hardware-software design space within the domain of machine learning inference workloads and accelerators. We first propose EngineIR, a new language for representing machine learning hardware and software in a single program. Then, using equality graphs -- a data
more » ... ucture from the compilers literature -- we suggest a method for efficiently enumerating the design space by performing rewrites over our representation.
arXiv:2003.00290v1 fatcat:weac7pqkzratjewcvh56bbk63q