URL https://opencores.org/ocsvn/gpio/gpio/trunk

Subversion Repositories gpio

[/] [gpio/] [trunk/] [bench/] [verilog/] [tb_tasks.v] - Blame information for rev 47

Go to most recent revision | Details | Compare with Previous | View Log


//////////////////////////////////////////////////////////////////////
////                                                              ////
////  GPIO Testbench Tasks                                        ////
////                                                              ////
////  This file is part of the GPIO project                       ////
////  http://www.opencores.org/cores/gpio/                        ////
////                                                              ////
////  Description                                                 ////
////  Testbench tasks.                                            ////
////                                                              ////
////  To Do:                                                      ////
////   Nothing                                                    ////
////                                                              ////
////  Author(s):                                                  ////
////      - Damjan Lampret, lampret@opencores.org                 ////
////                                                              ////
//////////////////////////////////////////////////////////////////////
////                                                              ////
//// Copyright (C) 2000 Authors and OPENCORES.ORG                 ////
////                                                              ////
//// This source file may be used and distributed without         ////
//// restriction provided that this copyright statement is not    ////
//// removed from the file and that any derivative work contains  ////
//// the original copyright notice and the associated disclaimer. ////
////                                                              ////
//// This source file is free software; you can redistribute it   ////
//// and/or modify it under the terms of the GNU Lesser General   ////
//// Public License as published by the Free Software Foundation; ////
//// either version 2.1 of the License, or (at your option) any   ////
//// later version.                                               ////
////                                                              ////
//// This source is distributed in the hope that it will be       ////
//// useful, but WITHOUT ANY WARRANTY; without even the implied   ////
//// warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR      ////
//// PURPOSE.  See the GNU Lesser General Public License for more ////
//// details.                                                     ////
////                                                              ////
//// You should have received a copy of the GNU Lesser General    ////
//// Public License along with this source; if not, download it   ////
//// from http://www.opencores.org/lgpl.shtml                     ////
////                                                              ////
//////////////////////////////////////////////////////////////////////
//
// CVS Revision History
//
// $Log: not supported by cvs2svn $
// Revision 1.8  2003/11/19 14:22:43  gorand
// small changes, to satisfy VATS..
//
// Revision 1.7  2003/11/10 23:23:57  gorand
// tests passed.
//
// Revision 1.6  2001/12/25 17:21:06  lampret
// Fixed two typos.
//
// Revision 1.5  2001/12/25 17:12:28  lampret
// Added RGPIO_INTS.
//
// Revision 1.4  2001/11/15 02:26:32  lampret
// Updated timing and fixed some typing errors.
//
// Revision 1.3  2001/09/18 16:37:55  lampret
// Changed VCD output location.
//
// Revision 1.2  2001/09/18 15:43:27  lampret
// Changed gpio top level into gpio_top. Changed defines.v into gpio_defines.v.
//
// Revision 1.1  2001/08/21 21:39:27  lampret
// Changed directory structure, port names and drfines.
//
// Revision 1.2  2001/07/14 20:37:23  lampret
// Test bench improvements.
//
// Revision 1.1  2001/06/05 07:45:22  lampret
// Added initial RTL and test benches. There are still some issues with these files.
//
//
 
`include "timescale.v"
`include "gpio_defines.v"
`include "tb_defines.v"
 
module tb_tasks;
 
integer nr_failed;
integer ints_disabled;
integer ints_working;
integer local_errs;
 
parameter sh_addr = `GPIO_ADDRLH+1;
parameter gw = `GPIO_IOS ;
//
// Count/report failed tests
//
task failed;
begin
        $display("FAILED !!!");
        nr_failed = nr_failed + 1;
end
endtask
 
//
// Set RGPIO_OUT register
//
task setout;
input   [31:0] val;
 
reg  [ 31:0 ] addr ;
begin
  addr = `GPIO_RGPIO_OUT <<sh_addr ;
        #100 gpio_testbench.wb_master.wr(`GPIO_RGPIO_OUT<<sh_addr, val, 4'b1111);
/*  $display ( " addr : %h %h", addr, val ) ;
  $display ( "             out_pad : %h ", gpio_testbench.gpio_top.out_pad ) ;
  $display ( "           rgpio_aux : %h ", gpio_testbench.gpio_top.rgpio_aux) ;
  $display ( "               aux_i : %h ", gpio_testbench.gpio_top.aux_i ) ;
  $display ( "           rgpio_out : %h ", gpio_testbench.gpio_top.rgpio_out ) ;
*/
end
 
endtask
 
//
// Set RGPIO_OE register
//
task setoe;
input   [31:0] val;
 
begin
        #100 gpio_testbench.wb_master.wr(`GPIO_RGPIO_OE<<sh_addr, val, 4'b1111);
end
 
endtask
 
//
// Set RGPIO_INTE register
//
task setinte;
input   [31:0] val;
 
begin
        #100 gpio_testbench.wb_master.wr(`GPIO_RGPIO_INTE<<sh_addr, val, 4'b1111);
end
 
endtask
 
//
// Set RGPIO_PTRIG register
//
task setptrig;
input   [31:0] val;
 
begin
        #100 gpio_testbench.wb_master.wr(`GPIO_RGPIO_PTRIG<<sh_addr, val, 4'b1111);
end
 
endtask
 
//
// Set RGPIO_AUX register
//
task setaux;
input   [31:0] val;
 
begin
        #100 gpio_testbench.wb_master.wr(`GPIO_RGPIO_AUX<<sh_addr, val, 4'b1111);
end
 
endtask
 
//
// Set RGPIO_CTRL register
//
task setctrl;
input   [31:0] val;
 
