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

Subversion Repositories test_project

[/] [test_project/] [trunk/] [bench/] [verilog/] [or1200_monitor.v] - Blame information for rev 30

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


//////////////////////////////////////////////////////////////////////
////                                                              ////
////  OR1200's simulation monitor                                 ////
////                                                              ////
////  This file is part of the OpenRISC 1200 project              ////
////  http://www.opencores.org/cores/or1k/                        ////
////                                                              ////
////  Description                                                 ////
////  Simulation monitor                                          ////
////                                                              ////
////  To Do:                                                      ////
////   - move it to bench                                         ////
////                                                              ////
////  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: or1200_monitor.v,v $
// Revision 1.4  2004/04/05 08:46:06  lampret
// Merged branch_qmem into main tree.
//
// Revision 1.3  2003/04/07 01:32:53  lampret
// Added get_gpr support for OR1200_RFRAM_GENERIC
//
// Revision 1.2  2002/08/12 05:38:11  lampret
// Added more WISHBONE protocol checks. Removed nop.log. Added general.log and lookup.log.
//
// Revision 1.1  2002/03/28 19:59:55  lampret
// Added bench directory
//
// Revision 1.9  2002/02/01 19:56:54  lampret
// Fixed combinational loops.
//
// Revision 1.8  2002/01/28 01:25:22  lampret
// Fixed display of new 'void' nop insns.
//
// Revision 1.7  2002/01/19 14:10:39  lampret
// Fixed OR1200_XILINX_RAM32X1D.
//
// Revision 1.6  2002/01/18 07:57:56  lampret
// Added support for reading XILINX_RAM32X1D register file.
//
// Revision 1.5  2002/01/14 06:19:35  lampret
// Added debug model for testing du. Updated or1200_monitor.
//
// Revision 1.4  2002/01/03 08:40:15  lampret
// Added second clock as RISC main clock. Updated or120_monitor.
//
// Revision 1.3  2001/11/23 08:50:35  lampret
// Typos.
//
// Revision 1.2  2001/11/10 04:22:55  lampret
// Modified monitor tu support exceptions.
//
// Revision 1.1.1.1  2001/11/04 18:51:07  lampret
// First import.
//
// Revision 1.1  2001/08/20 18:17:52  damjan
// Initial revision
//
// Revision 1.1  2001/08/13 03:37:07  lampret
// Added monitor.v and timescale.v
//
// Revision 1.1  2001/07/20 00:46:03  lampret
// Development version of RTL. Libraries are missing.
//
//
 
`include "or1200_defines.v"
`include "orpsoc_testbench_defines.v"
 
//
// Top of OR1200 inside test bench
//
`define OR1200_TOP orpsoc_testbench.dut.i_or1k.i_or1200_top
 
//
// Enable display_arch_state task
//
`define OR1200_DISPLAY_ARCH_STATE
 
module or1200_monitor;
 
integer fexe;
reg [23:0]  ref;
integer fspr;
integer fgeneral;
integer flookup;
integer r3;
integer insns;
 
