Some more slight changes

1 files changed, 36 insertions, 28 deletions

diff --git a/references.bib b/references.bib
index 0065756..b183298 100644
--- a/references.bib
+++ b/references.bib
@@ -123,13 +123,14 @@ year = {2020},
   year      = {2018},
   doi       = {https://doi.org/10.1145/3192366.3192379}
 }
-  
-@article{greaves_note,
-  author    = {David J. Greaves},
-  title     = {Research Note: An Open Source Bluespec Compiler},
-  journal   = {CoRR},
-  volume    = {abs/1905.03746},
-  year      = {2019}
+
+@misc{greaves_note,
+      title={Research Note: An Open Source Bluespec Compiler},
+      author={David J. Greaves},
+      year={2019},
+      eprint={1905.03746},
+      archivePrefix={arXiv},
+      primaryClass={cs.PL}
 }
 
 @article{takach16_high_level_synth,
@@ -579,11 +580,9 @@ year = {2020},
 
 @misc{silexicahlshdl,
 author = {Gauthier, Stephane and Wadood, Zubair},
-title = {High-Level Synthesis:
-Can it outperform
-hand-coded HDL?},
+title = {High-Level Synthesis: Can it outperform hand-coded {HDL}?},
 note = {White paper},
-url = {https://bit.ly/2IDhKBR},
+url = {https://info.silexica.com/high-level-synthesis/1},
 year = {2020},
 }
 
@@ -835,14 +834,7 @@ year = {2020},
   doi={https://doi.org/10.1109/CODES-ISSS.2013.6659002}
 }
 
-@inproceedings{poly_hls_zhao2017,
-  title={COMBA: A comprehensive model-based analysis framework for high level synthesis of real applications},
-  author={Zhao, Jieru and Feng, Liang and Sinha, Sharad and Zhang, Wei and Liang, Yun and He, Bingsheng},
-  booktitle={2017 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)},
-  pages={430--437},
-  year={2017},
-  organization={IEEE}
-}
+@INPROCEEDINGS{poly_hls_zhao2017,  author={Zhao, Jieru and Feng, Liang and Sinha, Sharad and Zhang, Wei and Liang, Yun and He, Bingsheng},  booktitle={2017 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)},   title={COMBA: A comprehensive model-based analysis framework for high level synthesis of real applications},   year={2017},  volume={},  number={},  pages={430-437},  doi={10.1109/ICCAD.2017.8203809}}
 
 @inproceedings{poly_hls_pouchet2013polyhedral,
   title={Polyhedral-based data reuse optimization for configurable computing},
@@ -869,15 +861,6 @@ year = {2020},
   year = 2019,
 }
 
-@inproceedings{du21_fuzzin_high_level_synth_tools,
-  author          = {Herklotz, Yann and Du, Zewei and Ramanathan, Nadesh and Wickerson, John},
-  note            = {(to appear)},
-  year            = 2021,
-  url             = {https://yannherklotz.com/docs/drafts/fuzzing_hls.pdf},
-  title           = {An Empirical Study of the Reliability of High-Level Synthesis Tools},
-  booktitle       = {29th IEEE International Symposium on Field-Programmable Custom Computing Machines},
-}
-
 @inproceedings{chisel,
   title={{Chisel: Constructing hardware in a Scala embedded language}},
   author={Bachrach, Jonathan and Vo, Huy and Richards, Brian and Lee, Yunsup and Waterman, Andrew and Avi{\v{z}}ienis, Rimas and Wawrzynek, John and Asanovi{\'c}, Krste},
@@ -1015,3 +998,28 @@ series = {CPP 2021}
 	pages = {1-6},
 	doi = {10.1109/RECONFIG.2017.8279807}
 }
+
+@software{yann_herklotz_2021_5093839,
+  author       = {Yann Herklotz and
+                  James D. Pollard and
+                  Nadesh Ramanathan and
+                  John Wickerson},
+  title        = {ymherklotz/vericert: Vericert v1.2.1},
+  month        = jul,
+  year         = 2021,
+  publisher    = {Zenodo},
+  version      = {v1.2.1},
+  doi          = {10.5281/zenodo.5093839},
+  url          = {https://doi.org/10.5281/zenodo.5093839}
+}
+
+@INPROCEEDINGS{herklotz21_empir_study_reliab_high_level_synth_tools,
+	author = {Herklotz, Yann and Du, Zewei and Ramanathan, Nadesh and Wickerson, John},
+	booktitle = {2021 IEEE 29th Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM)},
+	title = {An Empirical Study of the Reliability of High-Level Synthesis Tools},
+	year = {2021},
+	volume = {},
+	number = {},
+	pages = {219-223},
+	doi = {10.1109/FCCM51124.2021.00034}
+}