Jian Wang, Huawei Li, Xiaowei Li 0001. A novel abstraction-guided simulation approach using posterior probabilities for verification. In Technical Papers of 2014 International Symposium on VLSI Design, Automation and Test, VLSI-DAT 2014, Hsinchu, Taiwan, April 28-30, 2014. pages 1-4, IEEE, 2014. [doi]
@inproceedings{WangL014,
title = {A novel abstraction-guided simulation approach using posterior probabilities for verification},
author = {Jian Wang and Huawei Li and Xiaowei Li 0001},
year = {2014},
doi = {10.1109/VLSI-DAT.2014.6834864},
url = {http://dx.doi.org/10.1109/VLSI-DAT.2014.6834864},
researchr = {https://researchr.org/publication/WangL014},
cites = {0},
citedby = {0},
pages = {1-4},
booktitle = {Technical Papers of 2014 International Symposium on VLSI Design, Automation and Test, VLSI-DAT 2014, Hsinchu, Taiwan, April 28-30, 2014},
publisher = {IEEE},
}