I think schematic synthesis of digital circuits would be an achivable goal for KiCad. Targets to get this working would benefit “normal” users as well:
- support of design-blocks (allows creation of building blocks) - https://bugs.launchpad.net/kicad/+bug/1797683
- powerful DRC and constraints system (required to connect the building blocks in a valid way, specifying voltage, current, bus-system,…)
- annotation support on symbols/pins/nets (when constrains are not enough, to give the synthesis tool additional informations)
- … other things I missed
Digital circuits have the nice property of typical 1 MCU connected to various perepherie. A constrains solver should be able to create a valid collection of connected building blocks quite easily.
PCB synthesis is way more complicated and I wouldn’t care about that for now. (Autoplacer, Autorouter, Signal-Integrity,…)