Path directed abstraction and refinement in sat-based design debugging (2012)

by B Keng, A Veneris
Venue:in Proceedings of the 49th Annual Design Automation Conference, ser. DAC ’12