1 files changed, 45 insertions, 0 deletions
diff --git a/content/zettel/1f3.md b/content/zettel/1f3.md
new file mode 100644
index 0000000..3eab866
--- /dev/null
+++ b/content/zettel/1f3.md
@@ -0,0 +1,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