I know a startup [1] that tries to accomplish this. [1] https://www.schematik.io/
Love what samuel and his team are building over in the Netherlands! Always thought it would be fun if there was a more beginner friendly version of atopile [1]. [1] https:/atopile.io/
Cool! Looks like a company that grew out of §3.3.4 of SICP. Hardware oriented NixOS and GUIX users should be very interested in this: declarative PCB designs.
3.3.4 A Simulator for Digital Circuits
https://sarabander.github.io/sicp/html/3_002e3.xhtml#g_t3_00...
3.3.5 Propagation of Constraints
https://sarabander.github.io/sicp/html/3_002e3.xhtml#g_t3_00...
2.1.4 Extended Exercise: Interval Arithmetic
https://sarabander.github.io/sicp/html/2_002e1.xhtml#g_t2_00...