Title: An interactive design and fault location tool for electronic circuits