Skip to content

Commit 7d4a79e

Browse files
andrea-caforioekarabu
andrea-caforio
and
ekarabu
authored
[fuse_ctrl, rtl] caliptra_ss alert trigger macros (#289)
* [fuse_ctrl, rtl] caliptra_ss alert trigger macros This commits adds a new set of alert trigger macros for modules that use simple logic alert ports instead of alert transactions. The new macros are then used to fix some failing assertions in the otp_ctrl. Addresses #148. Signed-off-by: Andrea Caforio <andrea.caforio@lowrisc.org> * MICROSOFT AUTOMATED PIPELINE: Stamp 'fix_alert_trigger_macros' with updated timestamp and hash after successful run --------- Signed-off-by: Andrea Caforio <andrea.caforio@lowrisc.org> Co-authored-by: Emre Karabulut <emre.karabulut.dde@gmail.com> Co-authored-by: Emre Karabulut <ekarabulut@microsoft.com>
1 parent 51754e6 commit 7d4a79e

File tree

16 files changed

+79
-56
lines changed

16 files changed

+79
-56
lines changed

‎.github/workflow_metadata/pr_hash‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
c65281e3f718795cf15a726281fb5b2b54dd92edb9fa1874b7e17c57f6c52c796284bbb8016b014527f878de99cc92e7
1+
e35b84c71d723a9f1a07943bb324b3ae4526a0d27f12c267d4cc1b1a4b162c009bf8d5f014b9d80a514c323f1af28339

‎.github/workflow_metadata/pr_timestamp‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
1745355925
1+
1745364054

‎src/fuse_ctrl/config/compile.yml‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -30,6 +30,7 @@ requires:
3030
- edn_pkg
3131
- pwrmgr_pkg
3232
- fuse_ctrl_pkg
33+
- ss_libs
3334
targets:
3435
rtl:
3536
directories:

‎src/fuse_ctrl/config/fuse_ctrl.vf‎

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -12,6 +12,7 @@
1212
+incdir+${CALIPTRA_SS_ROOT}/src/ast/rtl
1313
+incdir+${CALIPTRA_SS_ROOT}/src/pwrmgr/rtl
1414
+incdir+${CALIPTRA_SS_ROOT}/src/fuse_ctrl/rtl
15+
+incdir+${CALIPTRA_SS_ROOT}/src/libs/rtl
1516
+incdir+${CALIPTRA_SS_ROOT}/src/fuse_ctrl/coverage
1617
+incdir+${CALIPTRA_SS_ROOT}/src/fuse_ctrl/../src/integration/rtl
1718
${CALIPTRA_SS_ROOT}/third_party/caliptra-rtl/src/axi/rtl/axi_pkg.sv
@@ -186,6 +187,8 @@ ${CALIPTRA_SS_ROOT}/src/pwrmgr/rtl/pwrmgr_pkg.sv
186187
${CALIPTRA_SS_ROOT}/src/fuse_ctrl/rtl/otp_ctrl_reg_pkg.sv
187188
${CALIPTRA_SS_ROOT}/src/fuse_ctrl/rtl/otp_ctrl_pkg.sv
188189
${CALIPTRA_SS_ROOT}/src/fuse_ctrl/rtl/otp_ctrl_part_pkg.sv
190+
${CALIPTRA_SS_ROOT}/src/libs/rtl/sram_zeroization_gadget.sv
191+
${CALIPTRA_SS_ROOT}/src/libs/rtl/caliptra_ss_prim_assert_sec_cm.svh
189192
${CALIPTRA_SS_ROOT}/src/fuse_ctrl/rtl/otp_ctrl_core_reg_top.sv
190193
${CALIPTRA_SS_ROOT}/src/fuse_ctrl/rtl/otp_ctrl_prim_reg_top.sv
191194
${CALIPTRA_SS_ROOT}/src/fuse_ctrl/rtl/otp_ctrl_dai.sv
@@ -199,4 +202,4 @@ ${CALIPTRA_SS_ROOT}/src/fuse_ctrl/rtl/otp_ctrl_scrmbl.sv
199202
${CALIPTRA_SS_ROOT}/src/fuse_ctrl/rtl/otp_ctrl_token_const.sv
200203
${CALIPTRA_SS_ROOT}/src/fuse_ctrl/rtl/otp_ctrl.sv
201204
${CALIPTRA_SS_ROOT}/third_party/caliptra-rtl/src/integration/rtl/caliptra_reg_defines.svh
202-
${CALIPTRA_SS_ROOT}/src/fuse_ctrl/rtl/otp_ctrl_part_pkg.sv
205+
${CALIPTRA_SS_ROOT}/src/libs/rtl/caliptra_ss_prim_assert_sec_cm.svh

‎src/fuse_ctrl/rtl/otp_ctrl.sv‎

Lines changed: 25 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -6,6 +6,7 @@
66
//
77

88
`include "caliptra_prim_assert.sv"
9+
`include "caliptra_ss_prim_assert_sec_cm.svh"
910

1011
module otp_ctrl
1112
import otp_ctrl_pkg::*;
@@ -1166,6 +1167,8 @@ end
11661167
integ_chk_req[k],
11671168
cnsty_chk_req[k]};
11681169

