From 0b1b8d4c2dd76168b4a67208b0ed75e218510bd9 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Fri, 8 Apr 2022 23:13:21 +0100 Subject: Add new files --- references.bib | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) (limited to 'references.bib') 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}, -- cgit