Testability analysis and test-point insertion in RTL VHDL specifications for scan-based BIST | IEEE Journals & Magazine | IEEE Xplore