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