Huawei Li, Xiaowei Li. Innovative practices session 10C formal verification practices in industry. In 35th IEEE VLSI Test Symposium, VTS 2017, Las Vegas, NV, USA, April 9-12, 2017. pages 1, IEEE, 2017. [doi]
@inproceedings{LiL17-23,
title = {Innovative practices session 10C formal verification practices in industry},
author = {Huawei Li and Xiaowei Li},
year = {2017},
doi = {10.1109/VTS.2017.7928958},
url = {https://doi.org/10.1109/VTS.2017.7928958},
researchr = {https://researchr.org/publication/LiL17-23},
cites = {0},
citedby = {0},
pages = {1},
booktitle = {35th IEEE VLSI Test Symposium, VTS 2017, Las Vegas, NV, USA, April 9-12, 2017},
publisher = {IEEE},
isbn = {978-1-5090-4482-5},
}