%0 Journal Article %1 journals/tcad/WangLLW0K16 %A Wang, Jian %A Li, Huawei %A Lv, Tao %A Wang, Tiancheng %A Li, Xiaowei %A Kundu, Sandip %D 2016 %J IEEE Trans. on CAD of Integrated Circuits and Systems %K dblp %N 2 %P 285-297 %T Abstraction-Guided Simulation Using Markov Analysis for Functional Verification. %U http://dblp.uni-trier.de/db/journals/tcad/tcad35.html#WangLLW0K16 %V 35

@article{journals/tcad/WangLLW0K16, added-at = {2016-01-26T00:00:00.000+0100}, author = {Wang, Jian and Li, Huawei and Lv, Tao and Wang, Tiancheng and Li, Xiaowei and Kundu, Sandip}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2427ade9224f482374f419f2654ebe012/dblp}, ee = {http://dx.doi.org/10.1109/TCAD.2015.2419622}, interhash = {4d6a052e96dac853e636a9901b274a7c}, intrahash = {427ade9224f482374f419f2654ebe012}, journal = {IEEE Trans. on CAD of Integrated Circuits and Systems}, keywords = {dblp}, number = 2, pages = {285-297}, timestamp = {2016-02-02T10:08:15.000+0100}, title = {Abstraction-Guided Simulation Using Markov Analysis for Functional Verification.}, url = {http://dblp.uni-trier.de/db/journals/tcad/tcad35.html#WangLLW0K16}, volume = 35, year = 2016 }