begin
        #100 gpio_testbench.wb_master.wr(`GPIO_RGPIO_CTRL<<sh_addr, val, 4'b1111);
end
 
endtask
 
//
// Set RGPIO_INTS register
//
task setints;
input   [31:0] val;
 
begin
        #100 gpio_testbench.wb_master.wr(`GPIO_RGPIO_INTS<<sh_addr, val, 4'b1111);
end
 
endtask
 
//
// Display RGPIO_IN register
//
task showin;
 
reg     [31:0] tmp;
begin
        #100 gpio_testbench.wb_master.rd(`GPIO_RGPIO_IN<<sh_addr, tmp);
        $write(" RGPIO_IN: %h", tmp);
end
 
endtask
 
//
// Display RGPIO_OUT register
//
task showout;
 
reg     [31:0] tmp;
begin
        #100 gpio_testbench.wb_master.rd(`GPIO_RGPIO_OUT<<sh_addr, tmp);
        $write(" RGPIO_OUT: %h", tmp);
end
 
endtask
 
 
//
// Display RGPIO_OE register
//
task showoe;
 
reg     [31:0] tmp;
begin
        #100 gpio_testbench.wb_master.rd(`GPIO_RGPIO_OE<<sh_addr, tmp);
        $write(" RGPIO_OE:%h", tmp);
end
 
endtask
 
//
// Display RGPIO_INTE register
//
task showinte;
 
reg     [31:0] tmp;
begin
        #100 gpio_testbench.wb_master.rd(`GPIO_RGPIO_INTE<<sh_addr, tmp);
        $write(" RGPIO_INTE:%h", tmp);
end
 
endtask
 
//
// Display RGPIO_PTRIG register
//
task showptrig;
 
reg     [31:0] tmp;
begin
        #100 gpio_testbench.wb_master.rd(`GPIO_RGPIO_PTRIG<<sh_addr, tmp);
        $write(" RGPIO_PTRIG:%h", tmp);
end
 
endtask
 
//
// Display RGPIO_AUX register
//
task showaux;
 
reg     [31:0] tmp;
begin
        #100 gpio_testbench.wb_master.rd(`GPIO_RGPIO_AUX<<sh_addr, tmp);
        $write(" RGPIO_AUX:%h", tmp);
end
 
endtask
 
//
// Display RGPIO_CTRL register
//
task showctrl;
 
reg     [31:0] tmp;
begin
        #100 gpio_testbench.wb_master.rd(`GPIO_RGPIO_CTRL<<sh_addr, tmp);
        $write(" RGPIO_CTRL: %h", tmp);
end
 
endtask
 
//
// Display RGPIO_INTS register
//
task showints;
 
reg     [31:0] tmp;
begin
        #100 gpio_testbench.wb_master.rd(`GPIO_RGPIO_INTS<<sh_addr, tmp);
        $write(" RGPIO_INTS:%h", tmp);
end
 
endtask
 
//
// Compare parameter with RGPIO_IN register
//
task comp_in;
input   [31:0]   val;
output          ret;
 
reg     [31:0]   tmp;
reg             ret;
begin
        #100 gpio_testbench.wb_master.rd(`GPIO_RGPIO_IN<<sh_addr, tmp);
 
        if (tmp == val)
                ret = 1;
        else
                ret = 0;
end
 
endtask
 
//
// Get RGPIO_IN register
//
task getin;
output  [31:0]   tmp;
 
begin
        #100 gpio_testbench.wb_master.rd(`GPIO_RGPIO_IN<<sh_addr, tmp);
end
 
endtask
 
//
// Get RGPIO_OUT register
//
task getout;
output  [31:0]   tmp;
 
begin
        #100 gpio_testbench.wb_master.rd(`GPIO_RGPIO_OUT<<sh_addr, tmp);
end
 
endtask
 
//
// Get RGPIO_OE register
//
task getoe;
output  [31:0]   tmp;
 
begin
        #100 gpio_testbench.wb_master.rd(`GPIO_RGPIO_OE<<sh_addr, tmp);
end
 
endtask
 
//
// Get RGPIO_INTE register
//
task getinte;
output  [31:0]   tmp;
 
begin
        #100 gpio_testbench.wb_master.rd(`GPIO_RGPIO_INTE<<sh_addr, tmp);
end
 
endtask
 
//
// Get RGPIO_PTRIG register
//
task getptrig;
output  [31:0]   tmp;
 
begin
        #100 gpio_testbench.wb_master.rd(`GPIO_RGPIO_PTRIG<<sh_addr, tmp);
end
 
endtask
 
//
// Get RGPIO_AUX register
//
task getaux;
output  [31:0]   tmp;
 
begin
        #100 gpio_testbench.wb_master.rd(`GPIO_RGPIO_AUX<<sh_addr, tmp);
end
 
endtask
 
//
// Get RGPIO_CTRL register
//
task getctrl;
output  [31:0]   tmp;
 
begin
        #100 gpio_testbench.wb_master.rd(`GPIO_RGPIO_CTRL<<sh_addr, tmp);
end
 
endtask
 
//
// Get RGPIO_INTS register
//
task getints;
output  [31:0]   tmp;
 
begin
        #100 gpio_testbench.wb_master.rd(`GPIO_RGPIO_INTS<<sh_addr, tmp);
end
 
endtask
 
//
// Calculate a random and make it narrow to fit on GPIO I/O pins
//
task random_gpio;
output  [31:0]   tmp;
 
