diff options
author | Yann Herklotz <git@yannherklotz.com> | 2020-09-12 11:03:03 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2020-09-12 11:03:03 +0100 |
commit | 26d730dd81b74f4dbd2af37ca664227ebea3f00f (patch) | |
tree | 14fa8e863f52d2c4e37712a79ca3e9fc0e1dca6c /conference.bib | |
parent | 639377a488e3d079bf95d9ee53cb748a3d3bedba (diff) | |
download | fccm21_esrhls-26d730dd81b74f4dbd2af37ca664227ebea3f00f.tar.gz fccm21_esrhls-26d730dd81b74f4dbd2af37ca664227ebea3f00f.zip |
Add references
Diffstat (limited to 'conference.bib')
-rw-r--r-- | conference.bib | 30 |
1 files changed, 29 insertions, 1 deletions
diff --git a/conference.bib b/conference.bib index dbf355b..498385b 100644 --- a/conference.bib +++ b/conference.bib @@ -122,4 +122,32 @@ with {LegUp} High-Level Synthesis}, booktitle={Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation}, pages={335--346}, year={2012} -}
\ No newline at end of file +} + +@article{perna12_mechan_wire_wise_verif_handel_c_synth, + author = "Juan Perna and Jim Woodcock", + title = {Mechanised Wire-Wise Verification of {Handel-C} Synthesis}, + journal = "Science of Computer Programming", + volume = 77, + number = 4, + pages = "424 - 443", + year = 2012, + doi = "10.1016/j.scico.2010.02.007", + issn = "0167-6423", +} + +@article{chouksey20_verif_sched_condit_behav_high_level_synth, + author = {R. {Chouksey} and C. {Karfa}}, + title = {Verification of Scheduling of Conditional Behaviors in + High-Level Synthesis}, + journal = {IEEE Transactions on Very Large Scale Integration (VLSI) + Systems}, + volume = {}, + number = {}, + pages = {1-14}, + year = {2020}, + doi = {10.1109/TVLSI.2020.2978242}, + url = {https://doi.org/10.1109/TVLSI.2020.2978242}, + ISSN = {1557-9999}, + month = {}, +} |