• DocumentCode
    2645970
  • Title

    A system-level co-verification environment for ATM hardware design

  • Author

    Post, Guido ; Müller, Andrea ; Grotker, Thorsten

  • Author_Institution
    Inst. for Integrated Signal Process. Syst., Tech. Hochschule Aachen, Germany
  • fYear
    1998
  • fDate
    23-26 Feb 1998
  • Firstpage
    424
  • Lastpage
    428
  • Abstract
    Common approaches to hardware implementation of networking components start at the VHDL level and are based on the creation of regression test benches to perform simulative validation of functionality. The time needed to develop test benches has proven to be a significant bottleneck with respect to time-to-market requirements. In this paper we describe the coupling of a telecommunication network simulator with a VHDL simulator and a hardware test board. This co-verification approach enables the designer of hardware for networking components to verify the functional correctness of a device under test against the corresponding algorithmic description and to perform functional chip verification by reusing test benches from a higher level of abstraction
  • Keywords
    application specific integrated circuits; asynchronous transfer mode; digital simulation; formal verification; hardware description languages; high level synthesis; integrated circuit design; timing; ATM hardware design; VHDL level; algorithmic description; functional chip verification; functional correctness; hardware test board; networking components; regression test benches; simulative validation; system-level co-verification environment; telecommunication network simulator; time-to-market requirements; Application specific integrated circuits; Hardware; Hip; Identity-based encryption; Microwave integrated circuits; National electric code; Signal processing; Software testing; System testing; Tellurium;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Design, Automation and Test in Europe, 1998., Proceedings
  • Conference_Location
    Paris
  • Print_ISBN
    0-8186-8359-7
  • Type

    conf

  • DOI
    10.1109/DATE.1998.655892
  • Filename
    655892