Update on Overleaf.

1 files changed, 29 insertions, 0 deletions

diff --git a/references.bib b/references.bib
index 3c54005..6ea9e0b 100644
--- a/references.bib
+++ b/references.bib
@@ -49,6 +49,35 @@ year = {2020},
   pages={857-858},
   doi={10.1145/1837274.1837489}}
   
+@INPROCEEDINGS{bluespec,
+  author={Nikhil, Rishiyur S. },
+  booktitle={Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04.}, 
+  title={Bluespec System Verilog: efficient, correct RTL from high level specifications}, 
+  year={2004},
+  volume={},
+  number={},
+  pages={69-70},
+  doi={10.1109/MEMCOD.2004.1459818}}
+  
+@inproceedings{spatial,
+  author    = {David Koeplinger and
+               Matthew Feldman and
+               Raghu Prabhakar and
+               Yaqi Zhang and
+               Stefan Hadjis and
+               Ruben Fiszel and
+               Tian Zhao and
+               Luigi Nardi and
+               Ardavan Pedram and
+               Christos Kozyrakis and
+               Kunle Olukotun},
+  title     = {Spatial: a language and compiler for application accelerators},
+  booktitle = {{PLDI}},
+  pages     = {296--311},
+  publisher = {{ACM}},
+  year      = {2018}
+}
+  
 @article{greaves_note,
   author    = {David J. Greaves},
   title     = {Research Note: An Open Source Bluespec Compiler},