• DocumentCode
    1618015
  • Title

    Complex ASICs verification with SystemC

  • Author

    Randjic, A. ; Ostapcuk, N. ; Soldo, I. ; Markovic, P. ; Mujkovic, V.

  • Author_Institution
    HDL Design House, Belgrade, Serbia
  • Volume
    2
  • fYear
    2002
  • fDate
    6/24/1905 12:00:00 AM
  • Firstpage
    671
  • Lastpage
    674
  • Abstract
    This paper aims to present a way of complex ASIC verification by C/C++ oriented hardware description language using SystemC libraries. The solution of testbench organization is presented, as a result of complexity of design under verification, network processor PcomP. It is a general solution, new tests and parameter changes are very easy to be added, as is usage of the same testbench concept for other design
  • Keywords
    C language; C++ language; application specific integrated circuits; formal verification; hardware description languages; integrated circuit design; software libraries; C/C++ oriented hardware description language; PcomP; SystemC libraries; complex ASICs; design under verification; network processor; parameter changes; testbench organization; verification; Algorithm design and analysis; Application specific integrated circuits; Controllability; Design optimization; Emulation; Hardware design languages; Observability; Programming; Software algorithms; Testing;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Microelectronics, 2002. MIEL 2002. 23rd International Conference on
  • Conference_Location
    Nis
  • Print_ISBN
    0-7803-7235-2
  • Type

    conf

  • DOI
    10.1109/MIEL.2002.1003347
  • Filename
    1003347
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1618015