Automatic abstraction refinement of TR for PDR Venue ASP-DAC Year 2016 Authors: Kuan Fan, Ming-Jen Yang, Chung-Yang (Ric) Huang
