Potential propagation model-based failure analysis support tool for MOS LSIs | IEEE Conference Publication | IEEE Xplore