Methodology for Early RTL Testability and Coverage Analysis and Its Application to Industrial Designs. - Chandan Kumar; Fadi Maamari; Kiran Vittal; Wilson Pradeep; Rajesh Tiwari; Srivaths Ravi 001 (ATS, 2014)