From 27548da2e7ed934d1282fef72d0e6c5232876c9a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Andr=C3=A9=20Sintzoff?= Date: Fri, 21 Mar 2025 14:29:49 +0100 Subject: [PATCH] serdiv.sv: use temporary signal to improve conditional coverage --- core/serdiv.sv | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/core/serdiv.sv b/core/serdiv.sv index fd103fbb9..afe0c2de6 100644 --- a/core/serdiv.sv +++ b/core/serdiv.sv @@ -234,7 +234,8 @@ module serdiv assign comp_inv_d = (load_en) ? opcode_i[0] & op_b_sign : comp_inv_q; assign op_b_zero_d = (load_en) ? op_b_zero : op_b_zero_q; assign op_b_neg_one_d = (load_en) ? op_b_neg_one : op_b_neg_one_q; - assign res_inv_d = (load_en) ? (~op_b_zero | opcode_i[1]) & opcode_i[0] & (op_a_sign ^ op_b_sign ^ op_b_neg_one) : res_inv_q; + assign op_b_temp = op_b_sign ^ op_b_neg_one; + assign res_inv_d = (load_en) ? (~op_b_zero | opcode_i[1]) & opcode_i[0] & (op_a_sign ^ op_b_temp) : res_inv_q; // transaction id assign id_d = (load_en) ? id_i : id_q;