Alper Sen, Vijay K. Garg, Jacob A. Abraham, Jayanta Bhadra. Formal Verification of a System-on-Chip Using Computation Slicing. In Proceedings 2004 International Test Conference (ITC 2004), October 26-28, 2004, Charlotte, NC, USA. pages 810-819, IEEE, 2004. [doi]
@inproceedings{SenGAB04,
title = {Formal Verification of a System-on-Chip Using Computation Slicing},
author = {Alper Sen and Vijay K. Garg and Jacob A. Abraham and Jayanta Bhadra},
year = {2004},
doi = {10.1109/ITC.2004.80},
url = {http://doi.ieeecomputersociety.org/10.1109/ITC.2004.80},
tags = {slicing},
researchr = {https://researchr.org/publication/SenGAB04},
cites = {0},
citedby = {0},
pages = {810-819},
booktitle = {Proceedings 2004 International Test Conference (ITC 2004), October 26-28, 2004, Charlotte, NC, USA},
publisher = {IEEE},
isbn = {0-7803-8581-0},
}