Fix some more comments

1 files changed, 28 insertions, 0 deletions

diff --git a/references.bib b/references.bib
index 1100fef..1da9d3b 100644
--- a/references.bib
+++ b/references.bib
@@ -953,3 +953,31 @@ keywords = {hardware verification, hardware synthesis, compiler verification},
 location = {Virtual, Denmark},
 series = {CPP 2021}
 }
+
+@inproceedings{paulin89_sched_bindin_algor_high_level_synth,
+	author = {Paulin, P. G. and Knight, J. P.},
+	title = {Scheduling and Binding Algorithms for High-Level Synthesis},
+	booktitle = {Proceedings of the 26th ACM/IEEE Design Automation Conference},
+	year = 1989,
+	pages = {1-6},
+	doi = {10.1145/74382.74383},
+	url = {https://doi.org/10.1145/74382.74383},
+	address = {New York, NY, USA},
+	isbn = 0897913108,
+	location = {Las Vegas, Nevada, USA},
+	numpages = 6,
+	publisher = {Association for Computing Machinery},
+	series = {DAC '89},
+}
+
+@inproceedings{venkataramani07_operat,
+	keywords = {operation chaining},
+	author = {Girish Venkataramani and Goldstein, Seth C.},
+	booktitle = {2007 IEEE/ACM International Conference on Computer-Aided Design},
+	title = {Operation chaining asynchronous pipelined circuits},
+	year = {2007},
+	volume = {},
+	number = {},
+	pages = {442-449},
+	doi = {10.1109/ICCAD.2007.4397305}
+}