[prim] Fix the edge type
The posedge and negedge condition was swapped.
Signed-off-by: Eunchan Kim <eunchan@opentitan.org>
diff --git a/hw/ip/prim/rtl/prim_edge_detector.sv b/hw/ip/prim/rtl/prim_edge_detector.sv
index 6a9d6fb..2b0a92f 100644
--- a/hw/ip/prim/rtl/prim_edge_detector.sv
+++ b/hw/ip/prim/rtl/prim_edge_detector.sv
@@ -49,7 +49,7 @@
else q_sync_q <= q_sync_d;
end
- assign q_posedge_pulse_o = ~q_sync_d & q_sync_q;
- assign q_negedge_pulse_o = q_sync_d & ~q_sync_q;
+ assign q_posedge_pulse_o = q_sync_d & ~q_sync_q;
+ assign q_negedge_pulse_o = ~q_sync_d & q_sync_q;
endmodule : prim_edge_detector
diff --git a/hw/ip/spi_device/rtl/spi_tpm.sv b/hw/ip/spi_device/rtl/spi_tpm.sv
index eb218d9..ceb0f29 100644
--- a/hw/ip/spi_device/rtl/spi_tpm.sv
+++ b/hw/ip/spi_device/rtl/spi_tpm.sv
@@ -1208,7 +1208,7 @@
// If the command and the address have been shifted, the Locality, command
// type should be matched with the shifted register.
`ASSERT(CmdAddrInfo_A,
- $fell(cmdaddr_shift_en) && !csb_i |->
+ $fell(cmdaddr_shift_en) && !csb_i && sck_tpm_cfg.tpm_en |->
(locality == sck_cmdaddr_wdata_q[15:12]) &&
(cmd_type == sck_cmdaddr_wdata_q[31]),
clk_in_i, !rst_n)
