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]
Abstract is missing.