From 75d617030fe419932041fab691d1b955887a19aa Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Tue, 23 Feb 2021 13:30:02 +0000
Subject: Add guarantees

---
 references.bib | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'references.bib')

diff --git a/references.bib b/references.bib
index 242532b..b0e661d 100644
--- a/references.bib
+++ b/references.bib
@@ -176,3 +176,11 @@
 	isbn = "978-3-540-69753-4",
 	publisher = "Springer Berlin Heidelberg"
 }
+
+@unpublished{herklotz21_formal_verif_high_level_synth,
+  author = {Herklotz, Yann and Pollard, James D. and Ramanathan, Nadesh and Wickerson, John},
+  title = {Formal Verification of High-Level Synthesis},
+  year = 2021,
+  url = {https://yannherklotz.com/docs/drafts/formal_hls.pdf},
+  note = {(under review)}
+}
-- 
cgit