[docs] Getting started with hls-fuzzer

docs/DeveloperGuide/TestingCI/Fuzzer.md

@@ -0,0 +1,20 @@
+# Validating Dynamatic Using a Random Program Generator
+
+Dynamatic has a C-based random program generator (i.e., a "fuzzer") to detect
+miscompilation.
+This document provides instruction for using and extending the fuzzer.
+
+## Using HLSFuzzer to Find Functional Bugs
+
+HLSFuzzer can perform differential test against Clang. To generate random C
+code to test Dynamatic
+
+```
+build/bin/hls-fuzzer --functional --target random-c
+```
+
+**Number of threads**
+
+```
+build/bin/hls-fuzzer -j <num-threads>
+```

docs/SUMMARY.md

@@ -36,6 +36,7 @@
 - [Testing & CI]()
   - [Introduction](DeveloperGuide/TestingCI/Introduction.md)
   - [Integration Tests](DeveloperGuide/TestingCI/IntegrationTests.md)
+  - [Fuzzer](DeveloperGuide/TestingCI/Fuzzer.md)
   - [Formatting Checks](DeveloperGuide/TestingCI/Formatting.md)
   - [GitHub Actions](DeveloperGuide/TestingCI/Actions.md)