aboutsummaryrefslogtreecommitdiff
path: root/model
diff options
context:
space:
mode:
authorPrashanth Mundkur <prashanth.mundkur@gmail.com>2019-03-11 15:18:25 -0700
committerPrashanth Mundkur <prashanth.mundkur@gmail.com>2019-03-11 15:18:25 -0700
commit7f3f641a4ae2a12ac55904d30c6534360e5cae1d (patch)
tree292341d018b0e99b5e1bcfef4494c8b830ed3347 /model
parent7f07eeff9f43b359f7b1b0e65689021bf68c19d6 (diff)
downloadsail-riscv-7f3f641a4ae2a12ac55904d30c6534360e5cae1d.zip
sail-riscv-7f3f641a4ae2a12ac55904d30c6534360e5cae1d.tar.gz
sail-riscv-7f3f641a4ae2a12ac55904d30c6534360e5cae1d.tar.bz2
Fix rvfi initialization.
Diffstat (limited to 'model')
-rw-r--r--model/main_rvfi.sail3
1 files changed, 1 insertions, 2 deletions
diff --git a/model/main_rvfi.sail b/model/main_rvfi.sail
index 837f2d4..10b5428 100644
--- a/model/main_rvfi.sail
+++ b/model/main_rvfi.sail
@@ -103,8 +103,7 @@ function main () = {
PC = sail_zero_extend(0x1000, 64);
print_bits("PC = ", PC);
try {
- init_platform();
- init_sys();
+ init_model();
loop()
} catch {
Error_not_implemented(s) => print_string("Error: Not implemented: ", s),