Haiqiong Yao

Publication Activity (10 Years)

Years Active: 2009-2010
Publications (10 Years): 0

Publications

Haiqiong Yao, Hao Zheng, Chris J. Myers
State space reductions for scalable verification of asynchronous designs. HLDVT (2010)
Hao Zheng, Haiqiong Yao, Tomohiro Yoneda
Modular Model Checking of Large Asynchronous Designs with Efficient Abstraction Refinement. IEEE Trans. Computers 59 (4) (2010)
Hao Zheng, Haiqiong Yao, Tomohiro Yoneda
Synchronization-Based Abstraction Refinement for Modular Verification of Asynchronous Designs. ISVLSI (2009)
Haiqiong Yao, Hao Zheng
Automated Interface Refinement for Compositional Verification. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 28 (3) (2009)