Paper accepted to IEEE TCAD