Aren't there tools that could do a lot of the structure for a PCB/device like using Verilog? I feel like that's way you can do a lot of this work headless and then use KiCad or other tools to do the checking.