Peichen Pan C. L. Liu 0001 123-132 1995 14 IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 1 https://doi.org/10.1109/43.363119 db/journals/tcad/tcad14.html#PanL95