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
|
+++
title = "Functional correctness"
author = "Yann Herklotz"
tags = []
categories = []
backlinks = ["1f2"]
forwardlinks = ["1f4", "1f3a"]
zettelid = "1f3"
+++
Functional correctness is also somewhat of a problem in HLS \[1\],
\[2\], even though this is probably not the first property of flakiness
that people would point to.
<div id="refs" class="references csl-bib-body" markdown="1">
<div id="ref-lidbury15_many_core_compil_fuzzin" class="csl-entry"
markdown="1">
<span class="csl-left-margin">\[1\]
</span><span class="csl-right-inline">C. Lidbury, A. Lascu, N. Chong,
and A. F. Donaldson, “Many-core compiler fuzzing,” in *Proceedings of
the 36th ACM SIGPLAN conference on programming language design and
implementation*, in PLDI ’15. Portland, OR, USA: Association for
Computing Machinery, 2015, pp. 65–76. doi:
[10.1145/2737924.2737986].</span>
</div>
<div id="ref-herklotz21_empir_study_reliab_high_level_synth_tools"
class="csl-entry" markdown="1">
<span class="csl-left-margin">\[2\]
</span><span class="csl-right-inline">Y. Herklotz, Z. Du, N. Ramanathan,
and J. Wickerson, “An empirical study of the reliability of high-level
synthesis tools,” in *2021 IEEE 29th annual international symposium on
field-programmable custom computing machines (FCCM)*, 2021, pp. 219–223.
doi: [10.1109/FCCM51124.2021.00034].</span>
</div>
</div>
[10.1145/2737924.2737986]: https://doi.org/10.1145/2737924.2737986
[10.1109/FCCM51124.2021.00034]: https://doi.org/10.1109/FCCM51124.2021.00034
|
