Test Generation for CMP Designs. - Singh, Padmaraj; Landis, David L. (2010)