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