begin
        tmp = $random & ((1<<`GPIO_IOS)-1);
end
 
endtask
 
//
// Test operation of control bit RGPIO_CTRL[ECLK]
//
task test_eclk;
reg [gw-1:0 ]            l1, l2, l3;
reg [gw-1:0 ]            r1, r2, r3;
begin
 
        // Set external clock to low state
        gpio_testbench.gpio_mon.set_gpioeclk(0);
        @(posedge gpio_testbench.clk);
        @(posedge gpio_testbench.clk);
 
        //
        // Phase 1
        //
        // GPIO uses WISHBONE clock to latch gpio_in
        //
 
        // Put something on gpio_in pins
        random_gpio(r1);
        gpio_testbench.gpio_mon.set_gpioin(r1);
 
        // Reset GPIO_CTRL
        setctrl(0);
 
        // Wait for time to advance
        @(posedge gpio_testbench.clk);
        @(posedge gpio_testbench.clk);
 
        // Read GPIO_RGPIO_IN
        getin(l1);
 
        //
        // Phase 2
        //
        // GPIO uses external clock to latch gpio_in
        //
 
        // Set GPIO to use external clock, NEC bit cleared
        setctrl(1 << `GPIO_RGPIO_CTRL_ECLK);
 
        // Put something else on gpio_in pins
        random_gpio(r2);
        gpio_testbench.gpio_mon.set_gpioin(r2);
 
        // Make an external posedge clock pulse
        gpio_testbench.gpio_mon.set_gpioeclk(0);
        @(posedge gpio_testbench.clk);
        @(posedge gpio_testbench.clk);
        gpio_testbench.gpio_mon.set_gpioeclk(1);
        @(posedge gpio_testbench.clk);
        @(posedge gpio_testbench.clk);
 
        // Read RGPIO_IN
        getin(l2);
 
        //
        // Phase 3
        //
        // Change GPIO inputs and WB clock but not external clock.
        // RGPIO_IN should not change.
        //
 
        // Put something else on gpio_in pins
        random_gpio(r3);
        gpio_testbench.gpio_mon.set_gpioin(r3);
 
        // Wait for WB clock
        @(posedge gpio_testbench.clk);
        @(posedge gpio_testbench.clk);
 
        // Read RGPIO_IN
        getin(l3);
 
        //
        // Phase 4
        //
        // Compare phases
        //
        if (l1 == r1 && l2 == r2 && l2 == l3)
                $write(".");
        else
                local_errs = local_errs + 1;
end
endtask
 
//
// Test operation of control bit RGPIO_CTRL[NEC]
//
task test_nec;
integer         l1, l2;
integer         r1, r2;
begin
        //
        // Phase 1
        //
        // Compare RGPIO_IN before and after negative edge
        //
 
        // Set external clock to low state
        gpio_testbench.gpio_mon.set_gpioeclk(0);
        @(posedge gpio_testbench.clk);
        @(posedge gpio_testbench.clk);
 
        // Set GPIO to use external clock and set RGPIO_CTRL[NEC]
        setctrl(1 << `GPIO_RGPIO_CTRL_ECLK | 1 << `GPIO_RGPIO_CTRL_NEC);
 
        // Put random on gpio inputs
        random_gpio(r1);
        gpio_testbench.gpio_mon.set_gpioin(r1);
 
        // Advance time by making an external negedge clock pulse
        gpio_testbench.gpio_mon.set_gpioeclk(1);
        @(posedge gpio_testbench.clk);
        @(posedge gpio_testbench.clk);
        gpio_testbench.gpio_mon.set_gpioeclk(0);
        @(posedge gpio_testbench.clk);
        @(posedge gpio_testbench.clk);
 
        // Put something on gpio_in pins
        random_gpio(r2);
        gpio_testbench.gpio_mon.set_gpioin(r2);
 
        // Make an external posedge clock pulse
        gpio_testbench.gpio_mon.set_gpioeclk(0);
        @(posedge gpio_testbench.clk);
        @(posedge gpio_testbench.clk);
        gpio_testbench.gpio_mon.set_gpioeclk(1);
        @(posedge gpio_testbench.clk);
        @(posedge gpio_testbench.clk);
 
        // Read RGPIO_IN (should be the same as r1)
        getin(l1);
 
        // Make an external negedge clock pulse
        gpio_testbench.gpio_mon.set_gpioeclk(1);
        @(posedge gpio_testbench.clk);
        @(posedge gpio_testbench.clk);
        gpio_testbench.gpio_mon.set_gpioeclk(0);
        @(posedge gpio_testbench.clk);
        @(posedge gpio_testbench.clk);
 
        // Read RGPIO_IN (should be the same as r2)
        getin(l2);
 
        //
        // Phase 2
        //
        // Compare phases
        //
//      $display("l1 %h  l2 %h  r1 %h  r2 %h", l1, l2, r1, r2);
        if (l1 == r1 && l2 == r2)
                $write(".");
        else
                local_errs = local_errs + 1;
end
endtask
 
//
// Test input polled mode, output mode and bidirectional
//
task test_simple;
reg [gw-1:0]             l1, l2, l3, l4;
integer         i, err;
begin
        $write("  Testing input mode ...");
 
        //
        // Phase 1
        //
        // Compare RGPIO_IN and gpio_in
        //
 
        // Set GPIO to use WB clock
        setctrl(0);
 
        err = 0;
        for (i = 0; i < 10 * `GPIO_VERIF_INTENSITY; i = i +1) begin
                // Put something on gpio_in pins
                random_gpio(l1);
                gpio_testbench.gpio_mon.set_gpioin(l1);
 
                // Advance time
                @(posedge gpio_testbench.clk);
                @(posedge gpio_testbench.clk);
 
                // Read GPIO_RGPIO_IN
                getin(l2);
 
                // Compare gpio_in and RGPIO_IN. Should be equal.
                if (l1 != l2)
                        err = err + 1;
        end
 
        // Phase 2
        //
        // Output result for previous test
        //
        if (!err)
                $display(" OK");
        else
                failed;
 
        $write("  Testing output mode ...");
 
        //
        // Phase 3
        //
        // Compare RGPIO_OUT and gpio_out
        //
 
        err = 0;
        for (i = 0; i < 10 * `GPIO_VERIF_INTENSITY; i = i +1) begin
                // Put something in RGPIO_OUT pins
                l1 = $random;
                setout(l1);
 
                // Advance time
                @(posedge gpio_testbench.clk);
                @(posedge gpio_testbench.clk);
 
                // Read gpio_out
                gpio_testbench.gpio_mon.get_gpioout(l2);
 
                // Compare gpio_out and RGPIO_OUT. Should be equal.
                if (l1 != l2)
                        err = err + 1;
        end
 
        // Phase 4
        //
        // Output result for previous test
        //
        if (!err)
                $display(" OK");
        else
                failed;
 
        $write("  Testing bidirectional I/O ...");
 
        //
        // Phase 5
        //
        // Compare RGPIO_OE and gpio_oen
        //
 
        err = 0;
        for (i = 0; i < 10 * `GPIO_VERIF_INTENSITY; i = i +1) begin
                // Put something in RGPIO_OE pins
                l1 = $random;
                setoe(l1);
 
                // Advance time
                @(posedge gpio_testbench.clk);
                @(posedge gpio_testbench.clk);
 
                // Read gpio_oen
                gpio_testbench.gpio_mon.get_gpiooen(l2);
 
                // Compare gpio_oen and RGPIO_OE. Should be exactly opposite.
                if (l1 != ~l2)
                        err = err + 1;
        end
 
        // Phase 6
        //
        // Output result for previous test
        //
        if (!err)
                $display(" OK");
        else
                failed;
 
        $write("  Testing auxiliary feature ...");
 
        //
        // Phase 7
        //
        // Compare RGPIO_OUT, gpio_out, RGPIO_AUX and gpio_aux
        //
 
        err = 0;
        for (i = 0; i < 10 * `GPIO_VERIF_INTENSITY; i = i +1) begin
                // Put something on gpio_aux pins
                l1 = $random;
                gpio_testbench.gpio_mon.set_gpioaux(l1);
 
                // Put something in RGPIO_AUX pins
                l2 = $random;
                setaux(l2);
 
                // Put something in RGPIO_OUT pins
                l3 = $random;
                setout(l3);
 
                // Advance time
                @(posedge gpio_testbench.clk);
                @(posedge gpio_testbench.clk);
 
                // Read gpio_out
                gpio_testbench.gpio_mon.get_gpioout(l4);
 
                // Compare gpio_out, RGPIO_OUT, RGPIO_AUX and gpio_aux.
                // RGPIO_AUX specifies which gpio_aux bits and RGPIO_OUT 
                // bits are present on gpio_out and where
                if ((l1 & l2 | l3 & ~l2) != l4)
                        err = err + 1;
        end
 
        // Phase 8
        //
        // Output result for previous test
        //
        if (!err)
                $display(" OK");
        else
                failed;
 
end
endtask
 
//
// Test interrupts
//
task test_ints;
integer         l1, l2, l3, l4;
integer         i, rnd, err;
integer         r1;
begin
 
        $write("  Testing control bit RGPIO_CTRL[INTE] and RGPIO_CTRL[INT] ...");
 
        //
        // Phase 1
        //
        // Generate patterns on inputs in interrupt mode
        //
 
        // Disable spurious interrupt monitor
        ints_disabled = 0;
 
        err = 0;
        for( i = 0; i < 10 * `GPIO_VERIF_INTENSITY; i = i + 1) begin
 
                // Set gpio_in pins
                r1 = ((1<<`GPIO_IOS)-1) & 'hffffffff;
                gpio_testbench.gpio_mon.set_gpioin(r1);
 
                // Low level triggering
                setptrig(0);
 
                // Clear RGPIO_INTS
                setints(0);
 
                // Enable interrupts in RGPIO_CTRL
                setctrl(1 << `GPIO_RGPIO_CTRL_INTE);
 
                // Enable interrupts in RGPIO_INTE
                setinte(r1);
 
                // Advance time
                @(posedge gpio_testbench.clk);
                @(posedge gpio_testbench.clk);
 
                // Sample interrupt request. Should be zero.
                l1 = gpio_testbench.gpio_top.wb_inta_o;
 
                // Clear gpio_in pins
                gpio_testbench.gpio_mon.set_gpioin(0);
 
                // Advance time
                @(posedge gpio_testbench.clk);
                @(posedge gpio_testbench.clk);
                @(posedge gpio_testbench.clk);
 
                // Sample interrupt request. Should be one.
                l2 = gpio_testbench.gpio_top.wb_inta_o;
 
                // Clear interrupt request
                setctrl(0);
 
                // Advance time
                @(posedge gpio_testbench.clk);
                @(posedge gpio_testbench.clk);
 
                // Sample interrupt request. Should be zero.
                l3 = gpio_testbench.gpio_top.wb_inta_o;
 
                // Get RGPIO_INTS. Should be nonzero.
                getints(l4);
 
                // Check for errors
                if (l1 || !l2 || l3 || (l4 != r1)) begin
                        err = err +1;
                end
        end
 
        // Enable spurious interrupt monitor
        ints_disabled = 1;
 
        // Phase 2
        //
        // Check results
        //
        if (!err)
                $display(" OK");
        else
                failed;
end
endtask
 
//
// Test ptrig
//
task test_ptrig;
integer         l1, l2, l3;
integer         i, rnd, err;
integer         r1;
begin
        $write("  Testing ptrig features ...");
 
        //
        // Phase 1
        //
        // Generate patterns on inputs in interrupt mode
        //
 
        // Disable spurious interrupt monitor
        ints_disabled = 0;
 
        err = 0;
        for( i = 0; i < 10 * `GPIO_VERIF_INTENSITY; i = i + 1) begin
 
                // Set bits to one
                r1 = ((1<<`GPIO_IOS)-1) & 'hffffffff;
 
                // Set gpio_in pins
                gpio_testbench.gpio_mon.set_gpioin('h00000000);
 
                // Clear old interrupts
                setints(0);
 
                // High level triggering
                setptrig('hffffffff);
 
                // Enable interrupts in RGPIO_CTRL
                setctrl(1 << `GPIO_RGPIO_CTRL_INTE);
 
                // Enable interrupts in RGPIO_INTE
                setinte(r1);
 
                // Advance time
                @(posedge gpio_testbench.clk);
                @(posedge gpio_testbench.clk);
 
                // Sample interrupt request. Should be zero.
                l1 = gpio_testbench.gpio_top.wb_inta_o;
 
                // Clear gpio_in pins
                gpio_testbench.gpio_mon.set_gpioin('hffffffff);
 
                // Advance time
                @(posedge gpio_testbench.clk);
                @(posedge gpio_testbench.clk);
                @(posedge gpio_testbench.clk);
 
                // Sample interrupt request. Should be one.
                l2 = gpio_testbench.gpio_top.wb_inta_o;
 
                // Clear interrupt request
                setctrl(0);
                setints(0);
 
                // Advance time
                @(posedge gpio_testbench.clk);
                @(posedge gpio_testbench.clk);
 
                // Sample interrupt request. Should be zero.
                l3 = gpio_testbench.gpio_top.wb_inta_o;
 
                // Check for errors
                if (l1 || !l2 || l3)
                        err = err +1;
        end
 
        // Enable spurious interrupt monitor
        ints_disabled = 1;
 
        // Phase 2
        //
        // Check results
        //
        if (!err)
                $display(" OK");
        else
                failed;
end
endtask
 
//
// Do continues check for interrupts
//
always @(posedge gpio_testbench.gpio_top.wb_inta_o)
        if (ints_disabled) begin
                $display("Spurious interrupt detected. ");
                failed;
                ints_working = 9876;
                $display;
        end
 
//
// Start of testbench test tasks
//
integer         i;
initial begin
`ifdef GPIO_DUMP_VCD
        $dumpfile("../out/gpio_testbench.vcd");
        $dumpvars(0);
`endif
        nr_failed = 0;
        ints_disabled = 1;
        ints_working = 0;
        gpio_testbench.gpio_mon.set_gpioin(0);
        gpio_testbench.gpio_mon.set_gpioaux(0);
        gpio_testbench.gpio_mon.set_gpioeclk(0);
        $display;
        $display("###");
        $display("### GPIO IP Core Verification ###");
        $display("###");
        $display;
        $display("I. Testing correct operation of RGPIO_CTRL control bits");
        $display;
 
 
        $write("  Testing control bit RGPIO_CTRL[ECLK] ...");
        local_errs = 0;
        for (i = 0; i < 10 * `GPIO_VERIF_INTENSITY; i = i + 1)
                test_eclk;
        if (local_errs == 0)
                $display(" OK");
        else
                failed;
 
 
        $write("  Testing control bit RGPIO_CTRL[NEC] ...");
        local_errs = 0;
        for (i = 0; i < 10 * `GPIO_VERIF_INTENSITY; i = i + 1)
                test_nec;
        if (local_errs == 0)
                $display(" OK");
        else
                failed;
 
        test_ints;
 
        $display;
        $display("II. Testing modes of operation ...");
        $display;
 
        test_simple;
        test_ptrig;
 
        $display;
        $display("###");
        $display("### FAILED TESTS: %d ###", nr_failed);
        $display("###");
        $display;
//      $finish;
  if ( nr_failed == 0 )
    begin
    $display ("report (%h)", 32'hdeaddead ) ;
    $display ("exit (00000000)" ) ;
    end
  else
    begin
    $display ("report (%h)", 32'heeeeeeee ) ;
    $display ("exit (00000000)" ) ;
    end
  $finish(0);
 
end
 
endmodule

Line No.	Rev	Author	Line
1	8	lampret	`//////////////////////////////////////////////////////////////////////`
2			`//// ////`
3			`//// GPIO Testbench Tasks ////`
4			`//// ////`
5			`//// This file is part of the GPIO project ////`
6			`//// http://www.opencores.org/cores/gpio/ ////`
7			`//// ////`
8			`//// Description ////`
9			`//// Testbench tasks. ////`
10			`//// ////`
11			`//// To Do: ////`
12			`//// Nothing ////`
13			`//// ////`
14			`//// Author(s): ////`
15			`//// - Damjan Lampret, lampret@opencores.org ////`
16			`//// ////`
17			`//////////////////////////////////////////////////////////////////////`
18			`//// ////`
19			`//// Copyright (C) 2000 Authors and OPENCORES.ORG ////`
20			`//// ////`
21			`//// This source file may be used and distributed without ////`
22			`//// restriction provided that this copyright statement is not ////`
23			`//// removed from the file and that any derivative work contains ////`
24			`//// the original copyright notice and the associated disclaimer. ////`
25			`//// ////`
26			`//// This source file is free software; you can redistribute it ////`
27			`//// and/or modify it under the terms of the GNU Lesser General ////`
28			`//// Public License as published by the Free Software Foundation; ////`
29			`//// either version 2.1 of the License, or (at your option) any ////`
30			`//// later version. ////`
31			`//// ////`
32			`//// This source is distributed in the hope that it will be ////`
33			`//// useful, but WITHOUT ANY WARRANTY; without even the implied ////`
34			`//// warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR ////`
35			`//// PURPOSE. See the GNU Lesser General Public License for more ////`
36			`//// details. ////`
37			`//// ////`
38			`//// You should have received a copy of the GNU Lesser General ////`
39			`//// Public License along with this source; if not, download it ////`
40			`//// from http://www.opencores.org/lgpl.shtml ////`
41			`//// ////`
42			`//////////////////////////////////////////////////////////////////////`
43			`//`
44			`// CVS Revision History`
45			`//`
46			`// $Log: not supported by cvs2svn $`
47	47	gorand	`// Revision 1.8 2003/11/19 14:22:43 gorand`
48			`// small changes, to satisfy VATS..`
49			`//`
50	41	gorand	`// Revision 1.7 2003/11/10 23:23:57 gorand`
51			`// tests passed.`
52			`//`
53	37	gorand	`// Revision 1.6 2001/12/25 17:21:06 lampret`
54			`// Fixed two typos.`
55			`//`
56	22	lampret	`// Revision 1.5 2001/12/25 17:12:28 lampret`
57			`// Added RGPIO_INTS.`
58			`//`
59	21	lampret	`// Revision 1.4 2001/11/15 02:26:32 lampret`
60			`// Updated timing and fixed some typing errors.`
61			`//`
62	18	lampret	`// Revision 1.3 2001/09/18 16:37:55 lampret`
63			`// Changed VCD output location.`
64			`//`
65	13	lampret	`// Revision 1.2 2001/09/18 15:43:27 lampret`
66			`// Changed gpio top level into gpio_top. Changed defines.v into gpio_defines.v.`
67			`//`
68	12	lampret	`// Revision 1.1 2001/08/21 21:39:27 lampret`
69			`// Changed directory structure, port names and drfines.`
70			`//`
71	8	lampret	`// Revision 1.2 2001/07/14 20:37:23 lampret`
72			`// Test bench improvements.`
73			`//`
74			`// Revision 1.1 2001/06/05 07:45:22 lampret`
75			`// Added initial RTL and test benches. There are still some issues with these files.`
76			`//`
77			`//`
78
79			`include "timescale.v"
80	12	lampret	`include "gpio_defines.v"
81	8	lampret	`include "tb_defines.v"
82
83			`module tb_tasks;`
84
85			`integer nr_failed;`
86			`integer ints_disabled;`
87			`integer ints_working;`
88			`integer local_errs;`
89
90			parameter sh_addr = `GPIO_ADDRLH+1;
91	37	gorand	parameter gw = `GPIO_IOS ;
92	8	lampret	`//`
93			`// Count/report failed tests`
94			`//`
95			`task failed;`
96			`begin`
97			`$display("FAILED !!!");`
98			`nr_failed = nr_failed + 1;`
99			`end`
100			`endtask`
101
102			`//`
103			`// Set RGPIO_OUT register`
104			`//`
105			`task setout;`
106			`input [31:0] val;`
107
108	37	gorand	`reg [ 31:0 ] addr ;`
109	8	lampret	`begin`
110	37	gorand	addr = `GPIO_RGPIO_OUT <<sh_addr ;
111	47	gorand	#100 gpio_testbench.wb_master.wr(`GPIO_RGPIO_OUT<<sh_addr, val, 4'b1111);
112	37	gorand	`/* $display ( " addr : %h %h", addr, val ) ;`
113	47	gorand	`$display ( " out_pad : %h ", gpio_testbench.gpio_top.out_pad ) ;`
114			`$display ( " rgpio_aux : %h ", gpio_testbench.gpio_top.rgpio_aux) ;`
115			`$display ( " aux_i : %h ", gpio_testbench.gpio_top.aux_i ) ;`
116			`$display ( " rgpio_out : %h ", gpio_testbench.gpio_top.rgpio_out ) ;`
117	37	gorand	`*/`
118	8	lampret	`end`
119
120			`endtask`
121
122			`//`
123			`// Set RGPIO_OE register`
124			`//`
125			`task setoe;`
126			`input [31:0] val;`
127
128			`begin`
129	47	gorand	#100 gpio_testbench.wb_master.wr(`GPIO_RGPIO_OE<<sh_addr, val, 4'b1111);
130	8	lampret	`end`
131
132			`endtask`
133
134			`//`
135			`// Set RGPIO_INTE register`
136			`//`
137			`task setinte;`
138			`input [31:0] val;`
139
140			`begin`
141	47	gorand	#100 gpio_testbench.wb_master.wr(`GPIO_RGPIO_INTE<<sh_addr, val, 4'b1111);
142	8	lampret	`end`
143
144			`endtask`
145
146			`//`
147			`// Set RGPIO_PTRIG register`
148			`//`
149			`task setptrig;`
150			`input [31:0] val;`
151
152			`begin`
153	47	gorand	#100 gpio_testbench.wb_master.wr(`GPIO_RGPIO_PTRIG<<sh_addr, val, 4'b1111);
154	8	lampret	`end`
155
156			`endtask`
157
158			`//`
159			`// Set RGPIO_AUX register`
160			`//`
161			`task setaux;`
162			`input [31:0] val;`
163
164			`begin`
165	47	gorand	#100 gpio_testbench.wb_master.wr(`GPIO_RGPIO_AUX<<sh_addr, val, 4'b1111);
166	8	lampret	`end`
167
168			`endtask`
169
170			`//`
171			`// Set RGPIO_CTRL register`
172			`//`
173			`task setctrl;`
174			`input [31:0] val;`
175
176			`begin`
177	47	gorand	#100 gpio_testbench.wb_master.wr(`GPIO_RGPIO_CTRL<<sh_addr, val, 4'b1111);
178	8	lampret	`end`
179
180			`endtask`
181
182			`//`
183	21	lampret	`// Set RGPIO_INTS register`
184			`//`
185			`task setints;`
186			`input [31:0] val;`
187
188			`begin`
189	47	gorand	#100 gpio_testbench.wb_master.wr(`GPIO_RGPIO_INTS<<sh_addr, val, 4'b1111);
190	21	lampret	`end`
191
192			`endtask`
193
194			`//`
195	8	lampret	`// Display RGPIO_IN register`
196			`//`
197			`task showin;`
198
199			`reg [31:0] tmp;`
200			`begin`
201	47	gorand	#100 gpio_testbench.wb_master.rd(`GPIO_RGPIO_IN<<sh_addr, tmp);
202	8	lampret	`$write(" RGPIO_IN: %h", tmp);`
203			`end`
204
205			`endtask`
206
207			`//`
208			`// Display RGPIO_OUT register`
209			`//`
210			`task showout;`
211
212			`reg [31:0] tmp;`
213			`begin`
214	47	gorand	#100 gpio_testbench.wb_master.rd(`GPIO_RGPIO_OUT<<sh_addr, tmp);
215	8	lampret	`$write(" RGPIO_OUT: %h", tmp);`
216			`end`
217
218			`endtask`
219
220
221			`//`
222			`// Display RGPIO_OE register`
223			`//`
224			`task showoe;`
225
226			`reg [31:0] tmp;`
227			`begin`
228	47	gorand	#100 gpio_testbench.wb_master.rd(`GPIO_RGPIO_OE<<sh_addr, tmp);
229	8	lampret	`$write(" RGPIO_OE:%h", tmp);`
230			`end`
231
232			`endtask`
233
234			`//`
235			`// Display RGPIO_INTE register`
236			`//`
237			`task showinte;`
238
239			`reg [31:0] tmp;`
240			`begin`
241	47	gorand	#100 gpio_testbench.wb_master.rd(`GPIO_RGPIO_INTE<<sh_addr, tmp);
242	8	lampret	`$write(" RGPIO_INTE:%h", tmp);`
243			`end`
244
245			`endtask`
246
247			`//`
248			`// Display RGPIO_PTRIG register`
249			`//`
250			`task showptrig;`
251
252			`reg [31:0] tmp;`
253			`begin`
254	47	gorand	#100 gpio_testbench.wb_master.rd(`GPIO_RGPIO_PTRIG<<sh_addr, tmp);
255	8	lampret	`$write(" RGPIO_PTRIG:%h", tmp);`
256			`end`
257
258			`endtask`
259
260			`//`
261			`// Display RGPIO_AUX register`
262			`//`
263			`task showaux;`
264
265			`reg [31:0] tmp;`
266			`begin`
267	47	gorand	#100 gpio_testbench.wb_master.rd(`GPIO_RGPIO_AUX<<sh_addr, tmp);
268	8	lampret	`$write(" RGPIO_AUX:%h", tmp);`
269			`end`
270
271			`endtask`
272
273			`//`
274			`// Display RGPIO_CTRL register`
275			`//`
276			`task showctrl;`
277
278			`reg [31:0] tmp;`
279			`begin`
280	47	gorand	#100 gpio_testbench.wb_master.rd(`GPIO_RGPIO_CTRL<<sh_addr, tmp);
281	8	lampret	`$write(" RGPIO_CTRL: %h", tmp);`
282			`end`
283
284			`endtask`
285
286			`//`
287	21	lampret	`// Display RGPIO_INTS register`
288			`//`
289			`task showints;`
290
291			`reg [31:0] tmp;`
292			`begin`
293	47	gorand	#100 gpio_testbench.wb_master.rd(`GPIO_RGPIO_INTS<<sh_addr, tmp);
294	21	lampret	`$write(" RGPIO_INTS:%h", tmp);`
295			`end`
296
297			`endtask`
298
299			`//`
300	8	lampret	`// Compare parameter with RGPIO_IN register`
301			`//`
302			`task comp_in;`
303			`input [31:0] val;`
304			`output ret;`
305
306			`reg [31:0] tmp;`
307			`reg ret;`
308			`begin`
309	47	gorand	#100 gpio_testbench.wb_master.rd(`GPIO_RGPIO_IN<<sh_addr, tmp);
310	8	lampret
311			`if (tmp == val)`
312			`ret = 1;`
313			`else`
314			`ret = 0;`
315			`end`
316
317			`endtask`
318
319			`//`
320			`// Get RGPIO_IN register`
321			`//`
322			`task getin;`
323			`output [31:0] tmp;`
324
325			`begin`
326	47	gorand	#100 gpio_testbench.wb_master.rd(`GPIO_RGPIO_IN<<sh_addr, tmp);
327	8	lampret	`end`
328
329			`endtask`
330
331			`//`
332			`// Get RGPIO_OUT register`
333			`//`
334			`task getout;`
335			`output [31:0] tmp;`
336
337			`begin`
338	47	gorand	#100 gpio_testbench.wb_master.rd(`GPIO_RGPIO_OUT<<sh_addr, tmp);
339	8	lampret	`end`
340
341			`endtask`
342
343			`//`
344			`// Get RGPIO_OE register`
345			`//`
346			`task getoe;`
347			`output [31:0] tmp;`
348
349			`begin`
350	47	gorand	#100 gpio_testbench.wb_master.rd(`GPIO_RGPIO_OE<<sh_addr, tmp);
351	8	lampret	`end`
352
353			`endtask`
354
355			`//`
356			`// Get RGPIO_INTE register`
357			`//`
358			`task getinte;`
359			`output [31:0] tmp;`
360
361			`begin`
362	47	gorand	#100 gpio_testbench.wb_master.rd(`GPIO_RGPIO_INTE<<sh_addr, tmp);
363	8	lampret	`end`
364
365			`endtask`
366
367			`//`
368			`// Get RGPIO_PTRIG register`
369			`//`
370			`task getptrig;`
371			`output [31:0] tmp;`
372
373			`begin`
374	47	gorand	#100 gpio_testbench.wb_master.rd(`GPIO_RGPIO_PTRIG<<sh_addr, tmp);
375	8	lampret	`end`
376
377			`endtask`
378
379			`//`
380			`// Get RGPIO_AUX register`
381			`//`
382			`task getaux;`
383			`output [31:0] tmp;`
384
385			`begin`
386	47	gorand	#100 gpio_testbench.wb_master.rd(`GPIO_RGPIO_AUX<<sh_addr, tmp);
387	8	lampret	`end`
388
389			`endtask`
390
391			`//`
392			`// Get RGPIO_CTRL register`
393			`//`
394			`task getctrl;`
395			`output [31:0] tmp;`
396
397			`begin`
398	47	gorand	#100 gpio_testbench.wb_master.rd(`GPIO_RGPIO_CTRL<<sh_addr, tmp);
399	8	lampret	`end`
400
401			`endtask`
402
403			`//`
404	21	lampret	`// Get RGPIO_INTS register`
405			`//`
406			`task getints;`
407			`output [31:0] tmp;`
408
409			`begin`
410	47	gorand	#100 gpio_testbench.wb_master.rd(`GPIO_RGPIO_INTS<<sh_addr, tmp);
411	21	lampret	`end`
412
413			`endtask`
414
415			`//`
416	8	lampret	`// Calculate a random and make it narrow to fit on GPIO I/O pins`
417			`//`
418			`task random_gpio;`
419			`output [31:0] tmp;`
420
421			`begin`
422			tmp = $random & ((1<<`GPIO_IOS)-1);
423			`end`
424
425			`endtask`
426
427			`//`
428			`// Test operation of control bit RGPIO_CTRL[ECLK]`
429			`//`
430			`task test_eclk;`
431	37	gorand	`reg [gw-1:0 ] l1, l2, l3;`
432			`reg [gw-1:0 ] r1, r2, r3;`
433	8	lampret	`begin`
434
435	18	lampret	`// Set external clock to low state`
436	47	gorand	`gpio_testbench.gpio_mon.set_gpioeclk(0);`
437			`@(posedge gpio_testbench.clk);`
438			`@(posedge gpio_testbench.clk);`
439	18	lampret
440	8	lampret	`//`
441			`// Phase 1`
442			`//`
443			`// GPIO uses WISHBONE clock to latch gpio_in`
444			`//`
445
446			`// Put something on gpio_in pins`
447			`random_gpio(r1);`
448	47	gorand	`gpio_testbench.gpio_mon.set_gpioin(r1);`
449	8	lampret
450			`// Reset GPIO_CTRL`
451			`setctrl(0);`
452
453			`// Wait for time to advance`
454	47	gorand	`@(posedge gpio_testbench.clk);`
455			`@(posedge gpio_testbench.clk);`
456	8	lampret
457			`// Read GPIO_RGPIO_IN`
458			`getin(l1);`
459
460			`//`
461			`// Phase 2`
462			`//`
463			`// GPIO uses external clock to latch gpio_in`
464			`//`
465
466	18	lampret	`// Set GPIO to use external clock, NEC bit cleared`
467	8	lampret	setctrl(1 << `GPIO_RGPIO_CTRL_ECLK);
468
469			`// Put something else on gpio_in pins`
470			`random_gpio(r2);`
471	47	gorand	`gpio_testbench.gpio_mon.set_gpioin(r2);`
472	8	lampret
473	18	lampret	`// Make an external posedge clock pulse`
474	47	gorand	`gpio_testbench.gpio_mon.set_gpioeclk(0);`
475			`@(posedge gpio_testbench.clk);`
476			`@(posedge gpio_testbench.clk);`
477			`gpio_testbench.gpio_mon.set_gpioeclk(1);`
478			`@(posedge gpio_testbench.clk);`
479			`@(posedge gpio_testbench.clk);`
480	8	lampret
481	18	lampret	`// Read RGPIO_IN`
482	8	lampret	`getin(l2);`
483
484	18	lampret	`//`
485			`// Phase 3`
486			`//`
487			`// Change GPIO inputs and WB clock but not external clock.`
488			`// RGPIO_IN should not change.`
489			`//`
490	8	lampret
491	18	lampret	`// Put something else on gpio_in pins`
492			`random_gpio(r3);`
493	47	gorand	`gpio_testbench.gpio_mon.set_gpioin(r3);`
494	18	lampret
495			`// Wait for WB clock`
496	47	gorand	`@(posedge gpio_testbench.clk);`
497			`@(posedge gpio_testbench.clk);`
498	18	lampret
499			`// Read RGPIO_IN`
500	8	lampret	`getin(l3);`

Browse

Tools

Subversion Repositories gpio

[/] [gpio/] [trunk/] [bench/] [verilog/] [tb_tasks.v] - Blame information for rev 47