@inproceedings{LeeETAL20HDLP,
  author = {Lee, Jaeseong and Nie, Pengyu and Li, Junyi Jessy and Gligoric, Milos},
  title = {On the Naturalness of Hardware Descriptions},
  booktitle = {Symposium on the Foundations of Software Engineering},
  pages = {530--542},
  year = {2020},
}