Title :
Direct Test Methodology for HDL Verification
Author :
Dabic, Rados ; Jednak, Sasa ; Adzic, Ilija ; Stanic, Dusko ; Mijatovic, Aleksandar ; Vuckovic, Stanislav
Author_Institution :
Elsys Eastern Eur. (EEE), Belgrade, Serbia
Abstract :
This paper covers one approach to direct test verification methodology in modern HDL designs with emphasis on some aspects of its current implementation in EEE. Methodology describes modular flow for requirement driven verification, easy to integrate and reuse both in terms of test bench components and test vectors. As such, it represents natural evolution of classical HDL test benches and provides viable alternative to specialized verification procedures.
Keywords :
hardware description languages; program testing; program verification; HDL verification; direct test verification methodology; requirement driven verification; test bench components; test vectors; Hardware design languages; Protocols; Prototypes; Standards; Synchronization; Syntactics; Testing; HDL; direct test; direct verification; modularity; verification methodology;
Conference_Titel :
Design and Diagnostics of Electronic Circuits & Systems (DDECS), 2015 IEEE 18th International Symposium on
Conference_Location :
Belgrade
Print_ISBN :
978-1-4799-6779-7
DOI :
10.1109/DDECS.2015.47