Skip to main content
Article thumbnail
Location of Repository

A Verification Environment for PCI-X BFMs in VERA

By Renwei Wang, Zongyao Wen and Synopsys Inc

Abstract

Conventionally, the method for testing Synopsys Bus Functional Models (BFMs) was to typically create a set of command files, with each of them testing a particular functional area. This process was and is time consuming because tests for all possible cases must be created manually. In this paper, we will document a new verification environment that takes the advantage of the VERA language for verifying Synopsys PCI-X BFMs. The environment produces test bench code which is highly reusable due to object-oriented programming (OOP) techniques. The effort on directed testing is greatly reduced by specifying only the areas to be tested. This system can support three entries: directed testing, random testing, and playback. The play back scheme is important when a bug is found after days of random run/testing with a single reset. The use of CoverMeter and a coverage object in VERA is also addressed in this paper. However, a functional coverage object was not fully implemented. Using this verification methodology, we are able to improve the quality of our models much faster. This environment can also be adapted to verify a custom PCI-X design. Keyword: VERA, PCI-X, Coverage, Random Testing, and Verificatio

Year: 2008
OAI identifier: oai:CiteSeerX.psu:10.1.1.134.1636
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://www.open-vera.com/techn... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.