diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2022-04-08 23:13:21 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2022-04-08 23:13:21 +0100 |
| commit | 0b1b8d4c2dd76168b4a67208b0ed75e218510bd9 (patch) | |
| tree | 6dcd5d8b4be51562512bee2a2ef6ed7989690a92 /references.bib | |
| parent | 1c33b587665dd00725e5c801968507e7a7c09159 (diff) | |
| download | lsr22_fvhls-0b1b8d4c2dd76168b4a67208b0ed75e218510bd9.tar.gz lsr22_fvhls-0b1b8d4c2dd76168b4a67208b0ed75e218510bd9.zip | |
Add new files
Diffstat (limited to 'references.bib')
| -rw-r--r-- | references.bib | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/references.bib b/references.bib index 1ed2e1f..03e91cc 100644 --- a/references.bib +++ b/references.bib @@ -683,8 +683,7 @@ year = {2020}, } @inproceedings{meredith10_veril, - author = {P. {Meredith} and M. {Katelman} and J. {Meseguer} and - G. {Ro{\c{s}}u}}, + author = {{Meredith}, P. and {Katelman}, M. and {Meseguer}, J. and {Ro{\c{s}}u} G.}, title = {A formal executable semantics of {Verilog}}, tags = {semantics}, booktitle = {Eighth ACM/IEEE International Conference on Formal Methods and @@ -761,7 +760,7 @@ year = {2020}, } @inproceedings{nikhil04_blues_system_veril, - author = {R. {Nikhil}}, + author = {{Nikhil}, R.}, title = {Bluespec System Verilog: efficient, correct RTL from high level specifications}, booktitle = {Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04.}, @@ -968,7 +967,7 @@ series = {CPP 2021} @inproceedings{noronha17_rapid_fpga, keywords = {high-level synthesis, FPGA, inlining, compiler optimisation}, - author = {D. H. {Noronha} and J. P. {Pinilla} and S. J. E. {Wilton}}, + author = {{Noronha}, D. H. and {Pinilla}, J. P. and {Wilton}, S. J. E.}, booktitle = {2017 International Conference on ReConFigurable Computing and FPGAs (ReConFig)}, title = {Rapid circuit-specific inlining tuning for FPGA high-level synthesis}, year = {2017}, |