google / google/xls

Fuzz for nondeterministic behavior

Open
#937 0 comments 0 reactions 0 assignees View on GitHub
fuzz
Dominant language
C++
Stars
1.9k
Forks
283
Avg merge
2d 10h
Merged PRs (30d)
135

Description

We should fuzz for non-deterministic behavior in XLS. It shouldn't be hard to tweak the fuzzer to do this. The fuzzer would generate a sample like it normally does, but would then run the sample (generate IR, optimize, schedule, etc) more than once. The generated artifacts (IR , optimized IR, verilog, etc) between the different runs would then be compared against each other.

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.