Automatic abstraction refinement of TR for PDR ASP-DAC 2016 2016 作者：Kuan Fan, Ming-Jen Yang, Chung-Yang (Ric) Huang
