• 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