2014-09-12 19:15:04 +02:00
|
|
|
// See LICENSE for license details.
|
|
|
|
|
2013-01-25 08:56:45 +01:00
|
|
|
#include "htif_emulator.h"
|
2012-10-02 04:30:11 +02:00
|
|
|
#include "emulator.h"
|
2012-12-04 16:04:26 +01:00
|
|
|
#include "mm.h"
|
|
|
|
#include "mm_dramsim2.h"
|
2013-01-25 08:56:45 +01:00
|
|
|
#include <fcntl.h>
|
|
|
|
#include <signal.h>
|
|
|
|
#include <stdio.h>
|
|
|
|
#include <stdlib.h>
|
2013-03-26 01:01:13 +01:00
|
|
|
#include <unistd.h>
|
2012-10-02 04:30:11 +02:00
|
|
|
|
2013-01-25 08:56:45 +01:00
|
|
|
htif_emulator_t* htif;
|
|
|
|
void handle_sigterm(int sig)
|
2012-11-20 14:40:44 +01:00
|
|
|
{
|
2013-01-25 08:56:45 +01:00
|
|
|
htif->stop();
|
2012-11-20 14:40:44 +01:00
|
|
|
}
|
|
|
|
|
2012-10-02 04:30:11 +02:00
|
|
|
int main(int argc, char** argv)
|
|
|
|
{
|
|
|
|
unsigned random_seed = (unsigned)time(NULL) ^ (unsigned)getpid();
|
2013-10-29 21:24:09 +01:00
|
|
|
uint64_t max_cycles = -1;
|
2012-10-02 04:30:11 +02:00
|
|
|
uint64_t trace_count = 0;
|
2013-10-29 21:24:09 +01:00
|
|
|
int ret = 0;
|
2012-10-02 04:30:11 +02:00
|
|
|
const char* vcd = NULL;
|
|
|
|
const char* loadmem = NULL;
|
2013-06-13 19:53:23 +02:00
|
|
|
FILE *vcdfile = NULL;
|
2012-12-04 16:04:26 +01:00
|
|
|
bool dramsim2 = false;
|
2013-06-13 19:53:23 +02:00
|
|
|
bool log = false;
|
2012-11-20 14:40:44 +01:00
|
|
|
|
2012-10-02 04:30:11 +02:00
|
|
|
for (int i = 1; i < argc; i++)
|
|
|
|
{
|
|
|
|
std::string arg = argv[i];
|
2013-01-25 08:56:45 +01:00
|
|
|
if (arg.substr(0, 2) == "-v")
|
2012-10-02 04:30:11 +02:00
|
|
|
vcd = argv[i]+2;
|
|
|
|
else if (arg.substr(0, 2) == "-s")
|
|
|
|
random_seed = atoi(argv[i]+2);
|
2013-01-25 08:56:45 +01:00
|
|
|
else if (arg == "+dramsim")
|
|
|
|
dramsim2 = true;
|
|
|
|
else if (arg == "+verbose")
|
|
|
|
log = true;
|
|
|
|
else if (arg.substr(0, 12) == "+max-cycles=")
|
|
|
|
max_cycles = atoll(argv[i]+12);
|
2012-10-02 04:30:11 +02:00
|
|
|
else if (arg.substr(0, 9) == "+loadmem=")
|
|
|
|
loadmem = argv[i]+9;
|
2013-01-25 08:56:45 +01:00
|
|
|
}
|
2012-10-02 04:30:11 +02:00
|
|
|
|
2012-11-18 02:25:43 +01:00
|
|
|
const int disasm_len = 24;
|
2012-10-02 04:30:11 +02:00
|
|
|
if (vcd)
|
|
|
|
{
|
|
|
|
// Create a VCD file
|
|
|
|
vcdfile = strcmp(vcd, "-") == 0 ? stdout : fopen(vcd, "w");
|
|
|
|
assert(vcdfile);
|
|
|
|
fprintf(vcdfile, "$scope module Testbench $end\n");
|
2012-11-17 16:21:29 +01:00
|
|
|
fprintf(vcdfile, "$var reg %d NDISASM_WB wb_instruction $end\n", disasm_len*8);
|
|
|
|
fprintf(vcdfile, "$var reg 64 NCYCLE cycle $end\n");
|
2012-10-02 04:30:11 +02:00
|
|
|
fprintf(vcdfile, "$upscope $end\n");
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
// The chisel generated code
|
|
|
|
Top_t tile;
|
|
|
|
srand(random_seed);
|
|
|
|
tile.init(random_seed != 0);
|
|
|
|
|
2013-05-02 13:58:43 +02:00
|
|
|
// Instantiate and initialize main memory
|
|
|
|
mm_t* mm = dramsim2 ? (mm_t*)(new mm_dramsim2_t) : (mm_t*)(new mm_magic_t);
|
|
|
|
mm->init(MEM_SIZE, tile.Top__io_mem_resp_bits_data.width()/8, LINE_SIZE);
|
|
|
|
if (loadmem)
|
|
|
|
load_mem(mm->get_data(), loadmem);
|
|
|
|
|
2013-01-25 08:56:45 +01:00
|
|
|
// Instantiate HTIF
|
2013-01-27 01:13:14 +01:00
|
|
|
htif = new htif_emulator_t(std::vector<std::string>(argv + 1, argv + argc));
|
2013-01-25 08:56:45 +01:00
|
|
|
int htif_bits = tile.Top__io_host_in_bits.width();
|
|
|
|
assert(htif_bits % 8 == 0 && htif_bits <= val_n_bits());
|
|
|
|
|
|
|
|
signal(SIGTERM, handle_sigterm);
|
|
|
|
|
2012-10-02 04:30:11 +02:00
|
|
|
// reset for a few cycles to support pipelined reset
|
|
|
|
tile.Top__io_host_in_valid = LIT<1>(0);
|
|
|
|
tile.Top__io_host_out_ready = LIT<1>(0);
|
2012-10-19 02:51:41 +02:00
|
|
|
tile.Top__io_mem_backup_en = LIT<1>(0);
|
2012-10-02 04:30:11 +02:00
|
|
|
for (int i = 0; i < 10; i++)
|
|
|
|
{
|
|
|
|
tile.clock_lo(LIT<1>(1));
|
|
|
|
tile.clock_hi(LIT<1>(1));
|
|
|
|
}
|
|
|
|
|
2013-10-29 21:24:09 +01:00
|
|
|
while (!htif->done() && trace_count < max_cycles)
|
2012-10-02 04:30:11 +02:00
|
|
|
{
|
2012-12-04 16:04:26 +01:00
|
|
|
tile.Top__io_mem_req_cmd_ready = LIT<1>(mm->req_cmd_ready());
|
|
|
|
tile.Top__io_mem_req_data_ready = LIT<1>(mm->req_data_ready());
|
|
|
|
tile.Top__io_mem_resp_valid = LIT<1>(mm->resp_valid());
|
|
|
|
tile.Top__io_mem_resp_bits_tag = LIT<64>(mm->resp_tag());
|
2014-01-16 21:44:29 +01:00
|
|
|
memcpy(tile.Top__io_mem_resp_bits_data.values, mm->resp_data(), tile.Top__io_mem_resp_bits_data.width()/8);
|
2012-12-04 16:04:26 +01:00
|
|
|
|
|
|
|
tile.clock_lo(LIT<1>(0));
|
|
|
|
|
|
|
|
mm->tick(
|
2012-10-02 04:30:11 +02:00
|
|
|
tile.Top__io_mem_req_cmd_valid.lo_word(),
|
|
|
|
tile.Top__io_mem_req_cmd_bits_rw.lo_word(),
|
|
|
|
tile.Top__io_mem_req_cmd_bits_addr.lo_word(),
|
|
|
|
tile.Top__io_mem_req_cmd_bits_tag.lo_word(),
|
|
|
|
|
|
|
|
tile.Top__io_mem_req_data_valid.lo_word(),
|
2014-01-16 21:44:29 +01:00
|
|
|
tile.Top__io_mem_req_data_bits_data.values,
|
2013-05-02 13:58:43 +02:00
|
|
|
|
|
|
|
tile.Top__io_mem_resp_ready.to_bool()
|
2012-10-02 04:30:11 +02:00
|
|
|
);
|
|
|
|
|
2012-10-19 02:51:41 +02:00
|
|
|
if (tile.Top__io_host_clk_edge.to_bool())
|
|
|
|
{
|
2013-02-21 01:11:21 +01:00
|
|
|
static bool htif_in_valid = false;
|
|
|
|
static val_t htif_in_bits;
|
|
|
|
if (tile.Top__io_host_in_ready.to_bool() || !htif_in_valid)
|
|
|
|
htif_in_valid = htif->recv_nonblocking(&htif_in_bits, htif_bits/8);
|
|
|
|
tile.Top__io_host_in_valid = LIT<1>(htif_in_valid);
|
|
|
|
tile.Top__io_host_in_bits = LIT<64>(htif_in_bits);
|
2013-01-25 08:56:45 +01:00
|
|
|
|
|
|
|
if (tile.Top__io_host_out_valid.to_bool())
|
2014-01-16 21:44:29 +01:00
|
|
|
htif->send(tile.Top__io_host_out_bits.values, htif_bits/8);
|
2013-02-21 01:11:21 +01:00
|
|
|
tile.Top__io_host_out_ready = LIT<1>(1);
|
2012-10-19 02:51:41 +02:00
|
|
|
}
|
2012-10-02 04:30:11 +02:00
|
|
|
|
2013-06-13 19:53:23 +02:00
|
|
|
if (log)
|
2014-03-05 01:38:34 +01:00
|
|
|
tile.print(stderr);
|
2013-06-13 19:53:23 +02:00
|
|
|
|
|
|
|
if (vcd)
|
|
|
|
tile.dump(vcdfile, trace_count);
|
2012-10-02 04:30:11 +02:00
|
|
|
|
|
|
|
tile.clock_hi(LIT<1>(0));
|
|
|
|
trace_count++;
|
|
|
|
}
|
|
|
|
|
|
|
|
if (vcd)
|
|
|
|
fclose(vcdfile);
|
|
|
|
|
2013-10-29 21:24:09 +01:00
|
|
|
if (htif->exit_code())
|
2012-10-02 04:30:11 +02:00
|
|
|
{
|
2014-03-17 23:35:17 +01:00
|
|
|
fprintf(stderr, "*** FAILED *** (code = %d, seed %d) after %lld cycles\n", htif->exit_code(), random_seed, (long long)trace_count);
|
2013-10-29 21:24:09 +01:00
|
|
|
ret = htif->exit_code();
|
2012-10-02 04:30:11 +02:00
|
|
|
}
|
2013-10-29 21:24:09 +01:00
|
|
|
else if (trace_count == max_cycles)
|
|
|
|
{
|
|
|
|
fprintf(stderr, "*** FAILED *** (timeout) after %lld cycles\n", (long long)trace_count);
|
|
|
|
ret = 2;
|
|
|
|
}
|
|
|
|
|
|
|
|
delete htif;
|
2012-10-02 04:30:11 +02:00
|
|
|
|
2013-10-29 21:24:09 +01:00
|
|
|
return ret;
|
2012-10-02 04:30:11 +02:00
|
|
|
}
|