Improving Ariadnes Bundle by Following Multiple Threads in Abstraction Refinement.

Chao Wang, Bing Li, HoonSang Jin, Gary D. Hachtel, Fabio Somenzi

Browse the full ICCAD paper archive.