DocumentCode
1614838
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
fYear
2015
Firstpage
115
Lastpage
118
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/DDECS.2015.47
Filename
7195681
Link To Document