Direct Test Methodology for HDL Verification. - Rados Dabic; Sasa Jednak; Ilija Adzic; Dusko Stanic; Aleksandar Mijatovic; Stanislav Vuckovic (DDECS, 2015)