Lopamudra Sen, Amit Roy, Supriya Bhattacharjee, Bijitendra Mittra, Subir K. Roy. DFT logic verification through property based formal methods - SOC to IP. In Roderick Bloem, Natasha Sharygina, editors, Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2010, Lugano, Switzerland, October 20-23. pages 33, IEEE, 2010. [doi]
@inproceedings{SenRBMR10, title = {DFT logic verification through property based formal methods - SOC to IP}, author = {Lopamudra Sen and Amit Roy and Supriya Bhattacharjee and Bijitendra Mittra and Subir K. Roy}, year = {2010}, url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5770930}, tags = {rule-based, logic}, researchr = {https://researchr.org/publication/SenRBMR10}, cites = {0}, citedby = {0}, pages = {33}, booktitle = {Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2010, Lugano, Switzerland, October 20-23}, editor = {Roderick Bloem and Natasha Sharygina}, publisher = {IEEE}, }