luke
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
15,413 Commits 121 Branches 61 Tags 57 MiB
Commit Graph

3 Commits

Author SHA1 Message Date
Krystine Sherwin 6e1cc9c0cd
docs: Some extra bugpoint bullets 2025-08-05 09:53:57 +12:00
Krystine Sherwin 3784f6b17f
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-08-05 09:53:57 +12:00
Krystine Sherwin 074f5e7ea6
Docs: Initial outline of minimizing designs 
How to guide for using bugpoint, minimizing yosys scripts, and minimizing verilog code.
AKA how to MVCE.
 2025-08-05 09:53:56 +12:00