#include "teal.h"

using namespace teal;

void verification_top ()
{


  const int RAM_SIZE=313;
  const int ADDR_WIDTH=10;
  const int DATA_WIDTH=123;
  const int ram1=0x1000;
  const int ram2=0x2000;
  int i;
  int clocks;
  int addr, data;


  file_vlog not_used = file_vlog (teal::dictionary::find ("out_file"), dictionary::find ("interactive", true));

  vreg test_done ("top.test_done");
  vreg clk ("top.clk");
  vreg cs1 ("top.cs1");
  vreg cs2 ("top.cs2");
  vreg rnw ("top.rnw");
  vreg databus ("top.databus");
  vreg addrbus ("top.addrbus");

  vout log ("memory_test");
  log.message_display (vlog::thread_name, false);

  memory::add_map ("top.U_ram1", ram1, ram1 + RAM_SIZE-1); //let system add ram1
  memory::add_map ("top.U_ram2", ram2, ram2 + RAM_SIZE-1); //let system add ram2

  log << "Initializing U_ram1" << endm;
  for (i=ram1; i<ram1+RAM_SIZE;i++)
  	memory::write(i, 0);
  log << "Initializing U_ram2" << endm;
  for (i=ram2; i<ram2+RAM_SIZE;i++)
  	memory::write(i, 0);
  cs1=0;
  cs2=0;
  rnw=1;
  
  for (clocks=0; clocks<3; clocks++)
    at (posedge(clk));
  addr=0x5;
  data=0x7;
  log << "Writing to U_ram1 at address " << addr << " the data " << data << endm;
  cs1=1;
  rnw=0;
  databus=data;
  addrbus=addr;
  at (posedge(clk));
  log << "Reading from U_ram1 at address " << addr << endm;
  cs1=1;
  rnw=1;
  addrbus=addr;
  at (posedge(clk));
  log << "Data read: " << databus << endm;
  cs1=0;
  
  test_done=1;

// here add error display and PASS/FAIL message capability

}
#include "../teal_hdl_connect.cpp"