• DocumentCode
    3521267
  • Title

    Faster Verilog simulations using a cycle based programming methodology

  • Author

    Becker, Monte

  • fYear
    1996
  • fDate
    26-28 Feb 1996
  • Firstpage
    24
  • Lastpage
    31
  • Abstract
    Verilog is a hardware description language which can be used to verify that hardware functions correctly and within the required timing constraints. If timing is verified using other tools, functional testing speeds can be improved by an order of magnitude or more by using a cycle based simulator. However this restricts users to a sub-set of the verilog grammar. The paper describes the cycle based programming (CBP) methodology whereby hardware designs are implemented in Verilog, but bus functional models (BFM) and test programs are written in a higher level programming language. A programming interface and examples of Verilog language like constructs (forks, joins, waits, etc.) are presented
  • Keywords
    application program interfaces; computer testing; formal verification; hardware description languages; programming; timing; virtual machines; Verilog language like constructs; Verilog simulations; bus functional models; correct hardware function verification; cycle based programming methodology; functional testing speeds; hardware description language; hardware designs; programming interface; required timing constraints; test programs; Computational modeling; Computer languages; Discrete event simulation; Functional programming; Hardware design languages; Logic programming; Logic testing; Process design; Silicon; Timing;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Verilog HDL Conference, 1996. Proceedings., 1996 IEEE International
  • Conference_Location
    Santa Clara, CA
  • ISSN
    1085-9403
  • Print_ISBN
    0-8186-7431-8
  • Type

    conf

  • DOI
    10.1109/IVC.1996.496014
  • Filename
    496014