For bigger long-term technical ideas at Yosys HQ, for a long time now, we’ve been having sporadic meetings called “galaxy brain”. We’re publishing the document with potential topics and minutes to build yosys more “in the open”, and to invite people to come talk to us about these topics and maybe to collaborate or try different approaches. These are not concrete plans. They’re too large and vague for GitHub issues and too incoherent for Discourse.
If you’re interested in any of the ideas in the doc, or want to discuss any other long-term major ideas for improving Yosys HQ software that go beyond the scope of a GitHub pull request, please start a new thread