diff options
author | Yann Herklotz <git@yannherklotz.com> | 2020-06-09 11:34:46 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2020-06-09 11:34:46 +0100 |
commit | b1723d690ba76c90e810cfbede727a9366e227d1 (patch) | |
tree | 39192d078a1f77ccc3221ae1e71a33a0866026d3 /references.bib | |
parent | 4aaeb6659756407b1373177fdb07f72ff6e82447 (diff) | |
download | oopsla21_fvhls-b1723d690ba76c90e810cfbede727a9366e227d1.tar.gz oopsla21_fvhls-b1723d690ba76c90e810cfbede727a9366e227d1.zip |
Add more citations that I need to include
Diffstat (limited to 'references.bib')
-rw-r--r-- | references.bib | 62 |
1 files changed, 62 insertions, 0 deletions
diff --git a/references.bib b/references.bib index 5ff4450..8677a96 100644 --- a/references.bib +++ b/references.bib @@ -283,3 +283,65 @@ processing;Filters;Hardware design languages;Flow graphs}, month = {April} } + +@inproceedings{page91_compil_occam, + author = {Page, Ian and Luk, Wayne}, + title = {Compiling Occam into field-programmable gate arrays}, + booktitle = {FPGAs, Oxford Workshop on Field Programmable Logic and + Applications}, + year = 1991, + volume = 15, + pages = {271--283}, +} + +@inproceedings{grass94_high, + author = {W. {Grass} and M. {Mutz} and W. -. {Tiedemann}}, + title = {High level synthesis based on formal methods}, + booktitle = {Proceedings of Twentieth Euromicro Conference. System + Architecture and Integration}, + year = 1994, + pages = {83-91}, + doi = {10.1109/EURMIC.1994.390403}, + month = {Sep.} +} + +@inproceedings{jifeng93_towar, + author = "Jifeng, He and Page, Ian and Bowen, Jonathan", + title = "Towards a provably correct hardware implementation of occam", + tags = {hls}, + booktitle = "Correct Hardware Design and Verification Methods", + year = 1993, + pages = "214--225", + address = "Berlin, Heidelberg", + editor = "Milne, George J. and Pierre, Laurence", + isbn = "978-3-540-70655-7", + publisher = "Springer" +} + +@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{perna11_correc_hardw_synth, + author = "Perna, Juan and Woodcock, Jim and Sampaio, Augusto and Iyoda, + Juliano", + title = {Correct Hardware Synthesis}, + tags = {hls}, + journal = "Acta Informatica", + volume = 48, + number = 7, + pages = "363--396", + year = 2011, + doi = "10.1007/s00236-011-0142-y", + day = 01, + issn = "1432-0525", + month = "Dec" +} |