diff options
Diffstat (limited to 'references.bib')
-rw-r--r-- | references.bib | 29 |
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}, |