1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
|
@article{leroy09_formal_verif_realis_compil,
author = {Leroy, Xavier},
title = {Formal Verification of a Realistic Compiler},
journal = {Commun. ACM},
volume = 52,
number = 7,
pages = {107-115},
year = 2009,
doi = {10.1145/1538788.1538814},
address = {New York, NY, USA},
issn = {0001-0782},
issue_date = {July 2009},
month = jul,
numpages = 9,
publisher = {ACM},
}
@inproceedings{lidbury15_many_core_compil_fuzzin,
author = {Lidbury, Christopher and Lascu, Andrei and Chong, Nathan and Donaldson,
Alastair F.},
title = {Many-Core Compiler Fuzzing},
booktitle = {Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design
and Implementation},
year = 2015,
pages = {65-76},
doi = {10.1145/2737924.2737986},
address = {New York, NY, USA},
isbn = 9781450334686,
location = {Portland, OR, USA},
numpages = 12,
publisher = {Association for Computing Machinery},
series = {PLDI '15},
}
@article{takach16_high_level_synth,
author = {A. {Takach}},
title = {High-Level Synthesis: Status, Trends, and Future
Directions},
journal = {IEEE Design Test},
volume = {33},
number = {3},
pages = {116-124},
year = {2016},
doi = {10.1109/MDAT.2016.2544850},
url = {https://doi.org/10.1109/MDAT.2016.2544850},
ISSN = {2168-2364},
month = {June},
}
@inproceedings{liu16_effic_high_level_synth_desig,
author = { {Dong Liu} and B. C. {Schafer}},
title = {Efficient and reliable High-Level Synthesis Design Space
Explorer for FPGAs},
booktitle = {2016 26th International Conference on Field Programmable
Logic and Applications (FPL)},
year = 2016,
pages = {1-8},
doi = {10.1109/FPL.2016.7577370},
ISSN = {1946-1488},
month = {Aug},
}
@article{lahti19_are_we_there_yet,
author = {S. {Lahti} and P. {Sj{\"o}vall} and J. {Vanne} and
T. D. {H{\"a}m{\"a}l{\"a}inen}},
title = {Are We There Yet? a Study on the State of High-Level
Synthesis},
journal = {IEEE Transactions on Computer-Aided Design of Integrated
Circuits and Systems},
volume = {38},
number = {5},
pages = {898-911},
year = {2019},
doi = {10.1109/TCAD.2018.2834439},
ISSN = {1937-4151},
month = {May},
}
|
