High level testability analysis using VHDL Automatic Test Pattern Generation | IEEE Conference Publication | IEEE Xplore