IEEE Trans. CAD