Yingxin Qiu, Huawei Li, Tiancheng Wang, Bo Liu, Yingke Gao, Xiaowei Li 0001. Property Coverage Analysis Based Trustworthiness Verification for Potential Threats from EDA Tools. In 25th IEEE Asian Test Symposium, ATS 2016, Hiroshima, Japan, November 21-24, 2016. pages 43-48, IEEE Computer Society, 2016. [doi]
@inproceedings{QiuLWLG016,
title = {Property Coverage Analysis Based Trustworthiness Verification for Potential Threats from EDA Tools},
author = {Yingxin Qiu and Huawei Li and Tiancheng Wang and Bo Liu and Yingke Gao and Xiaowei Li 0001},
year = {2016},
doi = {10.1109/ATS.2016.45},
url = {http://doi.ieeecomputersociety.org/10.1109/ATS.2016.45},
researchr = {https://researchr.org/publication/QiuLWLG016},
cites = {0},
citedby = {0},
pages = {43-48},
booktitle = {25th IEEE Asian Test Symposium, ATS 2016, Hiroshima, Japan, November 21-24, 2016},
publisher = {IEEE Computer Society},
isbn = {978-1-5090-3809-1},
}