4 commits

Author	SHA1	Message	Date
Krystine Sherwin	aefe3443aa	docs: Minimizing synth with -run bullets	2025-08-05 09:53:57 +12:00
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