3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-06-08 15:13:24 +00:00
Commit graph

10 commits

Author SHA1 Message Date
Krystine Sherwin
d94c82140e
bugpoint.rst: More paragraphs
What do I do with the minimized design and (the first half of) Minimizing scripts
2025-05-23 10:52:53 +12:00
Krystine Sherwin
cb1fa668e7
bugpoint.rst: Why context matters (bullets) 2025-05-23 10:52:53 +12:00
Krystine Sherwin
72dd57ecef
Docs: How to use bugpoint paragraphs 2025-05-23 10:52:53 +12:00
Krystine Sherwin
1eea1be7c5
Docs: What is bugpoint in paragraphs 2025-05-23 10:51:47 +12:00
Krystine Sherwin
3e6884c1d7
docs: User-defined failures in bugpoint
Also some other tidy up and clarifications.
2025-05-23 10:51:46 +12:00
Krystine Sherwin
2b84005836
docs: Bullets for identifying issues
Add a note on fuzzers, with a polite suggestion that if you're fuzzing you should put in the work of identifying the underlying issue so that you (and we) are confident you're not raising multiple issues for the same bug.
2025-05-23 10:51:46 +12:00
Krystine Sherwin
bb0606b379
docs: Minimizing synth with -run bullets 2025-05-23 10:51:46 +12:00
Krystine Sherwin
57e6b9caf9
docs: Some extra bugpoint bullets 2025-05-23 10:51:46 +12:00
Krystine Sherwin
c705193fd4
Docs: Bugpoint fixups from JF
Also dropping the `autosectionlabel_maxdepth = 1` so that I can actually use the auto section labels.
Adds warning on bash substitution on scripting intro page when talking about `yosys -p`.
2025-05-23 10:51:46 +12:00
Krystine Sherwin
b960d9860d
Docs: Initial outline of minimizing designs
How to guide for using bugpoint, minimizing yosys scripts, and minimizing verilog code.
AKA how to MVCE.
2025-05-23 10:51:37 +12:00