Symbolic Failure Analysis of Custom Circuits due to Excessive Leakage Current. - Hui-Yuan Song; S. Bohidar; R. Iris Bahar; Joel Grodstein (ICCD, 2003)