A RTL Testability Analyzer Based on Logical Virtual Prototyping | IEEE Conference Publication | IEEE Xplore