Title :
Faster Verilog simulations using a cycle based programming methodology
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;
Conference_Titel :
Verilog HDL Conference, 1996. Proceedings., 1996 IEEE International
Conference_Location :
Santa Clara, CA
Print_ISBN :
0-8186-7431-8
DOI :
10.1109/IVC.1996.496014