1 files changed, 24 insertions, 0 deletions
diff --git a/references.bib b/references.bib
index 82bba12..77ee24c 100644
--- a/references.bib
+++ b/references.bib
@@ -233,3 +233,27 @@
   publisher = {Association for Computing Machinery},
   series = {POPL '08}
 }
+
+@InProceedings{kundu+08,
+author="Kundu, Sudipta
+and Lerner, Sorin
+and Gupta, Rajesh",
+editor="Gupta, Aarti
+and Malik, Sharad",
+title="Validating High-Level Synthesis",
+booktitle="Computer Aided Verification (CAV)",
+year="2008",
+publisher="Springer",
+pages="459--472",
+}
+
+@INPROCEEDINGS {chapman+92,
+author = {Richard Chapman and Geoffrey Brown and Miriam Leeser},
+booktitle = {European Conference on Design Automation (EDAC)},
+title = {Verified high-level synthesis in BEDROC},
+year = {1992},
+pages = {59--63},
+doi = {10.1109/EDAC.1992.205894},
+url = {https://doi.ieeecomputersociety.org/10.1109/EDAC.1992.205894},
+publisher = {IEEE Computer Society},
+}