DFT logic verification through property based formal methods - SOC to IP. - Lopamudra Sen; Amit Roy; Supriya Bhattacharjee; Bijitendra Mittra; Subir K. Roy (FMCAD, 2010)