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]
No references recorded for this publication.
No citations of this publication recorded.