DFT logic verification through property based formal methods - SOC to IP.

Lopamudra Sen, Amit Roy, Supriya Bhattacharjee, Bijitendra Mittra, Subir K. Roy

Browse the full FMCAD paper archive.