10.1109/TCAD.2005.857314