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/
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...