Yen-Ting Wang, Degang Chen, Randall L. Geiger. Effectiveness of circuit-level continuation methods for Trojan State Elimination verification. In IEEE 56th International Midwest Symposium on Circuits and Systems, MWSCAS 2013, Columbus, OH, USA, August 4-7, 2013. pages 1043-1046, IEEE, 2013. [doi]
@inproceedings{WangCG13-5,
title = {Effectiveness of circuit-level continuation methods for Trojan State Elimination verification},
author = {Yen-Ting Wang and Degang Chen and Randall L. Geiger},
year = {2013},
doi = {10.1109/MWSCAS.2013.6674831},
url = {https://doi.org/10.1109/MWSCAS.2013.6674831},
researchr = {https://researchr.org/publication/WangCG13-5},
cites = {0},
citedby = {0},
pages = {1043-1046},
booktitle = {IEEE 56th International Midwest Symposium on Circuits and Systems, MWSCAS 2013, Columbus, OH, USA, August 4-7, 2013},
publisher = {IEEE},
}