Push

1 files changed, 43 insertions, 1 deletions

diff --git a/references.bib b/references.bib
index f8a4aff..747d0b3 100644
--- a/references.bib
+++ b/references.bib
@@ -49,7 +49,7 @@ year = {2020},
   pages={857-858},
   doi={10.1145/1837274.1837489}}
   
-@INPROCEEDINGS{bluespec,
+@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}, 
@@ -713,3 +713,45 @@ year = {2020},
 	publisher = {IEEE Press},
 	series = {FormaliSE '19}
 }
+
+@inproceedings{nikhil04_blues_system_veril,
+  author          = {R. {Nikhil}},
+  title           = {Bluespec System Verilog: efficient, correct RTL from high level specifications},
+  booktitle       = {Proceedings. Second ACM and IEEE International Conference on Formal Methods and
+                  Models for Co-Design, 2004. MEMOCODE '04.},
+  year            = 2004,
+  pages           = {69-70},
+  doi             = {10.1109/MEMCOD.2004.1459818},
+  url             = {https://doi.org/10.1109/MEMCOD.2004.1459818},
+}
+
+@inproceedings{schuiki20_llhd,
+  author          = {Schuiki, Fabian and Kurth, Andreas and Grosser, Tobias and Benini, Luca},
+  title           = {LLHD: A Multi-Level Intermediate Representation for Hardware Description
+                  Languages},
+  booktitle       = {Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design
+                  and Implementation},
+  year            = 2020,
+  pages           = {258-271},
+  doi             = {10.1145/3385412.3386024},
+  url             = {https://doi.org/10.1145/3385412.3386024},
+  address         = {New York, NY, USA},
+  isbn            = 9781450376136,
+  location        = {London, UK},
+  numpages        = 14,
+  publisher       = {Association for Computing Machinery},
+  series          = {PLDI 2020},
+}
+
+@InProceedings{zhu13_mechan_approac_linkin_operat_seman,
+  author          = "Zhu, Huibiao and Liu, Peng and He, Jifeng and Qin, Shengchao",
+  title           = "Mechanical Approach to Linking Operational Semantics and Algebraic Semantics
+                  for Verilog Using Maude",
+  booktitle       = "Unifying Theories of Programming",
+  year            = 2013,
+  pages           = "164--185",
+  address         = "Berlin, Heidelberg",
+  editor          = "Wolff, Burkhart and Gaudel, Marie-Claude and Feliachi, Abderrahmane",
+  isbn            = "978-3-642-35705-3",
+  publisher       = "Springer Berlin Heidelberg",
+}