Automatic abstraction refinement of TR for PDR.

Kuan Fan, Ming-Jen Yang, Chung-Yang (Ric) Huang

Browse the full ASPDAC paper archive.