FIFO Scoreboard

  1 <'

  2 struct fifo_sb {

Device Under Test

  1 //-----------------------------------------------------

   2 // Design Name : syn_fifo

Verification Of FIFO

Test Case - test_write_read

  1 <'

  2 // This test case writes into one random location with 

Device Under Test

  1 module memory(

  2 address,

Verification Of Memory

In this example, we verify a simple single port RAM. Of course in real life we really don't get to verify a memory model.

As usual our testbench will look as shown in figure below.

A Specman Testbench

Diagram of a basic testbench

In this chapter I explore some of the features of E that are available, albeit sometimes in slight changes, in other object oriented languages.

Note : This section was written by Avidan Efody ( This e-mail address is being protected from spambots. You need JavaScript enabled to view it ). You are more than welcome to send comments, complaints, corrections or tempting work offers to Avidan Efody.

The Special Features Of e

Note : This section was written by Avidan Efody ( This e-mail address is being protected from spambots. You need JavaScript enabled to view it ). You are more than welcome to send comments, complaints, corrections or tempting work offers to Avidan Efody.

Introduction

Local e method

In this case, you define an e method within a struct and indicate that the method's body is implemented as a C routine. When you call the e method, the name of the enclosing struct instance is passed to the C routine and the C routine is executed.

Introduction to C Interface

Defining Transition Coverage Items

Defining Cross Coverage Items

Syntax 

Defining Basic Coverage Items

Coverage item can be defined with below syntax

item item-name[:type=exp] [using coverage-item-option, ...]