Compare commits
2 commits
84c8de8461
...
a91adb3a7d
Author | SHA1 | Date | |
---|---|---|---|
a91adb3a7d | |||
db66021248 |
3 changed files with 130 additions and 61 deletions
|
@ -83,7 +83,7 @@ static void execute(uint64_t n) {
|
||||||
g_nr_guest_inst ++;
|
g_nr_guest_inst ++;
|
||||||
trace_and_difftest(&s, cpu.pc);
|
trace_and_difftest(&s, cpu.pc);
|
||||||
if (wp_eval_all()) {
|
if (wp_eval_all()) {
|
||||||
puts(logbuf[logbuf_rear]);
|
IFDEF(CONFIG_ITRACE, puts(logbuf[logbuf_rear]));
|
||||||
break;
|
break;
|
||||||
}
|
}
|
||||||
if (nemu_state.state != NEMU_RUNNING) break;
|
if (nemu_state.state != NEMU_RUNNING) break;
|
||||||
|
@ -132,7 +132,7 @@ void cpu_exec(uint64_t n) {
|
||||||
ANSI_FMT("HIT BAD TRAP", ANSI_FG_RED))),
|
ANSI_FMT("HIT BAD TRAP", ANSI_FG_RED))),
|
||||||
nemu_state.halt_pc);
|
nemu_state.halt_pc);
|
||||||
if(nemu_state.halt_ret != 0) {
|
if(nemu_state.halt_ret != 0) {
|
||||||
log_itrace_print();
|
IFDEF(CONFIG_ITRACE, log_itrace_print());
|
||||||
}
|
}
|
||||||
} // fall through
|
} // fall through
|
||||||
case NEMU_QUIT: statistic();
|
case NEMU_QUIT: statistic();
|
||||||
|
|
|
@ -1,7 +1,7 @@
|
||||||
cmake_minimum_required(VERSION 3.26)
|
cmake_minimum_required(VERSION 3.26)
|
||||||
|
|
||||||
project(flow)
|
project(flow)
|
||||||
set (CMAKE_CXX_STANDARD 14)
|
set (CMAKE_CXX_STANDARD 17)
|
||||||
cmake_policy(SET CMP0144 NEW)
|
cmake_policy(SET CMP0144 NEW)
|
||||||
|
|
||||||
include(CMakeDependentOption)
|
include(CMakeDependentOption)
|
||||||
|
|
|
@ -1,7 +1,11 @@
|
||||||
|
#include <array>
|
||||||
|
#include <cstddef>
|
||||||
|
#include <cstdint>
|
||||||
|
#include <filesystem>
|
||||||
|
#include <sys/types.h>
|
||||||
#include <vpi_user.h>
|
#include <vpi_user.h>
|
||||||
#include <VFlow.h>
|
#include <VFlow.h>
|
||||||
#include <cstdlib>
|
#include <cstdlib>
|
||||||
#include <vector>
|
|
||||||
#include <memory>
|
#include <memory>
|
||||||
#include <verilated.h>
|
#include <verilated.h>
|
||||||
#include <verilated_vcd_c.h>
|
#include <verilated_vcd_c.h>
|
||||||
|
@ -10,77 +14,142 @@
|
||||||
#define MAX_SIM_TIME 100
|
#define MAX_SIM_TIME 100
|
||||||
#define VERILATOR_TRACE
|
#define VERILATOR_TRACE
|
||||||
|
|
||||||
std::vector<vpiHandle> regsHandle;
|
template <class T>
|
||||||
int regs[32];
|
class Tracer {
|
||||||
|
#ifdef VERILATOR_TRACE
|
||||||
|
std::shared_ptr<T> top;
|
||||||
|
std::unique_ptr<VerilatedVcdC> m_trace;
|
||||||
|
uint64_t cycle = 0;
|
||||||
|
#endif
|
||||||
|
public:
|
||||||
|
Tracer(T *top, std::filesystem::path wavefile) {
|
||||||
|
#ifdef VERILATOR_TRACE
|
||||||
|
top = top;
|
||||||
|
Verilated::traceEverOn(true);
|
||||||
|
m_trace = std::make_unique<VerilatedVcdC>();
|
||||||
|
top->trace(m_trace.get(), 5);
|
||||||
|
m_trace->open(wavefile.c_str());
|
||||||
|
#endif
|
||||||
|
}
|
||||||
|
~Tracer() {
|
||||||
|
#ifdef VERILATOR_TRACE
|
||||||
|
m_trace->close();
|
||||||
|
#endif
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* Dump signals to waveform file. Must be called once after every top->eval() call.
|
||||||
|
*/
|
||||||
|
void update() {
|
||||||
|
#ifdef VERILATOR_TRACE
|
||||||
|
m_trace->dump(cycle++);
|
||||||
|
#endif
|
||||||
|
}
|
||||||
|
};
|
||||||
|
template <typename T, std::size_t nr>
|
||||||
|
class _RegistersBase {
|
||||||
|
std::array<T, nr> regs;
|
||||||
|
virtual T fetch_reg(size_t id);
|
||||||
|
public:
|
||||||
|
void update() {
|
||||||
|
for(int i = 0; i < regs.size(); i++) {
|
||||||
|
regs[i] = fetch_reg(i);
|
||||||
|
}
|
||||||
|
}
|
||||||
|
void print_regs() {
|
||||||
|
for(int i = 0; i < regs.size(); i++) {
|
||||||
|
printf("%d: %d\t", i, regs[i]);
|
||||||
|
if(i % 8 == 7) putchar('\n');
|
||||||
|
}
|
||||||
|
putchar('\n');
|
||||||
|
}
|
||||||
|
};
|
||||||
|
|
||||||
static void init_vpi_regs() {
|
template <typename T, std::size_t nr>
|
||||||
std::string regfile = "TOP.Flow.reg_0.regFile_";
|
class _RegistersVPI : public _RegistersBase<T, nr> {
|
||||||
for(int i = 0; i < 32; i++) {
|
std::array<vpiHandle, nr> reg_handles;
|
||||||
std::string regname = regfile + std::to_string(i);
|
T fetch_reg(size_t id) {
|
||||||
vpiHandle vh = vpi_handle_by_name((PLI_BYTE8 *)regname.c_str(), NULL);
|
s_vpi_value v;
|
||||||
regsHandle.push_back(vh);
|
v.format = vpiIntVal;
|
||||||
|
vpi_get_value(reg_handles[id], &v);
|
||||||
|
return v.value.integer;
|
||||||
}
|
}
|
||||||
}
|
public:
|
||||||
|
_RegistersVPI<T, nr>(const std::string regs_prefix) {
|
||||||
|
for(int i = 0; i < nr; i++) {
|
||||||
|
std::string regname = regs_prefix + std::to_string(i);
|
||||||
|
vpiHandle vh = vpi_handle_by_name((PLI_BYTE8 *)regname.c_str(), NULL);
|
||||||
|
reg_handles[i] = vh;
|
||||||
|
}
|
||||||
|
}
|
||||||
|
};
|
||||||
|
|
||||||
static void init_vpi() {
|
typedef _RegistersVPI<uint32_t, 32> Registers;
|
||||||
init_vpi_regs();
|
|
||||||
}
|
|
||||||
|
|
||||||
static int vpi_get_int(vpiHandle vh) {
|
template <typename T, std::size_t n>
|
||||||
s_vpi_value v;
|
class Memory {
|
||||||
v.format = vpiIntVal;
|
std::array<T, n> mem;
|
||||||
vpi_get_value(vh, &v);
|
size_t addr_to_index(size_t addr) {
|
||||||
return v.value.integer;
|
// Linear mapping
|
||||||
}
|
return addr - 0x80000000;
|
||||||
|
|
||||||
static void update_regs() {
|
|
||||||
for(int i = 0; i < 32; i++) {
|
|
||||||
regs[i] = vpi_get_int(regsHandle[i]);
|
|
||||||
}
|
}
|
||||||
}
|
public:
|
||||||
|
const T& operator[](size_t addr) {
|
||||||
|
return mem[addr_to_index(index)];
|
||||||
|
}
|
||||||
|
};
|
||||||
|
|
||||||
static void print_regs() {
|
template <typename T>
|
||||||
for(int i = 0; i < 32; i++) {
|
class VlModuleInterfaceCommon : public T {
|
||||||
printf("%d: %d\t", i, regs[i]);
|
uint64_t sim_time = 0;
|
||||||
if(i % 8 == 7) putchar('\n');
|
uint64_t posedge_cnt = 0;
|
||||||
}
|
std::unique_ptr<Tracer<T>> tracer;
|
||||||
putchar('\n');
|
public:
|
||||||
}
|
VlModuleInterfaceCommon<T>(bool do_trace, std::filesystem::path wavefile = "waveform.vcd") {
|
||||||
|
if(do_trace) tracer = std::make_unique<Tracer<T>>(this, wavefile);
|
||||||
|
}
|
||||||
|
void eval() {
|
||||||
|
if(this->is_posedge()) {
|
||||||
|
posedge_cnt++;
|
||||||
|
}
|
||||||
|
T::clock = !T::clock;
|
||||||
|
sim_time++;
|
||||||
|
T::eval();
|
||||||
|
if(tracer) tracer->update();
|
||||||
|
}
|
||||||
|
void eval(int n) {
|
||||||
|
for(int i = 0; i < n; i++) {
|
||||||
|
this->eval();
|
||||||
|
}
|
||||||
|
}
|
||||||
|
void reset_eval(int n) {
|
||||||
|
this->reset = 1;
|
||||||
|
this->eval(n);
|
||||||
|
this->reset = 0;
|
||||||
|
}
|
||||||
|
bool is_posedge() {
|
||||||
|
// Will be posedge when eval is called
|
||||||
|
return T::clock == 0;
|
||||||
|
}
|
||||||
|
};
|
||||||
|
|
||||||
static int sim_time = 0;
|
typedef VlModuleInterfaceCommon<VFlow> VlModule;
|
||||||
|
|
||||||
int main(int argc, char **argv, char **env) {
|
int main(int argc, char **argv, char **env) {
|
||||||
int sim_time = 0;
|
|
||||||
int posedge_cnt = 0;
|
|
||||||
Verilated::commandArgs(argc, argv);
|
Verilated::commandArgs(argc, argv);
|
||||||
|
|
||||||
std::unique_ptr<VFlow> top{new VFlow};
|
auto top = std::make_shared<VlModule>(false, "waveform.vcd");
|
||||||
Verilated::traceEverOn(true);
|
|
||||||
VerilatedVcdC *m_trace = new VerilatedVcdC;
|
|
||||||
#ifdef VERILATOR_TRACE
|
|
||||||
top->trace(m_trace, 5);
|
|
||||||
m_trace->open("waveform.vcd");
|
|
||||||
#endif
|
|
||||||
|
|
||||||
init_vpi();
|
Registers regs("TOP.Flow.reg_0.regFile_");
|
||||||
|
|
||||||
top->reset = 0;
|
top->reset_eval(10);
|
||||||
for (sim_time = 10; sim_time < MAX_SIM_TIME; sim_time++) {
|
for (int i = 0; i < MAX_SIM_TIME; i++) {
|
||||||
top->eval();
|
if(top->is_posedge()) {
|
||||||
top->clock = !top->clock;
|
|
||||||
if(top->clock == 1) {
|
|
||||||
// Posedge
|
// Posedge
|
||||||
++posedge_cnt;
|
regs.update();
|
||||||
update_regs();
|
regs.print_regs();
|
||||||
print_regs();
|
|
||||||
}
|
}
|
||||||
|
top->eval();
|
||||||
#ifdef VERILATOR_TRACE
|
|
||||||
m_trace->dump(sim_time);
|
|
||||||
#endif
|
|
||||||
}
|
}
|
||||||
#ifdef VERILATOR_TRACE
|
return 0;
|
||||||
m_trace->close();
|
|
||||||
#endif
|
|
||||||
exit(EXIT_SUCCESS);
|
|
||||||
}
|
}
|
||||||
|
|
Loading…
Reference in a new issue