TY  - RPRT
TI  - Generate Compilers from Hardware Models!
AU  - Gus Henry Smith
AU  - Ben Kushigian
AU  - Vishal Canumalla
AU  - Andrew Cheung
AU  - René Just
AU  - Zachary Tatlock
PY  - 2023
UR  - https://arxiv.org/abs/2305.09580
ID  - 2305.09580
ER  -