On RTL Testability and Gate-Level Stuck-At-Fault Coverage Correlation for Scan Circuits. - Michal Rumplík; Josef Strnadel (DSD, 2011)