Improving Ariadneýs Bundle by Following Multiple Threads in Abstraction Refinement

Chao Wang, Bing Li, HoonSang Jin, Gary D. Hachtel, Fabio Somenzi. Improving Ariadneýs Bundle by Following Multiple Threads in Abstraction Refinement. In 2003 International Conference on Computer-Aided Design (ICCAD 03), November 9-13, 2003, San Jose, CA, USA. pages 408-415, IEEE Computer Society / ACM, 2003. [doi]

Abstract

Abstract is missing.