Methodology for Early RTL Testability and Coverage Analysis and Its Application to Industrial Designs | IEEE Conference Publication | IEEE Xplore