TY  - RPRT
TI  - DAVE: Deriving Automatically Verilog from English
AU  - Hammond Pearce
AU  - Benjamin Tan
AU  - Ramesh Karri
PY  - 2020
DO  - 10.1145/3380446.3430634
UR  - https://arxiv.org/abs/2009.01026
ID  - 2009.01026
ER  -