diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-02-23 13:30:02 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-02-23 13:30:02 +0000 |
commit | 75d617030fe419932041fab691d1b955887a19aa (patch) | |
tree | a0ba9cb089a0450844d2a7af30b2d29ecdc4e6c0 /references.bib | |
parent | 4355f514ce2f7de3d75fd02e8119d1c193a7b497 (diff) | |
download | latte21_hlstpc-75d617030fe419932041fab691d1b955887a19aa.tar.gz latte21_hlstpc-75d617030fe419932041fab691d1b955887a19aa.zip |
Add guarantees
Diffstat (limited to 'references.bib')
-rw-r--r-- | references.bib | 8 |
1 files changed, 8 insertions, 0 deletions
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)} +} |