//
// Initialization
//
   initial begin
 
      ref = 0;
      fexe = $fopen({`TESTBENCH_RESULTS_DIR,"`TEST_NAME_STRING","-executed.log"});
      $timeformat (-9, 2, " ns", 12);
      fspr = $fopen({`TESTBENCH_RESULTS_DIR,"`TEST_NAME_STRING","-sprs.log"});
      fgeneral = $fopen({`TESTBENCH_RESULTS_DIR,"`TEST_NAME_STRING","-general.log"});
      flookup = $fopen({`TESTBENCH_RESULTS_DIR,"`TEST_NAME_STRING","-lookup.log"});
      insns = 0;
 
   end
 
//
// Get GPR
//
task get_gpr;
input   [4:0]    gpr_no;
output  [31:0]   gpr;
integer j;
begin
`ifdef OR1200_RFRAM_GENERIC
        for(j = 0; j < 32; j = j + 1) begin
                gpr[j] = `OR1200_TOP.or1200_cpu.or1200_rf.rf_a.mem[gpr_no*32+j];
        end
`else
`ifdef OR1200_XILINX_RAM32X1D
                gpr[0] = `OR1200_TOP.or1200_cpu.or1200_rf.rf_a.xcv_ram32x8d_0.ram32x1d_0.mem[gpr_no];
                gpr[1] = `OR1200_TOP.or1200_cpu.or1200_rf.rf_a.xcv_ram32x8d_0.ram32x1d_1.mem[gpr_no];
                gpr[2] = `OR1200_TOP.or1200_cpu.or1200_rf.rf_a.xcv_ram32x8d_0.ram32x1d_2.mem[gpr_no];
                gpr[3] = `OR1200_TOP.or1200_cpu.or1200_rf.rf_a.xcv_ram32x8d_0.ram32x1d_3.mem[gpr_no];
                gpr[4] = `OR1200_TOP.or1200_cpu.or1200_rf.rf_a.xcv_ram32x8d_0.ram32x1d_4.mem[gpr_no];
                gpr[5] = `OR1200_TOP.or1200_cpu.or1200_rf.rf_a.xcv_ram32x8d_0.ram32x1d_5.mem[gpr_no];
                gpr[6] = `OR1200_TOP.or1200_cpu.or1200_rf.rf_a.xcv_ram32x8d_0.ram32x1d_6.mem[gpr_no];
                gpr[7] = `OR1200_TOP.or1200_cpu.or1200_rf.rf_a.xcv_ram32x8d_0.ram32x1d_7.mem[gpr_no];
                gpr[8] = `OR1200_TOP.or1200_cpu.or1200_rf.rf_a.xcv_ram32x8d_1.ram32x1d_0.mem[gpr_no];
                gpr[9] = `OR1200_TOP.or1200_cpu.or1200_rf.rf_a.xcv_ram32x8d_1.ram32x1d_1.mem[gpr_no];
                gpr[10] = `OR1200_TOP.or1200_cpu.or1200_rf.rf_a.xcv_ram32x8d_1.ram32x1d_2.mem[gpr_no];
                gpr[11] = `OR1200_TOP.or1200_cpu.or1200_rf.rf_a.xcv_ram32x8d_1.ram32x1d_3.mem[gpr_no];
                gpr[12] = `OR1200_TOP.or1200_cpu.or1200_rf.rf_a.xcv_ram32x8d_1.ram32x1d_4.mem[gpr_no];
                gpr[13] = `OR1200_TOP.or1200_cpu.or1200_rf.rf_a.xcv_ram32x8d_1.ram32x1d_5.mem[gpr_no];
                gpr[14] = `OR1200_TOP.or1200_cpu.or1200_rf.rf_a.xcv_ram32x8d_1.ram32x1d_6.mem[gpr_no];
                gpr[15] = `OR1200_TOP.or1200_cpu.or1200_rf.rf_a.xcv_ram32x8d_1.ram32x1d_7.mem[gpr_no];
                gpr[16] = `OR1200_TOP.or1200_cpu.or1200_rf.rf_a.xcv_ram32x8d_2.ram32x1d_0.mem[gpr_no];
                gpr[17] = `OR1200_TOP.or1200_cpu.or1200_rf.rf_a.xcv_ram32x8d_2.ram32x1d_1.mem[gpr_no];
                gpr[18] = `OR1200_TOP.or1200_cpu.or1200_rf.rf_a.xcv_ram32x8d_2.ram32x1d_2.mem[gpr_no];
                gpr[19] = `OR1200_TOP.or1200_cpu.or1200_rf.rf_a.xcv_ram32x8d_2.ram32x1d_3.mem[gpr_no];
                gpr[20] = `OR1200_TOP.or1200_cpu.or1200_rf.rf_a.xcv_ram32x8d_2.ram32x1d_4.mem[gpr_no];
                gpr[21] = `OR1200_TOP.or1200_cpu.or1200_rf.rf_a.xcv_ram32x8d_2.ram32x1d_5.mem[gpr_no];
                gpr[22] = `OR1200_TOP.or1200_cpu.or1200_rf.rf_a.xcv_ram32x8d_2.ram32x1d_6.mem[gpr_no];
                gpr[23] = `OR1200_TOP.or1200_cpu.or1200_rf.rf_a.xcv_ram32x8d_2.ram32x1d_7.mem[gpr_no];
                gpr[24] = `OR1200_TOP.or1200_cpu.or1200_rf.rf_a.xcv_ram32x8d_3.ram32x1d_0.mem[gpr_no];
                gpr[25] = `OR1200_TOP.or1200_cpu.or1200_rf.rf_a.xcv_ram32x8d_3.ram32x1d_1.mem[gpr_no];
                gpr[26] = `OR1200_TOP.or1200_cpu.or1200_rf.rf_a.xcv_ram32x8d_3.ram32x1d_2.mem[gpr_no];
                gpr[27] = `OR1200_TOP.or1200_cpu.or1200_rf.rf_a.xcv_ram32x8d_3.ram32x1d_3.mem[gpr_no];
                gpr[28] = `OR1200_TOP.or1200_cpu.or1200_rf.rf_a.xcv_ram32x8d_3.ram32x1d_4.mem[gpr_no];
                gpr[29] = `OR1200_TOP.or1200_cpu.or1200_rf.rf_a.xcv_ram32x8d_3.ram32x1d_5.mem[gpr_no];
                gpr[30] = `OR1200_TOP.or1200_cpu.or1200_rf.rf_a.xcv_ram32x8d_3.ram32x1d_6.mem[gpr_no];
                gpr[31] = `OR1200_TOP.or1200_cpu.or1200_rf.rf_a.xcv_ram32x8d_3.ram32x1d_7.mem[gpr_no];
`else
`ifdef OR1200_XILINX_RAMB4
        for(j = 0; j < 16; j = j + 1) begin
                gpr[j] = `OR1200_TOP.or1200_cpu.or1200_rf.rf_a.ramb4_s16_0.mem[gpr_no*16+j];
        end
        for(j = 0; j < 16; j = j + 1) begin
                gpr[j+16] = `OR1200_TOP.or1200_cpu.or1200_rf.rf_a.ramb4_s16_1.mem[gpr_no*16+j];
        end
`else
`ifdef OR1200_ARTISAN_SDP
`else
        gpr = `OR1200_TOP.or1200_cpu.or1200_rf.rf_a.mem[gpr_no];
`endif
`endif
`endif
`endif
end
endtask
 
//
// Write state of the OR1200 registers into a file
//
// Limitation: only a small subset of register file RAMs
// are supported
//
task display_arch_state;
reg [5:0] i;
reg [31:0] r;
integer j;
begin
`ifdef OR1200_DISPLAY_ARCH_STATE
        ref = ref + 1;
        $fdisplay(flookup, "Instruction %d: %t", insns, $time);
        $fwrite(fexe, "\nEXECUTED(%d): %h:  %h", insns, `OR1200_TOP.or1200_cpu.or1200_except.wb_pc, `OR1200_TOP.or1200_cpu.or1200_ctrl.wb_insn);
        for(i = 0; i < 32; i = i + 1) begin
                if (i % 4 == 0)
                        $fdisplay(fexe);
                get_gpr(i, r);
                $fwrite(fexe, "GPR%d: %h  ", i, r);
        end
        $fdisplay(fexe);
        r = `OR1200_TOP.or1200_cpu.or1200_sprs.sr;
        $fwrite(fexe, "SR   : %h  ", r);
        r = `OR1200_TOP.or1200_cpu.or1200_sprs.epcr;
        $fwrite(fexe, "EPCR0: %h  ", r);
        r = `OR1200_TOP.or1200_cpu.or1200_sprs.eear;
        $fwrite(fexe, "EEAR0: %h  ", r);
        r = `OR1200_TOP.or1200_cpu.or1200_sprs.esr;
        $fdisplay(fexe, "ESR0 : %h", r);
        insns = insns + 1;
`endif
end
endtask
 
//
// Write state of the OR1200 registers into a file; version for exception
//
task display_arch_state_except;
reg [5:0] i;
reg [31:0] r;
integer j;
begin
`ifdef OR1200_DISPLAY_ARCH_STATE
        ref = ref + 1;
        $fdisplay(flookup, "Instruction %d: %t", insns, $time);
        $fwrite(fexe, "\nEXECUTED(%d): %h:  %h  (exception)", insns, `OR1200_TOP.or1200_cpu.or1200_except.ex_pc, `OR1200_TOP.or1200_cpu.or1200_ctrl.ex_insn);
        for(i = 0; i < 32; i = i + 1) begin
                if (i % 4 == 0)
                        $fdisplay(fexe);
                get_gpr(i, r);
                $fwrite(fexe, "GPR%d: %h  ", i, r);
        end
        $fdisplay(fexe);
        r = `OR1200_TOP.or1200_cpu.or1200_sprs.sr;
        $fwrite(fexe, "SR   : %h  ", r);
        r = `OR1200_TOP.or1200_cpu.or1200_sprs.epcr;
        $fwrite(fexe, "EPCR0: %h  ", r);
        r = `OR1200_TOP.or1200_cpu.or1200_sprs.eear;
        $fwrite(fexe, "EEAR0: %h  ", r);
        r = `OR1200_TOP.or1200_cpu.or1200_sprs.esr;
        $fdisplay(fexe, "ESR0 : %h", r);
        insns = insns + 1;
`endif
end
endtask
 
integer iwb_progress;
reg [31:0] iwb_progress_addr;
//
// WISHBONE bus checker
//
always @(posedge `OR1200_TOP.iwb_clk_i)
        if (`OR1200_TOP.iwb_rst_i) begin
                iwb_progress = 0;
                iwb_progress_addr = `OR1200_TOP.iwb_adr_o;
        end
        else begin
                if (`OR1200_TOP.iwb_cyc_o && (iwb_progress != 2)) begin
                        iwb_progress = 1;
                end
                if (`OR1200_TOP.iwb_stb_o) begin
                        if (iwb_progress >= 1) begin
                                if (iwb_progress == 1)
                                        iwb_progress_addr = `OR1200_TOP.iwb_adr_o;
                                iwb_progress = 2;
                        end
                        else begin
                                $fdisplay(fgeneral, "WISHBONE protocol violation: `OR1200_TOP.iwb_stb_o raised without `OR1200_TOP.iwb_cyc_o, at %t\n", $time);
                                #100 $finish;
                        end
                end
                if (`OR1200_TOP.iwb_ack_i & `OR1200_TOP.iwb_err_i) begin
                        $fdisplay(fgeneral, "WISHBONE protocol violation: `OR1200_TOP.iwb_ack_i and `OR1200_TOP.iwb_err_i raised at the same time, at %t\n", $time);
                end
                if ((iwb_progress == 2) && (iwb_progress_addr != `OR1200_TOP.iwb_adr_o)) begin
                        $fdisplay(fgeneral, "WISHBONE protocol violation: `OR1200_TOP.iwb_adr_o changed while waiting for `OR1200_TOP.iwb_err_i/`OR1200_TOP.iwb_ack_i, at %t\n", $time);
                        #100 $finish;
                end
                if (`OR1200_TOP.iwb_ack_i | `OR1200_TOP.iwb_err_i)
                        if (iwb_progress == 2) begin
                                iwb_progress = 0;
                                iwb_progress_addr = `OR1200_TOP.iwb_adr_o;
                        end
                        else begin
                                $fdisplay(fgeneral, "WISHBONE protocol violation: `OR1200_TOP.iwb_ack_i/`OR1200_TOP.iwb_err_i raised without `OR1200_TOP.iwb_cyc_i/`OR1200_TOP.iwb_stb_i, at %t\n", $time);
                                #100 $finish;
                        end
                if ((iwb_progress == 2) && !`OR1200_TOP.iwb_stb_o) begin
                        $fdisplay(fgeneral, "WISHBONE protocol violation: `OR1200_TOP.iwb_stb_o lowered without `OR1200_TOP.iwb_err_i/`OR1200_TOP.iwb_ack_i, at %t\n", $time);
/*                      #100 $finish;*/
                end
        end
 
integer dwb_progress;
reg [31:0] dwb_progress_addr;
//
// WISHBONE bus checker
//
always @(posedge `OR1200_TOP.dwb_clk_i)
        if (`OR1200_TOP.dwb_rst_i)
                dwb_progress = 0;
        else begin
                if (`OR1200_TOP.dwb_cyc_o && (dwb_progress != 2))
                        dwb_progress = 1;
                if (`OR1200_TOP.dwb_stb_o)
                        if (dwb_progress >= 1) begin
                                if (dwb_progress == 1)
                                        dwb_progress_addr = `OR1200_TOP.dwb_adr_o;
                                dwb_progress = 2;
                        end
                        else begin
                                $fdisplay(fgeneral, "WISHBONE protocol violation: `OR1200_TOP.dwb_stb_o raised without `OR1200_TOP.dwb_cyc_o, at %t\n", $time);
                                #100 $finish;
                        end
                if (`OR1200_TOP.dwb_ack_i & `OR1200_TOP.dwb_err_i) begin
                        $fdisplay(fgeneral, "WISHBONE protocol violation: `OR1200_TOP.dwb_ack_i and `OR1200_TOP.dwb_err_i raised at the same time, at %t\n", $time);
                end
                if ((dwb_progress == 2) && (dwb_progress_addr != `OR1200_TOP.dwb_adr_o)) begin
                        $fdisplay(fgeneral, "WISHBONE protocol violation: `OR1200_TOP.dwb_adr_o changed while waiting for `OR1200_TOP.dwb_err_i/`OR1200_TOP.dwb_ack_i, at %t\n", $time);
                        #100 $finish;
                end
                if (`OR1200_TOP.dwb_ack_i | `OR1200_TOP.dwb_err_i)
                        if (dwb_progress == 2) begin
                                dwb_progress = 0;
                                dwb_progress_addr = `OR1200_TOP.dwb_adr_o;
                        end
                        else begin
                                $fdisplay(fgeneral, "WISHBONE protocol violation: `OR1200_TOP.dwb_ack_i/`OR1200_TOP.dwb_err_i raised without `OR1200_TOP.dwb_cyc_i/`OR1200_TOP.dwb_stb_i, at %t\n", $time);
                                #100 $finish;
                        end
                if ((dwb_progress == 2) && !`OR1200_TOP.dwb_stb_o) begin
                        $fdisplay(fgeneral, "WISHBONE protocol violation: `OR1200_TOP.dwb_stb_o lowered without `OR1200_TOP.dwb_err_i/`OR1200_TOP.dwb_ack_i, at %t\n", $time);
                        #100 $finish;
                end
        end
 
//
// Hooks for:
// - displaying registers
// - end of simulation
// - access to SPRs
//
always @(posedge `OR1200_TOP.or1200_cpu.or1200_ctrl.clk)
        if (!`OR1200_TOP.or1200_cpu.or1200_ctrl.wb_freeze) begin
                #2;
                if (((`OR1200_TOP.or1200_cpu.or1200_ctrl.wb_insn[31:26] != `OR1200_OR32_NOP) || !`OR1200_TOP.or1200_cpu.or1200_ctrl.wb_insn[16])
                        && !(`OR1200_TOP.or1200_cpu.or1200_except.except_flushpipe && `OR1200_TOP.or1200_cpu.or1200_except.ex_dslot))
                        display_arch_state;
                else
                if (`OR1200_TOP.or1200_cpu.or1200_except.except_flushpipe)
                        display_arch_state_except;
                if (`OR1200_TOP.or1200_cpu.or1200_ctrl.wb_insn == 32'h1500_0001) begin // small hack to stop simulation (l.nop 1)
                        get_gpr(3, r3);
                        $fdisplay(fgeneral, "%t: l.nop exit (%h)", $time, r3);
                        $finish;
                end
                if (`OR1200_TOP.or1200_cpu.or1200_ctrl.wb_insn == 32'h1500_000a) begin // debug if test (l.nop 10)
                        $fdisplay(fgeneral, "%t: l.nop dbg_if_test", $time);
`ifdef DBG_IF_MODEL
                        xess_top.i_xess_fpga.dbg_if_model.dbg_if_test_go = 1;
`endif
                end
                if (`OR1200_TOP.or1200_cpu.or1200_ctrl.wb_insn == 32'h1500_0002) begin // simulation reports (l.nop 2)
                        get_gpr(3, r3);
                        $fdisplay(fgeneral, "%t: l.nop report (%h)", $time, r3);
                end
                if (`OR1200_TOP.or1200_cpu.or1200_ctrl.wb_insn == 32'h1500_0003) begin // simulation printfs (l.nop 3)
                        get_gpr(3, r3);
                        $fdisplay(fgeneral, "%t: l.nop printf (%h)", $time, r3);
                end
                if (`OR1200_TOP.or1200_cpu.or1200_sprs.sprs_op == `OR1200_ALUOP_MTSR)  // l.mtspr
                        $fdisplay(fspr, "%t: Write to SPR : [%h] <- %h", $time,
                        `OR1200_TOP.or1200_cpu.or1200_sprs.spr_addr, `OR1200_TOP.or1200_cpu.or1200_sprs.spr_dat_o);
                if (`OR1200_TOP.or1200_cpu.or1200_sprs.sprs_op == `OR1200_ALUOP_MFSR)  // l.mfspr
                        $fdisplay(fspr, "%t: Read from SPR: [%h] -> %h", $time,
                        `OR1200_TOP.or1200_cpu.or1200_sprs.spr_addr, `OR1200_TOP.or1200_cpu.or1200_sprs.to_wbmux);
        end
 
endmodule

Browse

Tools

Subversion Repositories test_project

[/] [test_project/] [trunk/] [bench/] [verilog/] [or1200_monitor.v] - Blame information for rev 30

Line No.	Rev	Author	Line
1	30	julius	`//////////////////////////////////////////////////////////////////////`
2			`//// ////`
3			`//// OR1200's simulation monitor ////`
4			`//// ////`
5			`//// This file is part of the OpenRISC 1200 project ////`
6			`//// http://www.opencores.org/cores/or1k/ ////`
7			`//// ////`
8			`//// Description ////`
9			`//// Simulation monitor ////`
10			`//// ////`
11			`//// To Do: ////`
12			`//// - move it to bench ////`
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: or1200_monitor.v,v $`
47			`// Revision 1.4 2004/04/05 08:46:06 lampret`
48			`// Merged branch_qmem into main tree.`
49			`//`
50			`// Revision 1.3 2003/04/07 01:32:53 lampret`
51			`// Added get_gpr support for OR1200_RFRAM_GENERIC`
52			`//`
53			`// Revision 1.2 2002/08/12 05:38:11 lampret`
54			`// Added more WISHBONE protocol checks. Removed nop.log. Added general.log and lookup.log.`
55			`//`
56			`// Revision 1.1 2002/03/28 19:59:55 lampret`
57			`// Added bench directory`
58			`//`
59			`// Revision 1.9 2002/02/01 19:56:54 lampret`
60			`// Fixed combinational loops.`
61			`//`
62			`// Revision 1.8 2002/01/28 01:25:22 lampret`
63			`// Fixed display of new 'void' nop insns.`
64			`//`
65			`// Revision 1.7 2002/01/19 14:10:39 lampret`
66			`// Fixed OR1200_XILINX_RAM32X1D.`
67			`//`
68			`// Revision 1.6 2002/01/18 07:57:56 lampret`
69			`// Added support for reading XILINX_RAM32X1D register file.`
70			`//`
71			`// Revision 1.5 2002/01/14 06:19:35 lampret`
72			`// Added debug model for testing du. Updated or1200_monitor.`
73			`//`
74			`// Revision 1.4 2002/01/03 08:40:15 lampret`
75			`// Added second clock as RISC main clock. Updated or120_monitor.`
76			`//`
77			`// Revision 1.3 2001/11/23 08:50:35 lampret`
78			`// Typos.`
79			`//`
80			`// Revision 1.2 2001/11/10 04:22:55 lampret`
81			`// Modified monitor tu support exceptions.`
82			`//`
83			`// Revision 1.1.1.1 2001/11/04 18:51:07 lampret`
84			`// First import.`
85			`//`
86			`// Revision 1.1 2001/08/20 18:17:52 damjan`
87			`// Initial revision`
88			`//`
89			`// Revision 1.1 2001/08/13 03:37:07 lampret`
90			`// Added monitor.v and timescale.v`
91			`//`
92			`// Revision 1.1 2001/07/20 00:46:03 lampret`
93			`// Development version of RTL. Libraries are missing.`
94			`//`
95			`//`
96
97			`include "or1200_defines.v"
98			`include "orpsoc_testbench_defines.v"
99
100			`//`
101			`// Top of OR1200 inside test bench`
102			`//`
103			`define OR1200_TOP orpsoc_testbench.dut.i_or1k.i_or1200_top
104
105			`//`
106			`// Enable display_arch_state task`
107			`//`
108			`define OR1200_DISPLAY_ARCH_STATE
109
110			`module or1200_monitor;`
111
112			`integer fexe;`
113			`reg [23:0] ref;`
114			`integer fspr;`
115			`integer fgeneral;`
116			`integer flookup;`
117			`integer r3;`
118			`integer insns;`
119
120			`//`
121			`// Initialization`
122			`//`
123			`initial begin`
124
125			`ref = 0;`
126			fexe = $fopen({`TESTBENCH_RESULTS_DIR,"`TEST_NAME_STRING","-executed.log"});
127			`$timeformat (-9, 2, " ns", 12);`
128			fspr = $fopen({`TESTBENCH_RESULTS_DIR,"`TEST_NAME_STRING","-sprs.log"});
129			fgeneral = $fopen({`TESTBENCH_RESULTS_DIR,"`TEST_NAME_STRING","-general.log"});
130			flookup = $fopen({`TESTBENCH_RESULTS_DIR,"`TEST_NAME_STRING","-lookup.log"});
131			`insns = 0;`
132
133			`end`
134
135			`//`
136			`// Get GPR`
137			`//`
138			`task get_gpr;`
139			`input [4:0] gpr_no;`
140			`output [31:0] gpr;`
141			`integer j;`
142			`begin`
143			`ifdef OR1200_RFRAM_GENERIC
144			`for(j = 0; j < 32; j = j + 1) begin`
145			gpr[j] = `OR1200_TOP.or1200_cpu.or1200_rf.rf_a.mem[gpr_no*32+j];
146			`end`
147			`else
148			`ifdef OR1200_XILINX_RAM32X1D
149			gpr[0] = `OR1200_TOP.or1200_cpu.or1200_rf.rf_a.xcv_ram32x8d_0.ram32x1d_0.mem[gpr_no];
150			gpr[1] = `OR1200_TOP.or1200_cpu.or1200_rf.rf_a.xcv_ram32x8d_0.ram32x1d_1.mem[gpr_no];
151			gpr[2] = `OR1200_TOP.or1200_cpu.or1200_rf.rf_a.xcv_ram32x8d_0.ram32x1d_2.mem[gpr_no];
152			gpr[3] = `OR1200_TOP.or1200_cpu.or1200_rf.rf_a.xcv_ram32x8d_0.ram32x1d_3.mem[gpr_no];
153			gpr[4] = `OR1200_TOP.or1200_cpu.or1200_rf.rf_a.xcv_ram32x8d_0.ram32x1d_4.mem[gpr_no];
154			gpr[5] = `OR1200_TOP.or1200_cpu.or1200_rf.rf_a.xcv_ram32x8d_0.ram32x1d_5.mem[gpr_no];
155			gpr[6] = `OR1200_TOP.or1200_cpu.or1200_rf.rf_a.xcv_ram32x8d_0.ram32x1d_6.mem[gpr_no];
156			gpr[7] = `OR1200_TOP.or1200_cpu.or1200_rf.rf_a.xcv_ram32x8d_0.ram32x1d_7.mem[gpr_no];
157			gpr[8] = `OR1200_TOP.or1200_cpu.or1200_rf.rf_a.xcv_ram32x8d_1.ram32x1d_0.mem[gpr_no];
158			gpr[9] = `OR1200_TOP.or1200_cpu.or1200_rf.rf_a.xcv_ram32x8d_1.ram32x1d_1.mem[gpr_no];
159			gpr[10] = `OR1200_TOP.or1200_cpu.or1200_rf.rf_a.xcv_ram32x8d_1.ram32x1d_2.mem[gpr_no];
160			gpr[11] = `OR1200_TOP.or1200_cpu.or1200_rf.rf_a.xcv_ram32x8d_1.ram32x1d_3.mem[gpr_no];
161			gpr[12] = `OR1200_TOP.or1200_cpu.or1200_rf.rf_a.xcv_ram32x8d_1.ram32x1d_4.mem[gpr_no];
162			gpr[13] = `OR1200_TOP.or1200_cpu.or1200_rf.rf_a.xcv_ram32x8d_1.ram32x1d_5.mem[gpr_no];
163			gpr[14] = `OR1200_TOP.or1200_cpu.or1200_rf.rf_a.xcv_ram32x8d_1.ram32x1d_6.mem[gpr_no];
164			gpr[15] = `OR1200_TOP.or1200_cpu.or1200_rf.rf_a.xcv_ram32x8d_1.ram32x1d_7.mem[gpr_no];
165			gpr[16] = `OR1200_TOP.or1200_cpu.or1200_rf.rf_a.xcv_ram32x8d_2.ram32x1d_0.mem[gpr_no];
166			gpr[17] = `OR1200_TOP.or1200_cpu.or1200_rf.rf_a.xcv_ram32x8d_2.ram32x1d_1.mem[gpr_no];
167			gpr[18] = `OR1200_TOP.or1200_cpu.or1200_rf.rf_a.xcv_ram32x8d_2.ram32x1d_2.mem[gpr_no];
168			gpr[19] = `OR1200_TOP.or1200_cpu.or1200_rf.rf_a.xcv_ram32x8d_2.ram32x1d_3.mem[gpr_no];
169			gpr[20] = `OR1200_TOP.or1200_cpu.or1200_rf.rf_a.xcv_ram32x8d_2.ram32x1d_4.mem[gpr_no];
170			gpr[21] = `OR1200_TOP.or1200_cpu.or1200_rf.rf_a.xcv_ram32x8d_2.ram32x1d_5.mem[gpr_no];
171			gpr[22] = `OR1200_TOP.or1200_cpu.or1200_rf.rf_a.xcv_ram32x8d_2.ram32x1d_6.mem[gpr_no];
172			gpr[23] = `OR1200_TOP.or1200_cpu.or1200_rf.rf_a.xcv_ram32x8d_2.ram32x1d_7.mem[gpr_no];
173			gpr[24] = `OR1200_TOP.or1200_cpu.or1200_rf.rf_a.xcv_ram32x8d_3.ram32x1d_0.mem[gpr_no];
174			gpr[25] = `OR1200_TOP.or1200_cpu.or1200_rf.rf_a.xcv_ram32x8d_3.ram32x1d_1.mem[gpr_no];
175			gpr[26] = `OR1200_TOP.or1200_cpu.or1200_rf.rf_a.xcv_ram32x8d_3.ram32x1d_2.mem[gpr_no];
176			gpr[27] = `OR1200_TOP.or1200_cpu.or1200_rf.rf_a.xcv_ram32x8d_3.ram32x1d_3.mem[gpr_no];
177			gpr[28] = `OR1200_TOP.or1200_cpu.or1200_rf.rf_a.xcv_ram32x8d_3.ram32x1d_4.mem[gpr_no];
178			gpr[29] = `OR1200_TOP.or1200_cpu.or1200_rf.rf_a.xcv_ram32x8d_3.ram32x1d_5.mem[gpr_no];
179			gpr[30] = `OR1200_TOP.or1200_cpu.or1200_rf.rf_a.xcv_ram32x8d_3.ram32x1d_6.mem[gpr_no];
180			gpr[31] = `OR1200_TOP.or1200_cpu.or1200_rf.rf_a.xcv_ram32x8d_3.ram32x1d_7.mem[gpr_no];
181			`else
182			`ifdef OR1200_XILINX_RAMB4
183			`for(j = 0; j < 16; j = j + 1) begin`
184			gpr[j] = `OR1200_TOP.or1200_cpu.or1200_rf.rf_a.ramb4_s16_0.mem[gpr_no*16+j];
185			`end`
186			`for(j = 0; j < 16; j = j + 1) begin`
187			gpr[j+16] = `OR1200_TOP.or1200_cpu.or1200_rf.rf_a.ramb4_s16_1.mem[gpr_no*16+j];
188			`end`
189			`else
190			`ifdef OR1200_ARTISAN_SDP
191			`else
192			gpr = `OR1200_TOP.or1200_cpu.or1200_rf.rf_a.mem[gpr_no];
193			`endif
194			`endif
195			`endif
196			`endif
197			`end`
198			`endtask`
199
200			`//`
201			`// Write state of the OR1200 registers into a file`
202			`//`
203			`// Limitation: only a small subset of register file RAMs`
204			`// are supported`
205			`//`
206			`task display_arch_state;`
207			`reg [5:0] i;`
208			`reg [31:0] r;`
209			`integer j;`
210			`begin`
211			`ifdef OR1200_DISPLAY_ARCH_STATE
212			`ref = ref + 1;`
213			`$fdisplay(flookup, "Instruction %d: %t", insns, $time);`
214			$fwrite(fexe, "\nEXECUTED(%d): %h: %h", insns, `OR1200_TOP.or1200_cpu.or1200_except.wb_pc, `OR1200_TOP.or1200_cpu.or1200_ctrl.wb_insn);
215			`for(i = 0; i < 32; i = i + 1) begin`
216			`if (i % 4 == 0)`
217			`$fdisplay(fexe);`
218			`get_gpr(i, r);`
219			`$fwrite(fexe, "GPR%d: %h ", i, r);`
220			`end`
221			`$fdisplay(fexe);`
222			r = `OR1200_TOP.or1200_cpu.or1200_sprs.sr;
223			`$fwrite(fexe, "SR : %h ", r);`
224			r = `OR1200_TOP.or1200_cpu.or1200_sprs.epcr;
225			`$fwrite(fexe, "EPCR0: %h ", r);`
226			r = `OR1200_TOP.or1200_cpu.or1200_sprs.eear;
227			`$fwrite(fexe, "EEAR0: %h ", r);`
228			r = `OR1200_TOP.or1200_cpu.or1200_sprs.esr;
229			`$fdisplay(fexe, "ESR0 : %h", r);`
230			`insns = insns + 1;`
231			`endif
232			`end`
233			`endtask`
234
235			`//`
236			`// Write state of the OR1200 registers into a file; version for exception`
237			`//`
238			`task display_arch_state_except;`
239			`reg [5:0] i;`
240			`reg [31:0] r;`
241			`integer j;`
242			`begin`
243			`ifdef OR1200_DISPLAY_ARCH_STATE
244			`ref = ref + 1;`
245			`$fdisplay(flookup, "Instruction %d: %t", insns, $time);`
246			$fwrite(fexe, "\nEXECUTED(%d): %h: %h (exception)", insns, `OR1200_TOP.or1200_cpu.or1200_except.ex_pc, `OR1200_TOP.or1200_cpu.or1200_ctrl.ex_insn);
247			`for(i = 0; i < 32; i = i + 1) begin`
248			`if (i % 4 == 0)`
249			`$fdisplay(fexe);`
250			`get_gpr(i, r);`
251			`$fwrite(fexe, "GPR%d: %h ", i, r);`
252			`end`
253			`$fdisplay(fexe);`
254			r = `OR1200_TOP.or1200_cpu.or1200_sprs.sr;
255			`$fwrite(fexe, "SR : %h ", r);`
256			r = `OR1200_TOP.or1200_cpu.or1200_sprs.epcr;
257			`$fwrite(fexe, "EPCR0: %h ", r);`
258			r = `OR1200_TOP.or1200_cpu.or1200_sprs.eear;
259			`$fwrite(fexe, "EEAR0: %h ", r);`
260			r = `OR1200_TOP.or1200_cpu.or1200_sprs.esr;
261			`$fdisplay(fexe, "ESR0 : %h", r);`
262			`insns = insns + 1;`
263			`endif
264			`end`
265			`endtask`
266
267			`integer iwb_progress;`
268			`reg [31:0] iwb_progress_addr;`
269			`//`
270			`// WISHBONE bus checker`
271			`//`
272			always @(posedge `OR1200_TOP.iwb_clk_i)
273			if (`OR1200_TOP.iwb_rst_i) begin
274			`iwb_progress = 0;`
275			iwb_progress_addr = `OR1200_TOP.iwb_adr_o;
276			`end`
277			`else begin`
278			if (`OR1200_TOP.iwb_cyc_o && (iwb_progress != 2)) begin
279			`iwb_progress = 1;`
280			`end`
281			if (`OR1200_TOP.iwb_stb_o) begin
282			`if (iwb_progress >= 1) begin`
283			`if (iwb_progress == 1)`
284			iwb_progress_addr = `OR1200_TOP.iwb_adr_o;
285			`iwb_progress = 2;`
286			`end`
287			`else begin`
288			$fdisplay(fgeneral, "WISHBONE protocol violation: `OR1200_TOP.iwb_stb_o raised without `OR1200_TOP.iwb_cyc_o, at %t\n", $time);
289			`#100 $finish;`
290			`end`
291			`end`
292			if (`OR1200_TOP.iwb_ack_i & `OR1200_TOP.iwb_err_i) begin
293			$fdisplay(fgeneral, "WISHBONE protocol violation: `OR1200_TOP.iwb_ack_i and `OR1200_TOP.iwb_err_i raised at the same time, at %t\n", $time);
294			`end`
295			if ((iwb_progress == 2) && (iwb_progress_addr != `OR1200_TOP.iwb_adr_o)) begin
296			$fdisplay(fgeneral, "WISHBONE protocol violation: `OR1200_TOP.iwb_adr_o changed while waiting for `OR1200_TOP.iwb_err_i/`OR1200_TOP.iwb_ack_i, at %t\n", $time);
297			`#100 $finish;`
298			`end`
299			if (`OR1200_TOP.iwb_ack_i \| `OR1200_TOP.iwb_err_i)
300			`if (iwb_progress == 2) begin`
301			`iwb_progress = 0;`
302			iwb_progress_addr = `OR1200_TOP.iwb_adr_o;
303			`end`
304			`else begin`
305			$fdisplay(fgeneral, "WISHBONE protocol violation: `OR1200_TOP.iwb_ack_i/`OR1200_TOP.iwb_err_i raised without `OR1200_TOP.iwb_cyc_i/`OR1200_TOP.iwb_stb_i, at %t\n", $time);
306			`#100 $finish;`
307			`end`
308			if ((iwb_progress == 2) && !`OR1200_TOP.iwb_stb_o) begin
309			$fdisplay(fgeneral, "WISHBONE protocol violation: `OR1200_TOP.iwb_stb_o lowered without `OR1200_TOP.iwb_err_i/`OR1200_TOP.iwb_ack_i, at %t\n", $time);
310			`/* #100 $finish;*/`
311			`end`
312			`end`
313
314			`integer dwb_progress;`
315			`reg [31:0] dwb_progress_addr;`
316			`//`
317			`// WISHBONE bus checker`
318			`//`
319			always @(posedge `OR1200_TOP.dwb_clk_i)
320			if (`OR1200_TOP.dwb_rst_i)
321			`dwb_progress = 0;`
322			`else begin`
323			if (`OR1200_TOP.dwb_cyc_o && (dwb_progress != 2))
324			`dwb_progress = 1;`
325			if (`OR1200_TOP.dwb_stb_o)
326			`if (dwb_progress >= 1) begin`
327			`if (dwb_progress == 1)`
328			dwb_progress_addr = `OR1200_TOP.dwb_adr_o;
329			`dwb_progress = 2;`
330			`end`
331			`else begin`
332			$fdisplay(fgeneral, "WISHBONE protocol violation: `OR1200_TOP.dwb_stb_o raised without `OR1200_TOP.dwb_cyc_o, at %t\n", $time);
333			`#100 $finish;`
334			`end`
335			if (`OR1200_TOP.dwb_ack_i & `OR1200_TOP.dwb_err_i) begin
336			$fdisplay(fgeneral, "WISHBONE protocol violation: `OR1200_TOP.dwb_ack_i and `OR1200_TOP.dwb_err_i raised at the same time, at %t\n", $time);
337			`end`
338			if ((dwb_progress == 2) && (dwb_progress_addr != `OR1200_TOP.dwb_adr_o)) begin
339			$fdisplay(fgeneral, "WISHBONE protocol violation: `OR1200_TOP.dwb_adr_o changed while waiting for `OR1200_TOP.dwb_err_i/`OR1200_TOP.dwb_ack_i, at %t\n", $time);
340			`#100 $finish;`
341			`end`
342			if (`OR1200_TOP.dwb_ack_i \| `OR1200_TOP.dwb_err_i)
343			`if (dwb_progress == 2) begin`
344			`dwb_progress = 0;`
345			dwb_progress_addr = `OR1200_TOP.dwb_adr_o;
346			`end`
347			`else begin`
348			$fdisplay(fgeneral, "WISHBONE protocol violation: `OR1200_TOP.dwb_ack_i/`OR1200_TOP.dwb_err_i raised without `OR1200_TOP.dwb_cyc_i/`OR1200_TOP.dwb_stb_i, at %t\n", $time);
349			`#100 $finish;`
350			`end`
351			if ((dwb_progress == 2) && !`OR1200_TOP.dwb_stb_o) begin
352			$fdisplay(fgeneral, "WISHBONE protocol violation: `OR1200_TOP.dwb_stb_o lowered without `OR1200_TOP.dwb_err_i/`OR1200_TOP.dwb_ack_i, at %t\n", $time);
353			`#100 $finish;`
354			`end`
355			`end`
356
357			`//`
358			`// Hooks for:`
359			`// - displaying registers`
360			`// - end of simulation`
361			`// - access to SPRs`
362			`//`
363			always @(posedge `OR1200_TOP.or1200_cpu.or1200_ctrl.clk)
364			if (!`OR1200_TOP.or1200_cpu.or1200_ctrl.wb_freeze) begin
365			`#2;`
366			if (((`OR1200_TOP.or1200_cpu.or1200_ctrl.wb_insn[31:26] != `OR1200_OR32_NOP) \|\| !`OR1200_TOP.or1200_cpu.or1200_ctrl.wb_insn[16])
367			&& !(`OR1200_TOP.or1200_cpu.or1200_except.except_flushpipe && `OR1200_TOP.or1200_cpu.or1200_except.ex_dslot))
368			`display_arch_state;`
369			`else`
370			if (`OR1200_TOP.or1200_cpu.or1200_except.except_flushpipe)
371			`display_arch_state_except;`
372			if (`OR1200_TOP.or1200_cpu.or1200_ctrl.wb_insn == 32'h1500_0001) begin // small hack to stop simulation (l.nop 1)
373			`get_gpr(3, r3);`
374			`$fdisplay(fgeneral, "%t: l.nop exit (%h)", $time, r3);`
375			`$finish;`
376			`end`
377			if (`OR1200_TOP.or1200_cpu.or1200_ctrl.wb_insn == 32'h1500_000a) begin // debug if test (l.nop 10)
378			`$fdisplay(fgeneral, "%t: l.nop dbg_if_test", $time);`
379			`ifdef DBG_IF_MODEL
380			`xess_top.i_xess_fpga.dbg_if_model.dbg_if_test_go = 1;`
381			`endif
382			`end`
383			if (`OR1200_TOP.or1200_cpu.or1200_ctrl.wb_insn == 32'h1500_0002) begin // simulation reports (l.nop 2)
384			`get_gpr(3, r3);`
385			`$fdisplay(fgeneral, "%t: l.nop report (%h)", $time, r3);`
386			`end`
387			if (`OR1200_TOP.or1200_cpu.or1200_ctrl.wb_insn == 32'h1500_0003) begin // simulation printfs (l.nop 3)
388			`get_gpr(3, r3);`
389			`$fdisplay(fgeneral, "%t: l.nop printf (%h)", $time, r3);`
390			`end`
391			if (`OR1200_TOP.or1200_cpu.or1200_sprs.sprs_op == `OR1200_ALUOP_MTSR) // l.mtspr
392			`$fdisplay(fspr, "%t: Write to SPR : [%h] <- %h", $time,`
393			`OR1200_TOP.or1200_cpu.or1200_sprs.spr_addr, `OR1200_TOP.or1200_cpu.or1200_sprs.spr_dat_o);
394			if (`OR1200_TOP.or1200_cpu.or1200_sprs.sprs_op == `OR1200_ALUOP_MFSR) // l.mfspr
395			`$fdisplay(fspr, "%t: Read from SPR: [%h] -> %h", $time,`
396			`OR1200_TOP.or1200_cpu.or1200_sprs.spr_addr, `OR1200_TOP.or1200_cpu.or1200_sprs.to_wbmux);
397			`end`
398
399			`endmodule`