From 8308f921cf569d33511c942fa3af90dd57a94f8b Mon Sep 17 00:00:00 2001
From: Pascal Gouedo <pascal.gouedo@dolphin.fr>
Date: Fri, 1 Sep 2023 17:41:11 +0200
Subject: [PATCH] Issue #862 correction.

Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
---
 rtl/cv32e40p_controller.sv | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/rtl/cv32e40p_controller.sv b/rtl/cv32e40p_controller.sv
index 25674f2d3..d3941dd28 100644
--- a/rtl/cv32e40p_controller.sv
+++ b/rtl/cv32e40p_controller.sv
@@ -779,6 +779,12 @@ module cv32e40p_controller import cv32e40p_pkg::*;
 
                     end
 
+                    ecall_insn_i: begin
+                      halt_if_o     = 1'b1;
+                      halt_id_o     = 1'b1;
+                      ctrl_fsm_ns   = FLUSH_EX;
+                    end
+
                     csr_status_i: begin
                       halt_if_o     = 1'b1;
                       ctrl_fsm_ns   = id_ready_i ? FLUSH_EX : DECODE_HWLOOP;