+++
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