A matrix version of Kirchhoff 's current law is the basis of most circuit simulation software , such as SPICE .
Another is Kirchhoff 's voltage law .