VHDL as a modeling-for-testability tool | IEEE Conference Publication | IEEE Xplore