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
Link To Document