Writing test cases for PCBs
This note demonstrates a small connectivity tester / check nets program for KiCad. This program allows doing checks like: Is the U1:8 pin connected to GND? Sometimes visual errors can creep in the schematic (and the PCB subsequently). This connectivity tester allows expressing the same connections in a non-visual way (with a different probability of making errors). The ERC and DRC checks in KiCad work great but this non-visual test assertions provide another level of sanity checking. ...