1170+
`CALIPTRA_SS_ASSERT_PRIM_FSM_ERROR_TRIGGER_ALERT(OtpCtrlPartUnbufStateRegsCheck_A, u_part_unbuf.u_state_regs, alerts[1])
1171+
11691172
////////////////////////////////////////////////////////////////////////////////////////////////
11701173
end else if (PartInfo[k].variant == Buffered) begin : gen_buffered
11711174
otp_ctrl_part_buf #(
@@ -1218,6 +1221,9 @@ end
12181221
assign part_tlul_rvalid[k] = 1'b0;
12191222
assign part_tlul_rdata[k] = '0;
12201223

1224+
`CALIPTRA_SS_ASSERT_PRIM_COUNT_ERROR_TRIGGER_ALERT(OtpCtrPartBufPrimCountCheck_A, u_part_buf.u_prim_count, alerts[1])
1225+
`CALIPTRA_SS_ASSERT_PRIM_FSM_ERROR_TRIGGER_ALERT(OtpCtrlPartBufStateRegsCheck_A, u_part_buf.u_state_regs, alerts[1])
1226+
12211227
////////////////////////////////////////////////////////////////////////////////////////////////
12221228
end else if (PartInfo[k].variant == LifeCycle) begin : gen_lifecycle
12231229
otp_ctrl_part_buf #(
@@ -1282,6 +1288,10 @@ end
12821288
assign unused_part_scrmbl_sigs = ^{part_scrmbl_mtx_gnt[k],
12831289
part_scrmbl_req_ready[k],
12841290
part_scrmbl_rsp_valid[k]};
1291+
1292+
`CALIPTRA_SS_ASSERT_PRIM_COUNT_ERROR_TRIGGER_ALERT(OtpCtrLcPartBufPrimCountCheck_A, u_part_buf.u_prim_count, alerts[1])
1293+
`CALIPTRA_SS_ASSERT_PRIM_FSM_ERROR_TRIGGER_ALERT(OtpCtrlLcPartBufStateRegsCheck_A, u_part_buf.u_state_regs, alerts[1])
1294+
12851295
////////////////////////////////////////////////////////////////////////////////////////////////
12861296
end else begin : gen_invalid
12871297
// This is invalid and should break elaboration
@@ -1419,5 +1429,20 @@ end
14191429

14201430
`CALIPTRA_ASSERT(TransitionTokensValid_A, part_digest[SecretLcTransitionPartitionIdx] != '0 |-> test_tokens_valid == lc_ctrl_pkg::On)
14211431

1432+
// Redirect error triggers to the state error alert port.
1433+
`CALIPTRA_SS_ASSERT_PRIM_COUNT_ERROR_TRIGGER_ALERT(OtpCtrlDaiPrimCountCheck_A, u_otp_ctrl_dai.u_prim_count, alerts[1])
1434+
`CALIPTRA_SS_ASSERT_PRIM_FSM_ERROR_TRIGGER_ALERT(OtpCtrlDaiStateRegsCheck_A, u_otp_ctrl_dai.u_state_regs, alerts[1])
1435+
`CALIPTRA_SS_ASSERT_PRIM_ONEHOT_ERROR_TRIGGER_ALERT(OtpCtrlPrimOnehotCheck_A, u_reg_core.u_caliptra_prim_reg_we_check.u_caliptra_prim_onehot_check, alerts[1])
1436+
`CALIPTRA_SS_ASSERT_PRIM_COUNT_ERROR_TRIGGER_ALERT(OptCtrlLciPrimCountCheck_A, u_otp_ctrl_lci.u_prim_count, alerts[1])
1437+
`CALIPTRA_SS_ASSERT_PRIM_FSM_ERROR_TRIGGER_ALERT(OtpCtrlLciStateRegsCheck_A, u_otp_ctrl_lci.u_state_regs, alerts[1])
1438+
`CALIPTRA_SS_ASSERT_PRIM_COUNT_ERROR_TRIGGER_ALERT(OptCtrlLfsrTimerPrimCountCnstyCheck_A, u_otp_ctrl_lfsr_timer.u_prim_count_cnsty, alerts[1])
1439+
`CALIPTRA_SS_ASSERT_PRIM_COUNT_ERROR_TRIGGER_ALERT(OptCtrlLfsrTimerPrimCountIntegCheck_A, u_otp_ctrl_lfsr_timer.u_prim_count_integ, alerts[1])
1440+
`CALIPTRA_SS_ASSERT_PRIM_DOUBLE_LFSR_ERROR_TRIGGER_ALERT(OtpCtrlLfsrTimerPrimDoubleLfsrCheck_A, u_otp_ctrl_lfsr_timer.u_prim_double_lfsr, alerts[1])
1441+
`CALIPTRA_SS_ASSERT_PRIM_FSM_ERROR_TRIGGER_ALERT(OtpCtrlLfsrTimerStateRegsCheck_A, u_otp_ctrl_lfsr_timer.u_state_regs, alerts[1])
1442+
`CALIPTRA_SS_ASSERT_PRIM_COUNT_ERROR_TRIGGER_ALERT(OptCtrlScrmlPrimCountCheck_A, u_otp_ctrl_scrmbl.u_prim_count, alerts[1])
1443+
`CALIPTRA_SS_ASSERT_PRIM_FSM_ERROR_TRIGGER_ALERT(OtpCtrlScrmblStateRegsCheck_A, u_otp_ctrl_scrmbl.u_state_regs, alerts[1])
1444+
`CALIPTRA_SS_ASSERT_PRIM_FSM_ERROR_TRIGGER_ALERT(OtpCtrlTlulLcGateStateRegsCheck_A, u_tlul_lc_gate.u_state_regs, alerts[1])
1445+
`CALIPTRA_SS_ASSERT_PRIM_FSM_ERROR_TRIGGER_ALERT(OtpStateRegsCheck_A, caliptra_ss_top_tb.u_otp.u_state_regs, alerts[1])
1446+
`CALIPTRA_SS_ASSERT_PRIM_ONEHOT_ERROR_TRIGGER_ALERT(OtpPrimOnehotCheck_A, caliptra_ss_top_tb.u_otp.u_reg_top.u_caliptra_prim_reg_we_check.u_caliptra_prim_onehot_check, alerts[1])
14221447

14231448
endmodule : otp_ctrl

‎src/integration/config/caliptra_ss_top.vf‎

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -25,6 +25,7 @@
2525
+incdir+${CALIPTRA_SS_ROOT}/src/i3c_core/../../third_party/i3c-core/src/libs
2626
+incdir+${CALIPTRA_SS_ROOT}/src/i3c_core/../../third_party/i3c-core/src/libs/axi
2727
+incdir+${CALIPTRA_SS_ROOT}/src/i3c_core/../../third_party/i3c-core/src/libs/axi_sub
28+
+incdir+${CALIPTRA_SS_ROOT}/src/libs/rtl
2829
+incdir+${CALIPTRA_SS_ROOT}/src/fuse_ctrl/coverage
2930
+incdir+${CALIPTRA_SS_ROOT}/src/fuse_ctrl/../src/integration/rtl
3031
+incdir+${CALIPTRA_SS_ROOT}/third_party/caliptra-rtl/src/soc_ifc/rtl
@@ -34,7 +35,6 @@
3435
+incdir+${CALIPTRA_SS_ROOT}/third_party/caliptra-rtl/src/pcrvault/rtl
3536
+incdir+${CALIPTRA_SS_ROOT}/third_party/caliptra-rtl/src/sha512/rtl
3637
+incdir+${CALIPTRA_SS_ROOT}/src/mci/rtl
37-
+incdir+${CALIPTRA_SS_ROOT}/src/libs/rtl
3838
+incdir+${CALIPTRA_SS_ROOT}/third_party/caliptra-rtl/src/datavault/rtl
3939
+incdir+${CALIPTRA_SS_ROOT}/third_party/caliptra-rtl/src/ahb_lite_bus/rtl
4040
+incdir+${CALIPTRA_SS_ROOT}/third_party/caliptra-rtl/src/sha256/rtl
@@ -388,6 +388,8 @@ ${CALIPTRA_SS_ROOT}/src/i3c_core/../../third_party/i3c-core/src/ctrl/controller.
388388
${CALIPTRA_SS_ROOT}/src/i3c_core/../../third_party/i3c-core/src/ctrl/stable_high_detector.sv
389389
${CALIPTRA_SS_ROOT}/src/i3c_core/../../third_party/i3c-core/src/i3c.sv
390390
${CALIPTRA_SS_ROOT}/src/i3c_core/../../third_party/i3c-core/src/i3c_wrapper.sv
391+
${CALIPTRA_SS_ROOT}/src/libs/rtl/sram_zeroization_gadget.sv
392+
${CALIPTRA_SS_ROOT}/src/libs/rtl/caliptra_ss_prim_assert_sec_cm.svh
391393
${CALIPTRA_SS_ROOT}/src/fuse_ctrl/rtl/otp_ctrl_core_reg_top.sv
392394
${CALIPTRA_SS_ROOT}/src/fuse_ctrl/rtl/otp_ctrl_prim_reg_top.sv
393395
${CALIPTRA_SS_ROOT}/src/fuse_ctrl/rtl/otp_ctrl_dai.sv
@@ -454,7 +456,6 @@ ${CALIPTRA_SS_ROOT}/src/mci/rtl/mci_dmi_pkg.sv
454456
${CALIPTRA_SS_ROOT}/src/mci/rtl/mci_mcu_trace_buffer_pkg.sv
455457
${CALIPTRA_SS_ROOT}/src/mci/rtl/trace_buffer_csr_pkg.sv
456458
${CALIPTRA_SS_ROOT}/src/mci/rtl/mcu_mbox_csr_pkg.sv
457-
${CALIPTRA_SS_ROOT}/src/libs/rtl/sram_zeroization_gadget.sv
458459
${CALIPTRA_SS_ROOT}/src/mci/rtl/mci_top.sv
459460
${CALIPTRA_SS_ROOT}/src/mci/rtl/mci_axi_sub_decode.sv
460461
${CALIPTRA_SS_ROOT}/src/mci/rtl/mci_axi_sub_top.sv

‎src/integration/config/caliptra_ss_top_tb.vf‎

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -63,10 +63,10 @@
6363
+incdir+${CALIPTRA_SS_ROOT}/src/i3c_core/../../third_party/i3c-core/src/libs
6464
+incdir+${CALIPTRA_SS_ROOT}/src/i3c_core/../../third_party/i3c-core/src/libs/axi
6565
+incdir+${CALIPTRA_SS_ROOT}/src/i3c_core/../../third_party/i3c-core/src/libs/axi_sub
66+
+incdir+${CALIPTRA_SS_ROOT}/src/libs/rtl
6667
+incdir+${CALIPTRA_SS_ROOT}/src/fuse_ctrl/coverage
6768
+incdir+${CALIPTRA_SS_ROOT}/src/fuse_ctrl/../src/integration/rtl
6869
+incdir+${CALIPTRA_SS_ROOT}/src/mci/rtl
69-
+incdir+${CALIPTRA_SS_ROOT}/src/libs/rtl
7070
+incdir+${CALIPTRA_SS_ROOT}/third_party/caliptra-rtl/src/integration/asserts
7171
+incdir+${CALIPTRA_AXI4PC_DIR}
7272
+incdir+${CALIPTRA_SS_ROOT}/third_party/caliptra-rtl/src/entropy_src/tb
@@ -819,6 +819,8 @@ ${CALIPTRA_SS_ROOT}/src/i3c_core/../../third_party/i3c-core/src/ctrl/controller.
819819
${CALIPTRA_SS_ROOT}/src/i3c_core/../../third_party/i3c-core/src/ctrl/stable_high_detector.sv
820820
${CALIPTRA_SS_ROOT}/src/i3c_core/../../third_party/i3c-core/src/i3c.sv
821821
${CALIPTRA_SS_ROOT}/src/i3c_core/../../third_party/i3c-core/src/i3c_wrapper.sv
822+
${CALIPTRA_SS_ROOT}/src/libs/rtl/sram_zeroization_gadget.sv
823+
${CALIPTRA_SS_ROOT}/src/libs/rtl/caliptra_ss_prim_assert_sec_cm.svh
822824
${CALIPTRA_SS_ROOT}/src/fuse_ctrl/rtl/otp_ctrl_core_reg_top.sv
823825
${CALIPTRA_SS_ROOT}/src/fuse_ctrl/rtl/otp_ctrl_prim_reg_top.sv
824826
${CALIPTRA_SS_ROOT}/src/fuse_ctrl/rtl/otp_ctrl_dai.sv
@@ -837,7 +839,6 @@ ${CALIPTRA_SS_ROOT}/src/mci/rtl/mci_dmi_pkg.sv
837839
${CALIPTRA_SS_ROOT}/src/mci/rtl/mci_mcu_trace_buffer_pkg.sv
838840
${CALIPTRA_SS_ROOT}/src/mci/rtl/trace_buffer_csr_pkg.sv
839841
${CALIPTRA_SS_ROOT}/src/mci/rtl/mcu_mbox_csr_pkg.sv
840-
${CALIPTRA_SS_ROOT}/src/libs/rtl/sram_zeroization_gadget.sv
841842
${CALIPTRA_SS_ROOT}/src/mci/rtl/mci_top.sv
842843
${CALIPTRA_SS_ROOT}/src/mci/rtl/mci_axi_sub_decode.sv
843844
${CALIPTRA_SS_ROOT}/src/mci/rtl/mci_axi_sub_top.sv

‎src/integration/config/caliptra_ss_top_w_stub.vf‎

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -25,6 +25,7 @@
2525
+incdir+${CALIPTRA_SS_ROOT}/src/i3c_core/../../third_party/i3c-core/src/libs
2626
+incdir+${CALIPTRA_SS_ROOT}/src/i3c_core/../../third_party/i3c-core/src/libs/axi
2727
+incdir+${CALIPTRA_SS_ROOT}/src/i3c_core/../../third_party/i3c-core/src/libs/axi_sub
28+
+incdir+${CALIPTRA_SS_ROOT}/src/libs/rtl
2829
+incdir+${CALIPTRA_SS_ROOT}/src/fuse_ctrl/coverage
2930
+incdir+${CALIPTRA_SS_ROOT}/src/fuse_ctrl/../src/integration/rtl
3031
+incdir+${CALIPTRA_SS_ROOT}/third_party/caliptra-rtl/src/soc_ifc/rtl
@@ -34,7 +35,6 @@
3435
+incdir+${CALIPTRA_SS_ROOT}/third_party/caliptra-rtl/src/pcrvault/rtl
3536
+incdir+${CALIPTRA_SS_ROOT}/third_party/caliptra-rtl/src/sha512/rtl
3637
+incdir+${CALIPTRA_SS_ROOT}/src/mci/rtl
37-
+incdir+${CALIPTRA_SS_ROOT}/src/libs/rtl
3838
+incdir+${CALIPTRA_SS_ROOT}/third_party/caliptra-rtl/src/datavault/rtl
3939
+incdir+${CALIPTRA_SS_ROOT}/third_party/caliptra-rtl/src/ahb_lite_bus/rtl
4040
+incdir+${CALIPTRA_SS_ROOT}/third_party/caliptra-rtl/src/sha256/rtl
@@ -388,6 +388,8 @@ ${CALIPTRA_SS_ROOT}/src/i3c_core/../../third_party/i3c-core/src/ctrl/controller.
388388
${CALIPTRA_SS_ROOT}/src/i3c_core/../../third_party/i3c-core/src/ctrl/stable_high_detector.sv
389389
${CALIPTRA_SS_ROOT}/src/i3c_core/../../third_party/i3c-core/src/i3c.sv
390390
${CALIPTRA_SS_ROOT}/src/i3c_core/../../third_party/i3c-core/src/i3c_wrapper.sv
391+
${CALIPTRA_SS_ROOT}/src/libs/rtl/sram_zeroization_gadget.sv
392+
${CALIPTRA_SS_ROOT}/src/libs/rtl/caliptra_ss_prim_assert_sec_cm.svh
391393
${CALIPTRA_SS_ROOT}/src/fuse_ctrl/rtl/otp_ctrl_core_reg_top.sv
392394
${CALIPTRA_SS_ROOT}/src/fuse_ctrl/rtl/otp_ctrl_prim_reg_top.sv
393395
${CALIPTRA_SS_ROOT}/src/fuse_ctrl/rtl/otp_ctrl_dai.sv
@@ -454,7 +456,6 @@ ${CALIPTRA_SS_ROOT}/src/mci/rtl/mci_dmi_pkg.sv
454456
${CALIPTRA_SS_ROOT}/src/mci/rtl/mci_mcu_trace_buffer_pkg.sv
455457
${CALIPTRA_SS_ROOT}/src/mci/rtl/trace_buffer_csr_pkg.sv
456458
${CALIPTRA_SS_ROOT}/src/mci/rtl/mcu_mbox_csr_pkg.sv
457-
${CALIPTRA_SS_ROOT}/src/libs/rtl/sram_zeroization_gadget.sv
458459
${CALIPTRA_SS_ROOT}/src/mci/rtl/mci_top.sv
459460
${CALIPTRA_SS_ROOT}/src/mci/rtl/mci_axi_sub_decode.sv
460461
${CALIPTRA_SS_ROOT}/src/mci/rtl/mci_axi_sub_top.sv

‎src/integration/testbench/caliptra_ss_assertion_overrides.svh‎

Lines changed: 1 addition & 43 deletions
Original file line numberDiff line numberDiff line change
@@ -1,47 +1,5 @@
11

22
initial begin
33
$assertoff(0, caliptra_ss_top_tb.caliptra_ss_dut.i3c.i3c.xhci.i3c_csr.ERR_HWIF_IN); // FIXME - remove https://github.com/chipsalliance/i3c-core/issues/22
4-
5-
$assertoff(0, caliptra_ss_top_tb.caliptra_ss_dut.u_otp_ctrl.gen_partitions[0].gen_buffered.u_part_buf.u_prim_count.AssertConnected_A); // FIXME - remove https://github.com/chipsalliance/caliptra-ss/issues/148
6-
$assertoff(0, caliptra_ss_top_tb.caliptra_ss_dut.u_otp_ctrl.gen_partitions[0].gen_buffered.u_part_buf.u_state_regs.AssertConnected_A); // FIXME - remove https://github.com/chipsalliance/caliptra-ss/issues/148
7-
$assertoff(0, caliptra_ss_top_tb.caliptra_ss_dut.u_otp_ctrl.gen_partitions[10].gen_unbuffered.u_part_unbuf.u_state_regs.AssertConnected_A); // FIXME - remove https://github.com/chipsalliance/caliptra-ss/issues/148
8-
$assertoff(0, caliptra_ss_top_tb.caliptra_ss_dut.u_otp_ctrl.gen_partitions[11].gen_unbuffered.u_part_unbuf.u_state_regs.AssertConnected_A); // FIXME - remove https://github.com/chipsalliance/caliptra-ss/issues/148
9-
$assertoff(0, caliptra_ss_top_tb.caliptra_ss_dut.u_otp_ctrl.gen_partitions[12].gen_unbuffered.u_part_unbuf.u_state_regs.AssertConnected_A); // FIXME - remove https://github.com/chipsalliance/caliptra-ss/issues/148
10-
$assertoff(0, caliptra_ss_top_tb.caliptra_ss_dut.u_otp_ctrl.gen_partitions[13].gen_buffered.u_part_buf.u_prim_count.AssertConnected_A); // FIXME - remove https://github.com/chipsalliance/caliptra-ss/issues/148
11-
$assertoff(0, caliptra_ss_top_tb.caliptra_ss_dut.u_otp_ctrl.gen_partitions[13].gen_buffered.u_part_buf.u_state_regs.AssertConnected_A); // FIXME - remove https://github.com/chipsalliance/caliptra-ss/issues/148
12-
$assertoff(0, caliptra_ss_top_tb.caliptra_ss_dut.u_otp_ctrl.gen_partitions[14].gen_unbuffered.u_part_unbuf.u_state_regs.AssertConnected_A); // FIXME - remove https://github.com/chipsalliance/caliptra-ss/issues/148
13-
$assertoff(0, caliptra_ss_top_tb.caliptra_ss_dut.u_otp_ctrl.gen_partitions[15].gen_lifecycle.u_part_buf.u_prim_count.AssertConnected_A); // FIXME - remove https://github.com/chipsalliance/caliptra-ss/issues/148
14-
$assertoff(0, caliptra_ss_top_tb.caliptra_ss_dut.u_otp_ctrl.gen_partitions[15].gen_lifecycle.u_part_buf.u_state_regs.AssertConnected_A); // FIXME - remove https://github.com/chipsalliance/caliptra-ss/issues/148
15-
$assertoff(0, caliptra_ss_top_tb.caliptra_ss_dut.u_otp_ctrl.gen_partitions[1].gen_buffered.u_part_buf.u_prim_count.AssertConnected_A); // FIXME - remove https://github.com/chipsalliance/caliptra-ss/issues/148
16-
$assertoff(0, caliptra_ss_top_tb.caliptra_ss_dut.u_otp_ctrl.gen_partitions[1].gen_buffered.u_part_buf.u_state_regs.AssertConnected_A); // FIXME - remove https://github.com/chipsalliance/caliptra-ss/issues/148
17-
$assertoff(0, caliptra_ss_top_tb.caliptra_ss_dut.u_otp_ctrl.gen_partitions[2].gen_buffered.u_part_buf.u_prim_count.AssertConnected_A); // FIXME - remove https://github.com/chipsalliance/caliptra-ss/issues/148
18-
$assertoff(0, caliptra_ss_top_tb.caliptra_ss_dut.u_otp_ctrl.gen_partitions[2].gen_buffered.u_part_buf.u_state_regs.AssertConnected_A); // FIXME - remove https://github.com/chipsalliance/caliptra-ss/issues/148
19-
$assertoff(0, caliptra_ss_top_tb.caliptra_ss_dut.u_otp_ctrl.gen_partitions[3].gen_buffered.u_part_buf.u_prim_count.AssertConnected_A); // FIXME - remove https://github.com/chipsalliance/caliptra-ss/issues/148
20-
$assertoff(0, caliptra_ss_top_tb.caliptra_ss_dut.u_otp_ctrl.gen_partitions[3].gen_buffered.u_part_buf.u_state_regs.AssertConnected_A); // FIXME - remove https://github.com/chipsalliance/caliptra-ss/issues/148
21-
$assertoff(0, caliptra_ss_top_tb.caliptra_ss_dut.u_otp_ctrl.gen_partitions[4].gen_buffered.u_part_buf.u_prim_count.AssertConnected_A); // FIXME - remove https://github.com/chipsalliance/caliptra-ss/issues/148
22-
$assertoff(0, caliptra_ss_top_tb.caliptra_ss_dut.u_otp_ctrl.gen_partitions[4].gen_buffered.u_part_buf.u_state_regs.AssertConnected_A); // FIXME - remove https://github.com/chipsalliance/caliptra-ss/issues/148
23-
$assertoff(0, caliptra_ss_top_tb.caliptra_ss_dut.u_otp_ctrl.gen_partitions[5].gen_buffered.u_part_buf.u_prim_count.AssertConnected_A); // FIXME - remove https://github.com/chipsalliance/caliptra-ss/issues/148
24-
$assertoff(0, caliptra_ss_top_tb.caliptra_ss_dut.u_otp_ctrl.gen_partitions[5].gen_buffered.u_part_buf.u_state_regs.AssertConnected_A); // FIXME - remove https://github.com/chipsalliance/caliptra-ss/issues/148
25-
$assertoff(0, caliptra_ss_top_tb.caliptra_ss_dut.u_otp_ctrl.gen_partitions[6].gen_unbuffered.u_part_unbuf.u_state_regs.AssertConnected_A); // FIXME - remove https://github.com/chipsalliance/caliptra-ss/issues/148
26-
$assertoff(0, caliptra_ss_top_tb.caliptra_ss_dut.u_otp_ctrl.gen_partitions[7].gen_buffered.u_part_buf.u_prim_count.AssertConnected_A); // FIXME - remove https://github.com/chipsalliance/caliptra-ss/issues/148
27-
$assertoff(0, caliptra_ss_top_tb.caliptra_ss_dut.u_otp_ctrl.gen_partitions[7].gen_buffered.u_part_buf.u_state_regs.AssertConnected_A); // FIXME - remove https://github.com/chipsalliance/caliptra-ss/issues/148
28-
$assertoff(0, caliptra_ss_top_tb.caliptra_ss_dut.u_otp_ctrl.gen_partitions[8].gen_unbuffered.u_part_unbuf.u_state_regs.AssertConnected_A); // FIXME - remove https://github.com/chipsalliance/caliptra-ss/issues/148
29-
$assertoff(0, caliptra_ss_top_tb.caliptra_ss_dut.u_otp_ctrl.gen_partitions[9].gen_unbuffered.u_part_unbuf.u_state_regs.AssertConnected_A); // FIXME - remove https://github.com/chipsalliance/caliptra-ss/issues/148
30-
$assertoff(0, caliptra_ss_top_tb.caliptra_ss_dut.u_otp_ctrl.u_otp_ctrl_dai.u_prim_count.AssertConnected_A); // FIXME - remove https://github.com/chipsalliance/caliptra-ss/issues/148
31-
$assertoff(0, caliptra_ss_top_tb.caliptra_ss_dut.u_otp_ctrl.u_otp_ctrl_dai.u_state_regs.AssertConnected_A); // FIXME - remove https://github.com/chipsalliance/caliptra-ss/issues/148
32-
$assertoff(0, caliptra_ss_top_tb.caliptra_ss_dut.u_otp_ctrl.u_otp_ctrl_lci.u_prim_count.AssertConnected_A); // FIXME - remove https://github.com/chipsalliance/caliptra-ss/issues/148
33-
$assertoff(0, caliptra_ss_top_tb.caliptra_ss_dut.u_otp_ctrl.u_otp_ctrl_lci.u_state_regs.AssertConnected_A); // FIXME - remove https://github.com/chipsalliance/caliptra-ss/issues/148
34-
$assertoff(0, caliptra_ss_top_tb.caliptra_ss_dut.u_otp_ctrl.u_otp_ctrl_lfsr_timer.u_prim_count_cnsty.AssertConnected_A); // FIXME - remove https://github.com/chipsalliance/caliptra-ss/issues/148
35-
$assertoff(0, caliptra_ss_top_tb.caliptra_ss_dut.u_otp_ctrl.u_otp_ctrl_lfsr_timer.u_prim_count_integ.AssertConnected_A); // FIXME - remove https://github.com/chipsalliance/caliptra-ss/issues/148
36-
$assertoff(0, caliptra_ss_top_tb.caliptra_ss_dut.u_otp_ctrl.u_otp_ctrl_lfsr_timer.u_prim_double_lfsr.AssertConnected_A); // FIXME - remove https://github.com/chipsalliance/caliptra-ss/issues/148
37-
$assertoff(0, caliptra_ss_top_tb.caliptra_ss_dut.u_otp_ctrl.u_otp_ctrl_lfsr_timer.u_state_regs.AssertConnected_A); // FIXME - remove https://github.com/chipsalliance/caliptra-ss/issues/148
38-
$assertoff(0, caliptra_ss_top_tb.caliptra_ss_dut.u_otp_ctrl.u_otp_ctrl_scrmbl.u_prim_count.AssertConnected_A); // FIXME - remove https://github.com/chipsalliance/caliptra-ss/issues/148
39-
$assertoff(0, caliptra_ss_top_tb.caliptra_ss_dut.u_otp_ctrl.u_otp_ctrl_scrmbl.u_state_regs.AssertConnected_A); // FIXME - remove https://github.com/chipsalliance/caliptra-ss/issues/148
40-
$assertoff(0, caliptra_ss_top_tb.caliptra_ss_dut.u_otp_ctrl.u_reg_core.u_caliptra_prim_reg_we_check.u_caliptra_prim_onehot_check.AssertConnected_A); // FIXME - remove https://github.com/chipsalliance/caliptra-ss/issues/148
41-
$assertoff(0, caliptra_ss_top_tb.caliptra_ss_dut.u_otp_ctrl.u_tlul_lc_gate.u_state_regs.AssertConnected_A); // FIXME - remove https://github.com/chipsalliance/caliptra-ss/issues/148
42-
$assertoff(0, caliptra_ss_top_tb.u_otp.u_state_regs.AssertConnected_A); // FIXME - remove https://github.com/chipsalliance/caliptra-ss/issues/148
43-
$assertoff(0, caliptra_ss_top_tb.u_otp.u_reg_top.u_caliptra_prim_reg_we_check.u_caliptra_prim_onehot_check.AssertConnected_A); // FIXME - remove https://github.com/chipsalliance/caliptra-ss/issues/148
44-
$assertoff(0, caliptra_ss_top_tb.caliptra_ss_dut.mci_top_i.LCC_state_translator.DebugLockedCheck_A);
45-
46-
4+
$assertoff(0, caliptra_ss_top_tb.caliptra_ss_dut.mci_top_i.LCC_state_translator.DebugLockedCheck_A); // FIXME
475
end

0 commit comments

Comments
 (0)