riscv/riscv_prelude.h


1
2
3
4
5
6
7
8
9
10

#pragma once
#include "sail.h"
#include "rts.h"

unit print_string(sail_string prefix, sail_string msg);

unit print_instr(sail_string s);
unit print_reg(sail_string s);
unit print_mem_access(sail_string s);
unit print_platform(sail_string s);