../
Jasper® Apps Behavioral Property SynthesisReport
Jasper® Apps Behavioral Property SynthesisReport
| module: ariane | create date: May 10 21:26:13 EDT 2026 | filter: class in ( unclassified ) and rank = high and type in ( assert ) and progress state in ( new, hole, covered, covered_now_hole, assert, violated, certified_hole, certified_assert ) |
DESIGN INFORMATION SUMMARY:
| Flops | 1668 (22383) (0 property flop bits) | RTL Lines | 23908 |
| Latches | 7 (256) | RTL Instances | 233 |
| Gates | 46994 (422353) | Embedded Assumptions | 0 |
| Nets | 50153 | Embedded Assertions | 0 |
| Ports | 10 | Embedded Covers | 0 |
PROPERTY SYNTHESIS SUMMARY:
| POI Type | Number of POIs | Exercised Behaviors | Coverage Holes |
|---|---|---|---|
| User-defined | 1 | 1383 | 0 |
| User-defined | |||||
| POI# | Signals | Critical Values | |||
|---|---|---|---|---|---|
| Classification | Type | Status | Property | ||
| 1 | issue_stage_i.alu_valid_o , issue_stage_i.branch_valid_o , issue_stage_i.commit_ack_i[0] , issue_stage_i.commit_ack_i[1] , issue_stage_i.commit_instr_o[0].ex.valid , issue_stage_i.commit_instr_o[0].is_compressed , issue_stage_i.commit_instr_o[0].use_imm , issue_stage_i.commit_instr_o[0].use_pc , ... | ||||
| unclassified | assert | cex | issue_stage_i.alu_valid_o |=> issue_stage_i.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.alu_valid_o |=> issue_stage_i.i_issue_read_operands.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.branch_valid_o |=> issue_stage_i.commit_instr_o[0].use_imm | ||
| unclassified | assert | cex | issue_stage_i.branch_valid_o |=> issue_stage_i.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.branch_valid_o |=> issue_stage_i.i_issue_read_operands.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.branch_valid_o |=> issue_stage_i.i_scoreboard.commit_instr_o[0].use_imm | ||
| unclassified | assert | cex | issue_stage_i.commit_instr_o[0].ex.valid |=> issue_stage_i.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.commit_instr_o[0].ex.valid |=> issue_stage_i.i_issue_read_operands.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.commit_instr_o[0].ex.valid |=> issue_stage_i.i_issue_read_operands.lsu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.commit_instr_o[0].ex.valid |=> issue_stage_i.lsu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.commit_instr_o[0].use_pc |=> issue_stage_i.i_issue_read_operands.lsu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.commit_instr_o[0].use_pc |=> issue_stage_i.lsu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.commit_instr_o[1].ex.valid |=> issue_stage_i.commit_instr_o[1].use_imm | ||
| unclassified | assert | cex | issue_stage_i.commit_instr_o[1].ex.valid |=> issue_stage_i.i_issue_read_operands.lsu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.commit_instr_o[1].ex.valid |=> issue_stage_i.i_scoreboard.commit_instr_o[1].use_imm | ||
| unclassified | assert | cex | issue_stage_i.commit_instr_o[1].ex.valid |=> issue_stage_i.lsu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.commit_instr_o[1].use_pc |=> issue_stage_i.i_issue_read_operands.lsu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.commit_instr_o[1].use_pc |=> issue_stage_i.lsu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.csr_valid_o |=> issue_stage_i.commit_instr_o[0].valid | ||
| unclassified | assert | cex | issue_stage_i.csr_valid_o |=> issue_stage_i.i_issue_read_operands.we_gpr_i[0] | ||
| unclassified | assert | cex | issue_stage_i.csr_valid_o |=> issue_stage_i.i_issue_read_operands.we_pack[0] | ||
| unclassified | assert | cex | issue_stage_i.csr_valid_o |=> issue_stage_i.i_scoreboard.commit_instr_o[0].valid | ||
| unclassified | assert | cex | issue_stage_i.csr_valid_o |=> issue_stage_i.we_gpr_i[0] | ||
| unclassified | assert | proven | issue_stage_i.decoded_instr_i.is_compressed |=> issue_stage_i.i_issue_read_operands.is_compressed_instr_o | ||
| unclassified | assert | proven | issue_stage_i.decoded_instr_i.is_compressed |=> issue_stage_i.is_compressed_instr_o | ||
| unclassified | assert | cex | issue_stage_i.decoded_instr_i.use_pc |=> issue_stage_i.decoded_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.decoded_instr_i.use_pc |=> issue_stage_i.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.decoded_instr_i.use_pc |=> issue_stage_i.i_issue_read_operands.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.decoded_instr_i.use_pc |=> issue_stage_i.i_issue_read_operands.issue_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.decoded_instr_i.use_pc |=> issue_stage_i.i_re_name.issue_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.decoded_instr_i.use_pc |=> issue_stage_i.i_re_name.issue_instr_o.use_imm | ||
| unclassified | assert | cex | issue_stage_i.decoded_instr_i.use_pc |=> issue_stage_i.i_scoreboard.decoded_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.decoded_instr_i.use_pc |=> issue_stage_i.i_scoreboard.issue_instr_o.use_imm | ||
| unclassified | assert | cex | issue_stage_i.decoded_instr_i.use_pc |=> issue_stage_i.issue_instr_rename_sb.use_imm | ||
| unclassified | assert | cex | issue_stage_i.decoded_instr_i.use_pc |=> issue_stage_i.issue_instr_sb_iro.use_imm | ||
| unclassified | assert | proven | issue_stage_i.flush_i |=> issue_stage_i.flu_ready_i | ||
| unclassified | assert | proven | issue_stage_i.flush_i |=> issue_stage_i.i_issue_read_operands.flu_ready_i | ||
| unclassified | assert | proven | issue_stage_i.flush_i |=> issue_stage_i.i_issue_read_operands.lsu_ready_i | ||
| unclassified | assert | proven | issue_stage_i.flush_i |=> issue_stage_i.lsu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.flush_unissued_instr_i |=> issue_stage_i.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.flush_unissued_instr_i |=> issue_stage_i.i_issue_read_operands.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.fpu_valid_o |=> issue_stage_i.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.fpu_valid_o |=> issue_stage_i.i_issue_read_operands.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.fpu_valid_o |=> issue_stage_i.i_issue_read_operands.lsu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.fpu_valid_o |=> issue_stage_i.lsu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.alu_valid_o |=> issue_stage_i.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.alu_valid_o |=> issue_stage_i.i_issue_read_operands.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.alu_valid_q |=> issue_stage_i.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.alu_valid_q |=> issue_stage_i.i_issue_read_operands.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.branch_valid_o |=> issue_stage_i.commit_instr_o[0].use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.branch_valid_o |=> issue_stage_i.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.branch_valid_o |=> issue_stage_i.i_issue_read_operands.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.branch_valid_o |=> issue_stage_i.i_scoreboard.commit_instr_o[0].use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.branch_valid_q |=> issue_stage_i.commit_instr_o[0].use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.branch_valid_q |=> issue_stage_i.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.branch_valid_q |=> issue_stage_i.i_issue_read_operands.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.branch_valid_q |=> issue_stage_i.i_scoreboard.commit_instr_o[0].use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.csr_valid_o |=> issue_stage_i.commit_instr_o[0].valid | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.csr_valid_o |=> issue_stage_i.i_issue_read_operands.we_gpr_i[0] | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.csr_valid_o |=> issue_stage_i.i_issue_read_operands.we_pack[0] | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.csr_valid_o |=> issue_stage_i.i_scoreboard.commit_instr_o[0].valid | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.csr_valid_o |=> issue_stage_i.we_gpr_i[0] | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.csr_valid_q |=> issue_stage_i.commit_instr_o[0].valid | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.csr_valid_q |=> issue_stage_i.i_issue_read_operands.we_gpr_i[0] | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.csr_valid_q |=> issue_stage_i.i_issue_read_operands.we_pack[0] | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.csr_valid_q |=> issue_stage_i.i_scoreboard.commit_instr_o[0].valid | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.csr_valid_q |=> issue_stage_i.we_gpr_i[0] | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.flush_i |=> issue_stage_i.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.flush_i |=> issue_stage_i.i_issue_read_operands.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.fpu_valid_o |=> issue_stage_i.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.fpu_valid_o |=> issue_stage_i.i_issue_read_operands.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.fpu_valid_o |=> issue_stage_i.i_issue_read_operands.lsu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.fpu_valid_o |=> issue_stage_i.lsu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.fpu_valid_q |=> issue_stage_i.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.fpu_valid_q |=> issue_stage_i.i_issue_read_operands.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.fpu_valid_q |=> issue_stage_i.i_issue_read_operands.lsu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.fpu_valid_q |=> issue_stage_i.lsu_ready_i | ||
| unclassified | assert | proven | issue_stage_i.i_issue_read_operands.issue_instr_i.is_compressed |=> issue_stage_i.i_issue_read_operands.is_compressed_instr_o | ||
| unclassified | assert | proven | issue_stage_i.i_issue_read_operands.issue_instr_i.is_compressed |=> issue_stage_i.is_compressed_instr_o | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.issue_instr_i.use_pc |=> issue_stage_i.decoded_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.issue_instr_i.use_pc |=> issue_stage_i.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.issue_instr_i.use_pc |=> issue_stage_i.i_issue_read_operands.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.issue_instr_i.use_pc |=> issue_stage_i.i_issue_read_operands.issue_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.issue_instr_i.use_pc |=> issue_stage_i.i_re_name.issue_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.issue_instr_i.use_pc |=> issue_stage_i.i_re_name.issue_instr_o.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.issue_instr_i.use_pc |=> issue_stage_i.i_scoreboard.decoded_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.issue_instr_i.use_pc |=> issue_stage_i.i_scoreboard.issue_instr_o.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.issue_instr_i.use_pc |=> issue_stage_i.issue_instr_rename_sb.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.issue_instr_i.use_pc |=> issue_stage_i.issue_instr_sb_iro.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.mult_valid_o |=> issue_stage_i.decoded_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.mult_valid_o |=> issue_stage_i.decoded_instr_valid_i | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.mult_valid_o |=> issue_stage_i.i_issue_read_operands.issue_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.mult_valid_o |=> issue_stage_i.i_issue_read_operands.issue_instr_valid_i | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.mult_valid_o |=> issue_stage_i.i_issue_read_operands.lsu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.mult_valid_o |=> issue_stage_i.i_re_name.issue_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.mult_valid_o |=> issue_stage_i.i_re_name.issue_instr_o.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.mult_valid_o |=> issue_stage_i.i_re_name.issue_instr_valid_i | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.mult_valid_o |=> issue_stage_i.i_re_name.issue_instr_valid_o | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.mult_valid_o |=> issue_stage_i.i_scoreboard.decoded_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.mult_valid_o |=> issue_stage_i.i_scoreboard.decoded_instr_valid_i | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.mult_valid_o |=> issue_stage_i.i_scoreboard.issue_instr_o.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.mult_valid_o |=> issue_stage_i.i_scoreboard.issue_instr_valid_o | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.mult_valid_o |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.mult_valid_o |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.mult_valid_o |=> issue_stage_i.i_scoreboard.wt_valid_i[3] | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.mult_valid_o |=> issue_stage_i.issue_instr_rename_sb.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.mult_valid_o |=> issue_stage_i.issue_instr_sb_iro.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.mult_valid_o |=> issue_stage_i.issue_instr_valid_rename_sb | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.mult_valid_o |=> issue_stage_i.issue_instr_valid_sb_iro | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.mult_valid_o |=> issue_stage_i.lsu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.mult_valid_o |=> issue_stage_i.wt_valid_i[3] | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.mult_valid_q |=> issue_stage_i.decoded_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.mult_valid_q |=> issue_stage_i.decoded_instr_valid_i | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.mult_valid_q |=> issue_stage_i.i_issue_read_operands.issue_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.mult_valid_q |=> issue_stage_i.i_issue_read_operands.issue_instr_valid_i | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.mult_valid_q |=> issue_stage_i.i_issue_read_operands.lsu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.mult_valid_q |=> issue_stage_i.i_re_name.issue_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.mult_valid_q |=> issue_stage_i.i_re_name.issue_instr_o.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.mult_valid_q |=> issue_stage_i.i_re_name.issue_instr_valid_i | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.mult_valid_q |=> issue_stage_i.i_re_name.issue_instr_valid_o | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.mult_valid_q |=> issue_stage_i.i_scoreboard.decoded_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.mult_valid_q |=> issue_stage_i.i_scoreboard.decoded_instr_valid_i | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.mult_valid_q |=> issue_stage_i.i_scoreboard.issue_instr_o.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.mult_valid_q |=> issue_stage_i.i_scoreboard.issue_instr_valid_o | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.mult_valid_q |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.mult_valid_q |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.mult_valid_q |=> issue_stage_i.i_scoreboard.wt_valid_i[3] | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.mult_valid_q |=> issue_stage_i.issue_instr_rename_sb.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.mult_valid_q |=> issue_stage_i.issue_instr_sb_iro.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.mult_valid_q |=> issue_stage_i.issue_instr_valid_rename_sb | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.mult_valid_q |=> issue_stage_i.issue_instr_valid_sb_iro | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.mult_valid_q |=> issue_stage_i.lsu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.mult_valid_q |=> issue_stage_i.wt_valid_i[3] | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.we_fpr_i[0] |=> issue_stage_i.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.we_fpr_i[0] |=> issue_stage_i.i_issue_read_operands.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.we_fpr_i[0] |=> issue_stage_i.i_issue_read_operands.lsu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.we_fpr_i[0] |=> issue_stage_i.lsu_ready_i | ||
| unclassified | assert | proven | issue_stage_i.i_re_name.flush_i |=> issue_stage_i.flu_ready_i | ||
| unclassified | assert | proven | issue_stage_i.i_re_name.flush_i |=> issue_stage_i.i_issue_read_operands.flu_ready_i | ||
| unclassified | assert | proven | issue_stage_i.i_re_name.flush_i |=> issue_stage_i.i_issue_read_operands.lsu_ready_i | ||
| unclassified | assert | proven | issue_stage_i.i_re_name.flush_i |=> issue_stage_i.lsu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_re_name.flush_unissied_instr_i |=> issue_stage_i.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_re_name.flush_unissied_instr_i |=> issue_stage_i.i_issue_read_operands.flu_ready_i | ||
| unclassified | assert | proven | issue_stage_i.i_re_name.issue_instr_i.is_compressed |=> issue_stage_i.i_issue_read_operands.is_compressed_instr_o | ||
| unclassified | assert | proven | issue_stage_i.i_re_name.issue_instr_i.is_compressed |=> issue_stage_i.is_compressed_instr_o | ||
| unclassified | assert | cex | issue_stage_i.i_re_name.issue_instr_i.use_pc |=> issue_stage_i.decoded_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_re_name.issue_instr_i.use_pc |=> issue_stage_i.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_re_name.issue_instr_i.use_pc |=> issue_stage_i.i_issue_read_operands.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_re_name.issue_instr_i.use_pc |=> issue_stage_i.i_issue_read_operands.issue_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_re_name.issue_instr_i.use_pc |=> issue_stage_i.i_re_name.issue_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_re_name.issue_instr_i.use_pc |=> issue_stage_i.i_re_name.issue_instr_o.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_re_name.issue_instr_i.use_pc |=> issue_stage_i.i_scoreboard.decoded_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_re_name.issue_instr_i.use_pc |=> issue_stage_i.i_scoreboard.issue_instr_o.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_re_name.issue_instr_i.use_pc |=> issue_stage_i.issue_instr_rename_sb.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_re_name.issue_instr_i.use_pc |=> issue_stage_i.issue_instr_sb_iro.use_imm | ||
| unclassified | assert | proven | issue_stage_i.i_re_name.issue_instr_o.is_compressed |=> issue_stage_i.i_issue_read_operands.is_compressed_instr_o | ||
| unclassified | assert | proven | issue_stage_i.i_re_name.issue_instr_o.is_compressed |=> issue_stage_i.is_compressed_instr_o | ||
| unclassified | assert | cex | issue_stage_i.i_re_name.issue_instr_o.use_pc |=> issue_stage_i.decoded_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_re_name.issue_instr_o.use_pc |=> issue_stage_i.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_re_name.issue_instr_o.use_pc |=> issue_stage_i.i_issue_read_operands.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_re_name.issue_instr_o.use_pc |=> issue_stage_i.i_issue_read_operands.issue_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_re_name.issue_instr_o.use_pc |=> issue_stage_i.i_re_name.issue_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_re_name.issue_instr_o.use_pc |=> issue_stage_i.i_re_name.issue_instr_o.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_re_name.issue_instr_o.use_pc |=> issue_stage_i.i_scoreboard.decoded_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_re_name.issue_instr_o.use_pc |=> issue_stage_i.i_scoreboard.issue_instr_o.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_re_name.issue_instr_o.use_pc |=> issue_stage_i.issue_instr_rename_sb.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_re_name.issue_instr_o.use_pc |=> issue_stage_i.issue_instr_sb_iro.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.commit_instr_o[0].ex.valid |=> issue_stage_i.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.commit_instr_o[0].ex.valid |=> issue_stage_i.i_issue_read_operands.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.commit_instr_o[0].ex.valid |=> issue_stage_i.i_issue_read_operands.lsu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.commit_instr_o[0].ex.valid |=> issue_stage_i.lsu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.commit_instr_o[0].use_pc |=> issue_stage_i.i_issue_read_operands.lsu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.commit_instr_o[0].use_pc |=> issue_stage_i.lsu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.commit_instr_o[1].ex.valid |=> issue_stage_i.commit_instr_o[1].use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.commit_instr_o[1].ex.valid |=> issue_stage_i.i_issue_read_operands.lsu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.commit_instr_o[1].ex.valid |=> issue_stage_i.i_scoreboard.commit_instr_o[1].use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.commit_instr_o[1].ex.valid |=> issue_stage_i.lsu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.commit_instr_o[1].use_pc |=> issue_stage_i.i_issue_read_operands.lsu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.commit_instr_o[1].use_pc |=> issue_stage_i.lsu_ready_i | ||
| unclassified | assert | proven | issue_stage_i.i_scoreboard.decoded_instr_i.is_compressed |=> issue_stage_i.i_issue_read_operands.is_compressed_instr_o | ||
| unclassified | assert | proven | issue_stage_i.i_scoreboard.decoded_instr_i.is_compressed |=> issue_stage_i.is_compressed_instr_o | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.decoded_instr_i.use_pc |=> issue_stage_i.decoded_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.decoded_instr_i.use_pc |=> issue_stage_i.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.decoded_instr_i.use_pc |=> issue_stage_i.i_issue_read_operands.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.decoded_instr_i.use_pc |=> issue_stage_i.i_issue_read_operands.issue_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.decoded_instr_i.use_pc |=> issue_stage_i.i_re_name.issue_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.decoded_instr_i.use_pc |=> issue_stage_i.i_re_name.issue_instr_o.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.decoded_instr_i.use_pc |=> issue_stage_i.i_scoreboard.decoded_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.decoded_instr_i.use_pc |=> issue_stage_i.i_scoreboard.issue_instr_o.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.decoded_instr_i.use_pc |=> issue_stage_i.issue_instr_rename_sb.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.decoded_instr_i.use_pc |=> issue_stage_i.issue_instr_sb_iro.use_imm | ||
| unclassified | assert | proven | issue_stage_i.i_scoreboard.flush_i |=> issue_stage_i.flu_ready_i | ||
| unclassified | assert | proven | issue_stage_i.i_scoreboard.flush_i |=> issue_stage_i.i_issue_read_operands.flu_ready_i | ||
| unclassified | assert | proven | issue_stage_i.i_scoreboard.flush_i |=> issue_stage_i.i_issue_read_operands.lsu_ready_i | ||
| unclassified | assert | proven | issue_stage_i.i_scoreboard.flush_i |=> issue_stage_i.lsu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.flush_unissued_instr_i |=> issue_stage_i.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.flush_unissued_instr_i |=> issue_stage_i.i_issue_read_operands.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_full |=> issue_stage_i.commit_ack_i[0] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_full |=> issue_stage_i.commit_ack_i[1] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_full |=> issue_stage_i.commit_instr_o[0].is_compressed | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_full |=> issue_stage_i.commit_instr_o[0].valid | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_full |=> issue_stage_i.commit_instr_o[1].use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_full |=> issue_stage_i.commit_instr_o[1].valid | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_full |=> issue_stage_i.decoded_instr_ack_o | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_full |=> issue_stage_i.decoded_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_full |=> issue_stage_i.decoded_instr_valid_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_full |=> issue_stage_i.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_full |=> issue_stage_i.i_issue_read_operands.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_full |=> issue_stage_i.i_issue_read_operands.issue_ack_o | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_full |=> issue_stage_i.i_issue_read_operands.issue_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_full |=> issue_stage_i.i_issue_read_operands.issue_instr_valid_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_full |=> issue_stage_i.i_issue_read_operands.lsu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_full |=> issue_stage_i.i_issue_read_operands.we_gpr_i[0] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_full |=> issue_stage_i.i_issue_read_operands.we_gpr_i[1] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_full |=> issue_stage_i.i_issue_read_operands.we_pack[0] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_full |=> issue_stage_i.i_issue_read_operands.we_pack[1] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_full |=> issue_stage_i.i_re_name.issue_ack_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_full |=> issue_stage_i.i_re_name.issue_ack_o | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_full |=> issue_stage_i.i_re_name.issue_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_full |=> issue_stage_i.i_re_name.issue_instr_o.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_full |=> issue_stage_i.i_re_name.issue_instr_valid_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_full |=> issue_stage_i.i_re_name.issue_instr_valid_o | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_full |=> issue_stage_i.i_scoreboard.commit_ack_i[0] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_full |=> issue_stage_i.i_scoreboard.commit_ack_i[1] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_full |=> issue_stage_i.i_scoreboard.commit_instr_o[0].is_compressed | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_full |=> issue_stage_i.i_scoreboard.commit_instr_o[0].valid | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_full |=> issue_stage_i.i_scoreboard.commit_instr_o[1].use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_full |=> issue_stage_i.i_scoreboard.commit_instr_o[1].valid | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_full |=> issue_stage_i.i_scoreboard.decoded_instr_ack_o | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_full |=> issue_stage_i.i_scoreboard.decoded_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_full |=> issue_stage_i.i_scoreboard.decoded_instr_valid_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_full |=> issue_stage_i.i_scoreboard.i_popcount.data_i[0] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_full |=> issue_stage_i.i_scoreboard.i_popcount.data_i[1] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_full |=> issue_stage_i.i_scoreboard.i_popcount.left_child_result | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_full |=> issue_stage_i.i_scoreboard.i_popcount.padded_input[0] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_full |=> issue_stage_i.i_scoreboard.i_popcount.padded_input[1] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_full |=> issue_stage_i.i_scoreboard.i_popcount.popcount_o[1] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_full |=> issue_stage_i.i_scoreboard.i_popcount.right_child_result | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_full |=> issue_stage_i.i_scoreboard.issue_ack_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_full |=> issue_stage_i.i_scoreboard.issue_en | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_full |=> issue_stage_i.i_scoreboard.issue_instr_o.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_full |=> issue_stage_i.i_scoreboard.issue_instr_valid_o | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_full |=> issue_stage_i.i_scoreboard.mem_n[0].issued | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_full |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.is_compressed | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_full |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_full |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.valid | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_full |=> issue_stage_i.i_scoreboard.mem_q[0].issued | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_full |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.is_compressed | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_full |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_full |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.valid | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_full |=> issue_stage_i.i_scoreboard.num_commit[1] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_full |=> issue_stage_i.issue_ack_iro_sb | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_full |=> issue_stage_i.issue_ack_sb_rename | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_full |=> issue_stage_i.issue_instr_rename_sb.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_full |=> issue_stage_i.issue_instr_sb_iro.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_full |=> issue_stage_i.issue_instr_valid_rename_sb | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_full |=> issue_stage_i.issue_instr_valid_sb_iro | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_full |=> issue_stage_i.lsu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_full |=> issue_stage_i.we_gpr_i[0] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_full |=> issue_stage_i.we_gpr_i[1] | ||
| unclassified | assert | proven | issue_stage_i.i_scoreboard.issue_instr_o.is_compressed |=> issue_stage_i.i_issue_read_operands.is_compressed_instr_o | ||
| unclassified | assert | proven | issue_stage_i.i_scoreboard.issue_instr_o.is_compressed |=> issue_stage_i.is_compressed_instr_o | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_instr_o.use_pc |=> issue_stage_i.decoded_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_instr_o.use_pc |=> issue_stage_i.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_instr_o.use_pc |=> issue_stage_i.i_issue_read_operands.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_instr_o.use_pc |=> issue_stage_i.i_issue_read_operands.issue_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_instr_o.use_pc |=> issue_stage_i.i_re_name.issue_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_instr_o.use_pc |=> issue_stage_i.i_re_name.issue_instr_o.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_instr_o.use_pc |=> issue_stage_i.i_scoreboard.decoded_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_instr_o.use_pc |=> issue_stage_i.i_scoreboard.issue_instr_o.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_instr_o.use_pc |=> issue_stage_i.issue_instr_rename_sb.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_instr_o.use_pc |=> issue_stage_i.issue_instr_sb_iro.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_n[0].is_rd_fpr_flag |=> issue_stage_i.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_n[0].is_rd_fpr_flag |=> issue_stage_i.i_issue_read_operands.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_n[0].is_rd_fpr_flag |=> issue_stage_i.i_issue_read_operands.lsu_ready_i | ||
| unclassified | assert | proven | issue_stage_i.i_scoreboard.mem_n[0].is_rd_fpr_flag |=> issue_stage_i.i_scoreboard.mem_q[0].is_rd_fpr_flag | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_n[0].is_rd_fpr_flag |=> issue_stage_i.lsu_ready_i | ||
| unclassified | assert | proven | issue_stage_i.i_scoreboard.mem_n[0].issued |=> issue_stage_i.i_scoreboard.mem_q[0].issued | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_n[0].sbe.ex.valid |=> issue_stage_i.commit_instr_o[1].use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_n[0].sbe.ex.valid |=> issue_stage_i.decoded_instr_i.ex.valid | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_n[0].sbe.ex.valid |=> issue_stage_i.decoded_instr_i.valid | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_n[0].sbe.ex.valid |=> issue_stage_i.i_issue_read_operands.issue_instr_i.ex.valid | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_n[0].sbe.ex.valid |=> issue_stage_i.i_issue_read_operands.issue_instr_i.valid | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_n[0].sbe.ex.valid |=> issue_stage_i.i_issue_read_operands.lsu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_n[0].sbe.ex.valid |=> issue_stage_i.i_re_name.issue_instr_i.ex.valid | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_n[0].sbe.ex.valid |=> issue_stage_i.i_re_name.issue_instr_i.valid | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_n[0].sbe.ex.valid |=> issue_stage_i.i_re_name.issue_instr_o.ex.valid | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_n[0].sbe.ex.valid |=> issue_stage_i.i_re_name.issue_instr_o.valid | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_n[0].sbe.ex.valid |=> issue_stage_i.i_scoreboard.commit_instr_o[1].use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_n[0].sbe.ex.valid |=> issue_stage_i.i_scoreboard.decoded_instr_i.ex.valid | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_n[0].sbe.ex.valid |=> issue_stage_i.i_scoreboard.decoded_instr_i.valid | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_n[0].sbe.ex.valid |=> issue_stage_i.i_scoreboard.issue_instr_o.ex.valid | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_n[0].sbe.ex.valid |=> issue_stage_i.i_scoreboard.issue_instr_o.valid | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_n[0].sbe.ex.valid |=> issue_stage_i.i_scoreboard.mem_q[0].issued | ||
| unclassified | assert | proven | issue_stage_i.i_scoreboard.mem_n[0].sbe.ex.valid |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.ex.valid | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_n[0].sbe.ex.valid |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.valid | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_n[0].sbe.ex.valid |=> issue_stage_i.issue_instr_rename_sb.ex.valid | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_n[0].sbe.ex.valid |=> issue_stage_i.issue_instr_rename_sb.valid | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_n[0].sbe.ex.valid |=> issue_stage_i.issue_instr_sb_iro.ex.valid | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_n[0].sbe.ex.valid |=> issue_stage_i.issue_instr_sb_iro.valid | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_n[0].sbe.ex.valid |=> issue_stage_i.lsu_ready_i | ||
| unclassified | assert | proven | issue_stage_i.i_scoreboard.mem_n[0].sbe.is_compressed |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.is_compressed | ||
| unclassified | assert | proven | issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_n[0].sbe.use_pc |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | proven | issue_stage_i.i_scoreboard.mem_n[0].sbe.use_pc |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | proven | issue_stage_i.i_scoreboard.mem_n[0].sbe.use_pc |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_pc | ||
| unclassified | assert | proven | issue_stage_i.i_scoreboard.mem_n[0].sbe.valid |=> issue_stage_i.i_scoreboard.mem_q[0].issued | ||
| unclassified | assert | proven | issue_stage_i.i_scoreboard.mem_n[0].sbe.valid |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.valid | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_q[0].is_rd_fpr_flag |=> issue_stage_i.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_q[0].is_rd_fpr_flag |=> issue_stage_i.i_issue_read_operands.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_q[0].is_rd_fpr_flag |=> issue_stage_i.i_issue_read_operands.lsu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_q[0].is_rd_fpr_flag |=> issue_stage_i.lsu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_q[0].sbe.ex.valid |=> issue_stage_i.decoded_instr_i.ex.valid | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_q[0].sbe.ex.valid |=> issue_stage_i.decoded_instr_i.valid | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_q[0].sbe.ex.valid |=> issue_stage_i.i_issue_read_operands.issue_instr_i.ex.valid | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_q[0].sbe.ex.valid |=> issue_stage_i.i_issue_read_operands.issue_instr_i.valid | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_q[0].sbe.ex.valid |=> issue_stage_i.i_issue_read_operands.lsu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_q[0].sbe.ex.valid |=> issue_stage_i.i_re_name.issue_instr_i.ex.valid | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_q[0].sbe.ex.valid |=> issue_stage_i.i_re_name.issue_instr_i.valid | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_q[0].sbe.ex.valid |=> issue_stage_i.i_re_name.issue_instr_o.ex.valid | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_q[0].sbe.ex.valid |=> issue_stage_i.i_re_name.issue_instr_o.valid | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_q[0].sbe.ex.valid |=> issue_stage_i.i_scoreboard.decoded_instr_i.ex.valid | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_q[0].sbe.ex.valid |=> issue_stage_i.i_scoreboard.decoded_instr_i.valid | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_q[0].sbe.ex.valid |=> issue_stage_i.i_scoreboard.issue_instr_o.ex.valid | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_q[0].sbe.ex.valid |=> issue_stage_i.i_scoreboard.issue_instr_o.valid | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_q[0].sbe.ex.valid |=> issue_stage_i.issue_instr_rename_sb.ex.valid | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_q[0].sbe.ex.valid |=> issue_stage_i.issue_instr_rename_sb.valid | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_q[0].sbe.ex.valid |=> issue_stage_i.issue_instr_sb_iro.ex.valid | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_q[0].sbe.ex.valid |=> issue_stage_i.issue_instr_sb_iro.valid | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_q[0].sbe.ex.valid |=> issue_stage_i.lsu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_q[0].sbe.use_pc |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_q[0].sbe.use_pc |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.resolved_branch_i.is_mispredict |=> issue_stage_i.commit_instr_o[0].use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.resolved_branch_i.is_mispredict |=> issue_stage_i.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.resolved_branch_i.is_mispredict |=> issue_stage_i.i_issue_read_operands.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.resolved_branch_i.is_mispredict |=> issue_stage_i.i_scoreboard.commit_instr_o[0].use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.resolved_branch_i.is_taken |=> issue_stage_i.commit_instr_o[0].use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.resolved_branch_i.is_taken |=> issue_stage_i.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.resolved_branch_i.is_taken |=> issue_stage_i.i_issue_read_operands.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.resolved_branch_i.is_taken |=> issue_stage_i.i_scoreboard.commit_instr_o[0].use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.resolved_branch_i.valid |=> issue_stage_i.commit_instr_o[0].use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.resolved_branch_i.valid |=> issue_stage_i.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.resolved_branch_i.valid |=> issue_stage_i.i_issue_read_operands.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.resolved_branch_i.valid |=> issue_stage_i.i_scoreboard.commit_instr_o[0].use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.sb_full_o |=> issue_stage_i.commit_ack_i[0] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.sb_full_o |=> issue_stage_i.commit_ack_i[1] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.sb_full_o |=> issue_stage_i.commit_instr_o[0].is_compressed | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.sb_full_o |=> issue_stage_i.commit_instr_o[0].valid | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.sb_full_o |=> issue_stage_i.commit_instr_o[1].use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.sb_full_o |=> issue_stage_i.commit_instr_o[1].valid | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.sb_full_o |=> issue_stage_i.decoded_instr_ack_o | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.sb_full_o |=> issue_stage_i.decoded_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.sb_full_o |=> issue_stage_i.decoded_instr_valid_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.sb_full_o |=> issue_stage_i.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.sb_full_o |=> issue_stage_i.i_issue_read_operands.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.sb_full_o |=> issue_stage_i.i_issue_read_operands.issue_ack_o | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.sb_full_o |=> issue_stage_i.i_issue_read_operands.issue_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.sb_full_o |=> issue_stage_i.i_issue_read_operands.issue_instr_valid_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.sb_full_o |=> issue_stage_i.i_issue_read_operands.lsu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.sb_full_o |=> issue_stage_i.i_issue_read_operands.we_gpr_i[0] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.sb_full_o |=> issue_stage_i.i_issue_read_operands.we_gpr_i[1] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.sb_full_o |=> issue_stage_i.i_issue_read_operands.we_pack[0] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.sb_full_o |=> issue_stage_i.i_issue_read_operands.we_pack[1] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.sb_full_o |=> issue_stage_i.i_re_name.issue_ack_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.sb_full_o |=> issue_stage_i.i_re_name.issue_ack_o | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.sb_full_o |=> issue_stage_i.i_re_name.issue_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.sb_full_o |=> issue_stage_i.i_re_name.issue_instr_o.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.sb_full_o |=> issue_stage_i.i_re_name.issue_instr_valid_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.sb_full_o |=> issue_stage_i.i_re_name.issue_instr_valid_o | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.sb_full_o |=> issue_stage_i.i_scoreboard.commit_ack_i[0] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.sb_full_o |=> issue_stage_i.i_scoreboard.commit_ack_i[1] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.sb_full_o |=> issue_stage_i.i_scoreboard.commit_instr_o[0].is_compressed | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.sb_full_o |=> issue_stage_i.i_scoreboard.commit_instr_o[0].valid | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.sb_full_o |=> issue_stage_i.i_scoreboard.commit_instr_o[1].use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.sb_full_o |=> issue_stage_i.i_scoreboard.commit_instr_o[1].valid | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.sb_full_o |=> issue_stage_i.i_scoreboard.decoded_instr_ack_o | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.sb_full_o |=> issue_stage_i.i_scoreboard.decoded_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.sb_full_o |=> issue_stage_i.i_scoreboard.decoded_instr_valid_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.sb_full_o |=> issue_stage_i.i_scoreboard.i_popcount.data_i[0] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.sb_full_o |=> issue_stage_i.i_scoreboard.i_popcount.data_i[1] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.sb_full_o |=> issue_stage_i.i_scoreboard.i_popcount.left_child_result | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.sb_full_o |=> issue_stage_i.i_scoreboard.i_popcount.padded_input[0] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.sb_full_o |=> issue_stage_i.i_scoreboard.i_popcount.padded_input[1] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.sb_full_o |=> issue_stage_i.i_scoreboard.i_popcount.popcount_o[1] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.sb_full_o |=> issue_stage_i.i_scoreboard.i_popcount.right_child_result | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.sb_full_o |=> issue_stage_i.i_scoreboard.issue_ack_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.sb_full_o |=> issue_stage_i.i_scoreboard.issue_en | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.sb_full_o |=> issue_stage_i.i_scoreboard.issue_instr_o.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.sb_full_o |=> issue_stage_i.i_scoreboard.issue_instr_valid_o | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.sb_full_o |=> issue_stage_i.i_scoreboard.mem_n[0].issued | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.sb_full_o |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.is_compressed | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.sb_full_o |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.sb_full_o |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.valid | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.sb_full_o |=> issue_stage_i.i_scoreboard.mem_q[0].issued | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.sb_full_o |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.is_compressed | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.sb_full_o |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.sb_full_o |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.valid | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.sb_full_o |=> issue_stage_i.i_scoreboard.num_commit[1] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.sb_full_o |=> issue_stage_i.issue_ack_iro_sb | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.sb_full_o |=> issue_stage_i.issue_ack_sb_rename | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.sb_full_o |=> issue_stage_i.issue_instr_rename_sb.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.sb_full_o |=> issue_stage_i.issue_instr_sb_iro.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.sb_full_o |=> issue_stage_i.issue_instr_valid_rename_sb | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.sb_full_o |=> issue_stage_i.issue_instr_valid_sb_iro | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.sb_full_o |=> issue_stage_i.lsu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.sb_full_o |=> issue_stage_i.we_gpr_i[0] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.sb_full_o |=> issue_stage_i.we_gpr_i[1] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[0] |=> issue_stage_i.commit_ack_i[0] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[0] |=> issue_stage_i.commit_instr_o[0].valid | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[0] |=> issue_stage_i.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[0] |=> issue_stage_i.i_issue_read_operands.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[0] |=> issue_stage_i.i_issue_read_operands.lsu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[0] |=> issue_stage_i.i_issue_read_operands.we_fpr_i[0] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[0] |=> issue_stage_i.i_scoreboard.commit_ack_i[0] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[0] |=> issue_stage_i.i_scoreboard.commit_instr_o[0].valid | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[0] |=> issue_stage_i.i_scoreboard.i_popcount.data_i[0] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[0] |=> issue_stage_i.i_scoreboard.i_popcount.padded_input[0] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[0] |=> issue_stage_i.i_scoreboard.i_popcount.right_child_result | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[0] |=> issue_stage_i.lsu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[0] |=> issue_stage_i.we_fpr_i[0] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[1] |=> issue_stage_i.commit_instr_o[0].valid | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[1] |=> issue_stage_i.i_issue_read_operands.we_gpr_i[0] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[1] |=> issue_stage_i.i_issue_read_operands.we_pack[0] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[1] |=> issue_stage_i.i_scoreboard.commit_instr_o[0].valid | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[1] |=> issue_stage_i.we_gpr_i[0] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[2] |=> issue_stage_i.commit_ack_i[0] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[2] |=> issue_stage_i.commit_instr_o[0].use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[2] |=> issue_stage_i.commit_instr_o[0].valid | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[2] |=> issue_stage_i.i_issue_read_operands.we_gpr_i[0] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[2] |=> issue_stage_i.i_issue_read_operands.we_pack[0] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[2] |=> issue_stage_i.i_scoreboard.commit_ack_i[0] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[2] |=> issue_stage_i.i_scoreboard.commit_instr_o[0].use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[2] |=> issue_stage_i.i_scoreboard.commit_instr_o[0].valid | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[2] |=> issue_stage_i.i_scoreboard.i_popcount.data_i[0] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[2] |=> issue_stage_i.i_scoreboard.i_popcount.padded_input[0] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[2] |=> issue_stage_i.i_scoreboard.i_popcount.right_child_result | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[2] |=> issue_stage_i.we_gpr_i[0] | ||
| unclassified | assert | proven | issue_stage_i.issue_instr_rename_sb.is_compressed |=> issue_stage_i.i_issue_read_operands.is_compressed_instr_o | ||
| unclassified | assert | proven | issue_stage_i.issue_instr_rename_sb.is_compressed |=> issue_stage_i.is_compressed_instr_o | ||
| unclassified | assert | cex | issue_stage_i.issue_instr_rename_sb.use_pc |=> issue_stage_i.decoded_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.issue_instr_rename_sb.use_pc |=> issue_stage_i.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.issue_instr_rename_sb.use_pc |=> issue_stage_i.i_issue_read_operands.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.issue_instr_rename_sb.use_pc |=> issue_stage_i.i_issue_read_operands.issue_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.issue_instr_rename_sb.use_pc |=> issue_stage_i.i_re_name.issue_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.issue_instr_rename_sb.use_pc |=> issue_stage_i.i_re_name.issue_instr_o.use_imm | ||
| unclassified | assert | cex | issue_stage_i.issue_instr_rename_sb.use_pc |=> issue_stage_i.i_scoreboard.decoded_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.issue_instr_rename_sb.use_pc |=> issue_stage_i.i_scoreboard.issue_instr_o.use_imm | ||
| unclassified | assert | cex | issue_stage_i.issue_instr_rename_sb.use_pc |=> issue_stage_i.issue_instr_rename_sb.use_imm | ||
| unclassified | assert | cex | issue_stage_i.issue_instr_rename_sb.use_pc |=> issue_stage_i.issue_instr_sb_iro.use_imm | ||
| unclassified | assert | proven | issue_stage_i.issue_instr_sb_iro.is_compressed |=> issue_stage_i.i_issue_read_operands.is_compressed_instr_o | ||
| unclassified | assert | proven | issue_stage_i.issue_instr_sb_iro.is_compressed |=> issue_stage_i.is_compressed_instr_o | ||
| unclassified | assert | cex | issue_stage_i.issue_instr_sb_iro.use_pc |=> issue_stage_i.decoded_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.issue_instr_sb_iro.use_pc |=> issue_stage_i.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.issue_instr_sb_iro.use_pc |=> issue_stage_i.i_issue_read_operands.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.issue_instr_sb_iro.use_pc |=> issue_stage_i.i_issue_read_operands.issue_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.issue_instr_sb_iro.use_pc |=> issue_stage_i.i_re_name.issue_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.issue_instr_sb_iro.use_pc |=> issue_stage_i.i_re_name.issue_instr_o.use_imm | ||
| unclassified | assert | cex | issue_stage_i.issue_instr_sb_iro.use_pc |=> issue_stage_i.i_scoreboard.decoded_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.issue_instr_sb_iro.use_pc |=> issue_stage_i.i_scoreboard.issue_instr_o.use_imm | ||
| unclassified | assert | cex | issue_stage_i.issue_instr_sb_iro.use_pc |=> issue_stage_i.issue_instr_rename_sb.use_imm | ||
| unclassified | assert | cex | issue_stage_i.issue_instr_sb_iro.use_pc |=> issue_stage_i.issue_instr_sb_iro.use_imm | ||
| unclassified | assert | cex | issue_stage_i.mult_valid_o |=> issue_stage_i.decoded_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.mult_valid_o |=> issue_stage_i.decoded_instr_valid_i | ||
| unclassified | assert | cex | issue_stage_i.mult_valid_o |=> issue_stage_i.i_issue_read_operands.issue_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.mult_valid_o |=> issue_stage_i.i_issue_read_operands.issue_instr_valid_i | ||
| unclassified | assert | cex | issue_stage_i.mult_valid_o |=> issue_stage_i.i_issue_read_operands.lsu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.mult_valid_o |=> issue_stage_i.i_re_name.issue_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.mult_valid_o |=> issue_stage_i.i_re_name.issue_instr_o.use_imm | ||
| unclassified | assert | cex | issue_stage_i.mult_valid_o |=> issue_stage_i.i_re_name.issue_instr_valid_i | ||
| unclassified | assert | cex | issue_stage_i.mult_valid_o |=> issue_stage_i.i_re_name.issue_instr_valid_o | ||
| unclassified | assert | cex | issue_stage_i.mult_valid_o |=> issue_stage_i.i_scoreboard.decoded_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.mult_valid_o |=> issue_stage_i.i_scoreboard.decoded_instr_valid_i | ||
| unclassified | assert | cex | issue_stage_i.mult_valid_o |=> issue_stage_i.i_scoreboard.issue_instr_o.use_imm | ||
| unclassified | assert | cex | issue_stage_i.mult_valid_o |=> issue_stage_i.i_scoreboard.issue_instr_valid_o | ||
| unclassified | assert | cex | issue_stage_i.mult_valid_o |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.mult_valid_o |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.mult_valid_o |=> issue_stage_i.i_scoreboard.wt_valid_i[3] | ||
| unclassified | assert | cex | issue_stage_i.mult_valid_o |=> issue_stage_i.issue_instr_rename_sb.use_imm | ||
| unclassified | assert | cex | issue_stage_i.mult_valid_o |=> issue_stage_i.issue_instr_sb_iro.use_imm | ||
| unclassified | assert | cex | issue_stage_i.mult_valid_o |=> issue_stage_i.issue_instr_valid_rename_sb | ||
| unclassified | assert | cex | issue_stage_i.mult_valid_o |=> issue_stage_i.issue_instr_valid_sb_iro | ||
| unclassified | assert | cex | issue_stage_i.mult_valid_o |=> issue_stage_i.lsu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.mult_valid_o |=> issue_stage_i.wt_valid_i[3] | ||
| unclassified | assert | cex | issue_stage_i.resolve_branch_i |=> issue_stage_i.commit_instr_o[0].use_imm | ||
| unclassified | assert | cex | issue_stage_i.resolve_branch_i |=> issue_stage_i.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.resolve_branch_i |=> issue_stage_i.i_issue_read_operands.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.resolve_branch_i |=> issue_stage_i.i_scoreboard.commit_instr_o[0].use_imm | ||
| unclassified | assert | cex | issue_stage_i.resolved_branch_i.is_mispredict |=> issue_stage_i.commit_instr_o[0].use_imm | ||
| unclassified | assert | cex | issue_stage_i.resolved_branch_i.is_mispredict |=> issue_stage_i.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.resolved_branch_i.is_mispredict |=> issue_stage_i.i_issue_read_operands.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.resolved_branch_i.is_mispredict |=> issue_stage_i.i_scoreboard.commit_instr_o[0].use_imm | ||
| unclassified | assert | cex | issue_stage_i.resolved_branch_i.is_taken |=> issue_stage_i.commit_instr_o[0].use_imm | ||
| unclassified | assert | cex | issue_stage_i.resolved_branch_i.is_taken |=> issue_stage_i.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.resolved_branch_i.is_taken |=> issue_stage_i.i_issue_read_operands.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.resolved_branch_i.is_taken |=> issue_stage_i.i_scoreboard.commit_instr_o[0].use_imm | ||
| unclassified | assert | cex | issue_stage_i.resolved_branch_i.valid |=> issue_stage_i.commit_instr_o[0].use_imm | ||
| unclassified | assert | cex | issue_stage_i.resolved_branch_i.valid |=> issue_stage_i.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.resolved_branch_i.valid |=> issue_stage_i.i_issue_read_operands.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.resolved_branch_i.valid |=> issue_stage_i.i_scoreboard.commit_instr_o[0].use_imm | ||
| unclassified | assert | cex | issue_stage_i.sb_full_o |=> issue_stage_i.commit_ack_i[0] | ||
| unclassified | assert | cex | issue_stage_i.sb_full_o |=> issue_stage_i.commit_ack_i[1] | ||
| unclassified | assert | cex | issue_stage_i.sb_full_o |=> issue_stage_i.commit_instr_o[0].is_compressed | ||
| unclassified | assert | cex | issue_stage_i.sb_full_o |=> issue_stage_i.commit_instr_o[0].valid | ||
| unclassified | assert | cex | issue_stage_i.sb_full_o |=> issue_stage_i.commit_instr_o[1].use_imm | ||
| unclassified | assert | cex | issue_stage_i.sb_full_o |=> issue_stage_i.commit_instr_o[1].valid | ||
| unclassified | assert | cex | issue_stage_i.sb_full_o |=> issue_stage_i.decoded_instr_ack_o | ||
| unclassified | assert | cex | issue_stage_i.sb_full_o |=> issue_stage_i.decoded_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.sb_full_o |=> issue_stage_i.decoded_instr_valid_i | ||
| unclassified | assert | cex | issue_stage_i.sb_full_o |=> issue_stage_i.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.sb_full_o |=> issue_stage_i.i_issue_read_operands.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.sb_full_o |=> issue_stage_i.i_issue_read_operands.issue_ack_o | ||
| unclassified | assert | cex | issue_stage_i.sb_full_o |=> issue_stage_i.i_issue_read_operands.issue_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.sb_full_o |=> issue_stage_i.i_issue_read_operands.issue_instr_valid_i | ||
| unclassified | assert | cex | issue_stage_i.sb_full_o |=> issue_stage_i.i_issue_read_operands.lsu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.sb_full_o |=> issue_stage_i.i_issue_read_operands.we_gpr_i[0] | ||
| unclassified | assert | cex | issue_stage_i.sb_full_o |=> issue_stage_i.i_issue_read_operands.we_gpr_i[1] | ||
| unclassified | assert | cex | issue_stage_i.sb_full_o |=> issue_stage_i.i_issue_read_operands.we_pack[0] | ||
| unclassified | assert | cex | issue_stage_i.sb_full_o |=> issue_stage_i.i_issue_read_operands.we_pack[1] | ||
| unclassified | assert | cex | issue_stage_i.sb_full_o |=> issue_stage_i.i_re_name.issue_ack_i | ||
| unclassified | assert | cex | issue_stage_i.sb_full_o |=> issue_stage_i.i_re_name.issue_ack_o | ||
| unclassified | assert | cex | issue_stage_i.sb_full_o |=> issue_stage_i.i_re_name.issue_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.sb_full_o |=> issue_stage_i.i_re_name.issue_instr_o.use_imm | ||
| unclassified | assert | cex | issue_stage_i.sb_full_o |=> issue_stage_i.i_re_name.issue_instr_valid_i | ||
| unclassified | assert | cex | issue_stage_i.sb_full_o |=> issue_stage_i.i_re_name.issue_instr_valid_o | ||
| unclassified | assert | cex | issue_stage_i.sb_full_o |=> issue_stage_i.i_scoreboard.commit_ack_i[0] | ||
| unclassified | assert | cex | issue_stage_i.sb_full_o |=> issue_stage_i.i_scoreboard.commit_ack_i[1] | ||
| unclassified | assert | cex | issue_stage_i.sb_full_o |=> issue_stage_i.i_scoreboard.commit_instr_o[0].is_compressed | ||
| unclassified | assert | cex | issue_stage_i.sb_full_o |=> issue_stage_i.i_scoreboard.commit_instr_o[0].valid | ||
| unclassified | assert | cex | issue_stage_i.sb_full_o |=> issue_stage_i.i_scoreboard.commit_instr_o[1].use_imm | ||
| unclassified | assert | cex | issue_stage_i.sb_full_o |=> issue_stage_i.i_scoreboard.commit_instr_o[1].valid | ||
| unclassified | assert | cex | issue_stage_i.sb_full_o |=> issue_stage_i.i_scoreboard.decoded_instr_ack_o | ||
| unclassified | assert | cex | issue_stage_i.sb_full_o |=> issue_stage_i.i_scoreboard.decoded_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.sb_full_o |=> issue_stage_i.i_scoreboard.decoded_instr_valid_i | ||
| unclassified | assert | cex | issue_stage_i.sb_full_o |=> issue_stage_i.i_scoreboard.i_popcount.data_i[0] | ||
| unclassified | assert | cex | issue_stage_i.sb_full_o |=> issue_stage_i.i_scoreboard.i_popcount.data_i[1] | ||
| unclassified | assert | cex | issue_stage_i.sb_full_o |=> issue_stage_i.i_scoreboard.i_popcount.left_child_result | ||
| unclassified | assert | cex | issue_stage_i.sb_full_o |=> issue_stage_i.i_scoreboard.i_popcount.padded_input[0] | ||
| unclassified | assert | cex | issue_stage_i.sb_full_o |=> issue_stage_i.i_scoreboard.i_popcount.padded_input[1] | ||
| unclassified | assert | cex | issue_stage_i.sb_full_o |=> issue_stage_i.i_scoreboard.i_popcount.popcount_o[1] | ||
| unclassified | assert | cex | issue_stage_i.sb_full_o |=> issue_stage_i.i_scoreboard.i_popcount.right_child_result | ||
| unclassified | assert | cex | issue_stage_i.sb_full_o |=> issue_stage_i.i_scoreboard.issue_ack_i | ||
| unclassified | assert | cex | issue_stage_i.sb_full_o |=> issue_stage_i.i_scoreboard.issue_en | ||
| unclassified | assert | cex | issue_stage_i.sb_full_o |=> issue_stage_i.i_scoreboard.issue_instr_o.use_imm | ||
| unclassified | assert | cex | issue_stage_i.sb_full_o |=> issue_stage_i.i_scoreboard.issue_instr_valid_o | ||
| unclassified | assert | cex | issue_stage_i.sb_full_o |=> issue_stage_i.i_scoreboard.mem_n[0].issued | ||
| unclassified | assert | cex | issue_stage_i.sb_full_o |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.is_compressed | ||
| unclassified | assert | cex | issue_stage_i.sb_full_o |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.sb_full_o |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.valid | ||
| unclassified | assert | cex | issue_stage_i.sb_full_o |=> issue_stage_i.i_scoreboard.mem_q[0].issued | ||
| unclassified | assert | cex | issue_stage_i.sb_full_o |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.is_compressed | ||
| unclassified | assert | cex | issue_stage_i.sb_full_o |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.sb_full_o |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.valid | ||
| unclassified | assert | cex | issue_stage_i.sb_full_o |=> issue_stage_i.i_scoreboard.num_commit[1] | ||
| unclassified | assert | cex | issue_stage_i.sb_full_o |=> issue_stage_i.issue_ack_iro_sb | ||
| unclassified | assert | cex | issue_stage_i.sb_full_o |=> issue_stage_i.issue_ack_sb_rename | ||
| unclassified | assert | cex | issue_stage_i.sb_full_o |=> issue_stage_i.issue_instr_rename_sb.use_imm | ||
| unclassified | assert | cex | issue_stage_i.sb_full_o |=> issue_stage_i.issue_instr_sb_iro.use_imm | ||
| unclassified | assert | cex | issue_stage_i.sb_full_o |=> issue_stage_i.issue_instr_valid_rename_sb | ||
| unclassified | assert | cex | issue_stage_i.sb_full_o |=> issue_stage_i.issue_instr_valid_sb_iro | ||
| unclassified | assert | cex | issue_stage_i.sb_full_o |=> issue_stage_i.lsu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.sb_full_o |=> issue_stage_i.we_gpr_i[0] | ||
| unclassified | assert | cex | issue_stage_i.sb_full_o |=> issue_stage_i.we_gpr_i[1] | ||
| unclassified | assert | cex | issue_stage_i.we_fpr_i[0] |=> issue_stage_i.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.we_fpr_i[0] |=> issue_stage_i.i_issue_read_operands.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.we_fpr_i[0] |=> issue_stage_i.i_issue_read_operands.lsu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.we_fpr_i[0] |=> issue_stage_i.lsu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[0] |=> issue_stage_i.commit_ack_i[0] | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[0] |=> issue_stage_i.commit_instr_o[0].valid | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[0] |=> issue_stage_i.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[0] |=> issue_stage_i.i_issue_read_operands.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[0] |=> issue_stage_i.i_issue_read_operands.lsu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[0] |=> issue_stage_i.i_issue_read_operands.we_fpr_i[0] | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[0] |=> issue_stage_i.i_scoreboard.commit_ack_i[0] | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[0] |=> issue_stage_i.i_scoreboard.commit_instr_o[0].valid | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[0] |=> issue_stage_i.i_scoreboard.i_popcount.data_i[0] | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[0] |=> issue_stage_i.i_scoreboard.i_popcount.padded_input[0] | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[0] |=> issue_stage_i.i_scoreboard.i_popcount.right_child_result | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[0] |=> issue_stage_i.lsu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[0] |=> issue_stage_i.we_fpr_i[0] | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[1] |=> issue_stage_i.commit_instr_o[0].valid | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[1] |=> issue_stage_i.i_issue_read_operands.we_gpr_i[0] | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[1] |=> issue_stage_i.i_issue_read_operands.we_pack[0] | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[1] |=> issue_stage_i.i_scoreboard.commit_instr_o[0].valid | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[1] |=> issue_stage_i.we_gpr_i[0] | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[2] |=> issue_stage_i.commit_ack_i[0] | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[2] |=> issue_stage_i.commit_instr_o[0].use_imm | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[2] |=> issue_stage_i.commit_instr_o[0].valid | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[2] |=> issue_stage_i.i_issue_read_operands.we_gpr_i[0] | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[2] |=> issue_stage_i.i_issue_read_operands.we_pack[0] | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[2] |=> issue_stage_i.i_scoreboard.commit_ack_i[0] | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[2] |=> issue_stage_i.i_scoreboard.commit_instr_o[0].use_imm | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[2] |=> issue_stage_i.i_scoreboard.commit_instr_o[0].valid | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[2] |=> issue_stage_i.i_scoreboard.i_popcount.data_i[0] | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[2] |=> issue_stage_i.i_scoreboard.i_popcount.padded_input[0] | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[2] |=> issue_stage_i.i_scoreboard.i_popcount.right_child_result | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[2] |=> issue_stage_i.we_gpr_i[0] | ||
| unclassified | assert | cex | issue_stage_i.alu_valid_o |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.alu_valid_o |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.branch_valid_o |=> issue_stage_i.commit_ack_i[0] | ||
| unclassified | assert | cex | issue_stage_i.branch_valid_o |=> issue_stage_i.commit_instr_o[0].valid | ||
| unclassified | assert | cex | issue_stage_i.branch_valid_o |=> issue_stage_i.i_issue_read_operands.we_gpr_i[0] | ||
| unclassified | assert | cex | issue_stage_i.branch_valid_o |=> issue_stage_i.i_issue_read_operands.we_pack[0] | ||
| unclassified | assert | cex | issue_stage_i.branch_valid_o |=> issue_stage_i.i_scoreboard.commit_ack_i[0] | ||
| unclassified | assert | cex | issue_stage_i.branch_valid_o |=> issue_stage_i.i_scoreboard.commit_instr_o[0].valid | ||
| unclassified | assert | cex | issue_stage_i.branch_valid_o |=> issue_stage_i.i_scoreboard.i_popcount.data_i[0] | ||
| unclassified | assert | cex | issue_stage_i.branch_valid_o |=> issue_stage_i.i_scoreboard.i_popcount.padded_input[0] | ||
| unclassified | assert | cex | issue_stage_i.branch_valid_o |=> issue_stage_i.i_scoreboard.i_popcount.popcount_o[0] | ||
| unclassified | assert | cex | issue_stage_i.branch_valid_o |=> issue_stage_i.i_scoreboard.i_popcount.right_child_result | ||
| unclassified | assert | cex | issue_stage_i.branch_valid_o |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.branch_valid_o |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.branch_valid_o |=> issue_stage_i.i_scoreboard.num_commit[0] | ||
| unclassified | assert | cex | issue_stage_i.branch_valid_o |=> issue_stage_i.we_gpr_i[0] | ||
| unclassified | assert | cex | issue_stage_i.commit_ack_i[1] |=> issue_stage_i.commit_instr_o[1].use_imm | ||
| unclassified | assert | cex | issue_stage_i.commit_ack_i[1] |=> issue_stage_i.i_scoreboard.commit_instr_o[1].use_imm | ||
| unclassified | assert | cex | issue_stage_i.commit_instr_o[0].ex.valid |=> issue_stage_i.decoded_instr_i.ex.valid | ||
| unclassified | assert | cex | issue_stage_i.commit_instr_o[0].ex.valid |=> issue_stage_i.decoded_instr_i.valid | ||
| unclassified | assert | cex | issue_stage_i.commit_instr_o[0].ex.valid |=> issue_stage_i.i_issue_read_operands.issue_instr_i.ex.valid | ||
| unclassified | assert | cex | issue_stage_i.commit_instr_o[0].ex.valid |=> issue_stage_i.i_issue_read_operands.issue_instr_i.valid | ||
| unclassified | assert | cex | issue_stage_i.commit_instr_o[0].ex.valid |=> issue_stage_i.i_re_name.issue_instr_i.ex.valid | ||
| unclassified | assert | cex | issue_stage_i.commit_instr_o[0].ex.valid |=> issue_stage_i.i_re_name.issue_instr_i.valid | ||
| unclassified | assert | cex | issue_stage_i.commit_instr_o[0].ex.valid |=> issue_stage_i.i_re_name.issue_instr_o.ex.valid | ||
| unclassified | assert | cex | issue_stage_i.commit_instr_o[0].ex.valid |=> issue_stage_i.i_re_name.issue_instr_o.valid | ||
| unclassified | assert | cex | issue_stage_i.commit_instr_o[0].ex.valid |=> issue_stage_i.i_scoreboard.decoded_instr_i.ex.valid | ||
| unclassified | assert | cex | issue_stage_i.commit_instr_o[0].ex.valid |=> issue_stage_i.i_scoreboard.decoded_instr_i.valid | ||
| unclassified | assert | cex | issue_stage_i.commit_instr_o[0].ex.valid |=> issue_stage_i.i_scoreboard.issue_instr_o.ex.valid | ||
| unclassified | assert | cex | issue_stage_i.commit_instr_o[0].ex.valid |=> issue_stage_i.i_scoreboard.issue_instr_o.valid | ||
| unclassified | assert | cex | issue_stage_i.commit_instr_o[0].ex.valid |=> issue_stage_i.issue_instr_rename_sb.ex.valid | ||
| unclassified | assert | cex | issue_stage_i.commit_instr_o[0].ex.valid |=> issue_stage_i.issue_instr_rename_sb.valid | ||
| unclassified | assert | cex | issue_stage_i.commit_instr_o[0].ex.valid |=> issue_stage_i.issue_instr_sb_iro.ex.valid | ||
| unclassified | assert | cex | issue_stage_i.commit_instr_o[0].ex.valid |=> issue_stage_i.issue_instr_sb_iro.valid | ||
| unclassified | assert | cex | issue_stage_i.commit_instr_o[0].is_compressed |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.commit_instr_o[0].is_compressed |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.commit_instr_o[0].use_pc |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.commit_instr_o[0].use_pc |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.commit_instr_o[1].is_compressed |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.commit_instr_o[1].is_compressed |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.commit_instr_o[1].use_pc |=> issue_stage_i.commit_instr_o[0].use_imm | ||
| unclassified | assert | cex | issue_stage_i.commit_instr_o[1].use_pc |=> issue_stage_i.commit_instr_o[1].use_imm | ||
| unclassified | assert | cex | issue_stage_i.commit_instr_o[1].use_pc |=> issue_stage_i.i_scoreboard.commit_instr_o[0].use_imm | ||
| unclassified | assert | cex | issue_stage_i.commit_instr_o[1].use_pc |=> issue_stage_i.i_scoreboard.commit_instr_o[1].use_imm | ||
| unclassified | assert | cex | issue_stage_i.commit_instr_o[1].use_pc |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.commit_instr_o[1].use_pc |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.commit_instr_o[1].valid |=> issue_stage_i.commit_instr_o[1].use_imm | ||
| unclassified | assert | cex | issue_stage_i.commit_instr_o[1].valid |=> issue_stage_i.i_scoreboard.commit_instr_o[1].use_imm | ||
| unclassified | assert | cex | issue_stage_i.csr_valid_o |=> issue_stage_i.commit_ack_i[0] | ||
| unclassified | assert | cex | issue_stage_i.csr_valid_o |=> issue_stage_i.i_scoreboard.commit_ack_i[0] | ||
| unclassified | assert | cex | issue_stage_i.csr_valid_o |=> issue_stage_i.i_scoreboard.i_popcount.data_i[0] | ||
| unclassified | assert | cex | issue_stage_i.csr_valid_o |=> issue_stage_i.i_scoreboard.i_popcount.padded_input[0] | ||
| unclassified | assert | cex | issue_stage_i.csr_valid_o |=> issue_stage_i.i_scoreboard.i_popcount.popcount_o[0] | ||
| unclassified | assert | cex | issue_stage_i.csr_valid_o |=> issue_stage_i.i_scoreboard.i_popcount.right_child_result | ||
| unclassified | assert | cex | issue_stage_i.csr_valid_o |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.csr_valid_o |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.csr_valid_o |=> issue_stage_i.i_scoreboard.num_commit[0] | ||
| unclassified | assert | cex | issue_stage_i.decoded_instr_i.is_compressed |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.decoded_instr_i.is_compressed |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.decoded_instr_i.use_imm |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.decoded_instr_i.use_pc |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.decoded_instr_i.use_pc |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.alu_valid_o |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.alu_valid_o |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.alu_valid_q |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.alu_valid_q |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.branch_valid_o |=> issue_stage_i.commit_ack_i[0] | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.branch_valid_o |=> issue_stage_i.commit_instr_o[0].valid | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.branch_valid_o |=> issue_stage_i.i_issue_read_operands.we_gpr_i[0] | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.branch_valid_o |=> issue_stage_i.i_issue_read_operands.we_pack[0] | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.branch_valid_o |=> issue_stage_i.i_scoreboard.commit_ack_i[0] | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.branch_valid_o |=> issue_stage_i.i_scoreboard.commit_instr_o[0].valid | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.branch_valid_o |=> issue_stage_i.i_scoreboard.i_popcount.data_i[0] | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.branch_valid_o |=> issue_stage_i.i_scoreboard.i_popcount.padded_input[0] | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.branch_valid_o |=> issue_stage_i.i_scoreboard.i_popcount.popcount_o[0] | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.branch_valid_o |=> issue_stage_i.i_scoreboard.i_popcount.right_child_result | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.branch_valid_o |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.branch_valid_o |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.branch_valid_o |=> issue_stage_i.i_scoreboard.num_commit[0] | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.branch_valid_o |=> issue_stage_i.we_gpr_i[0] | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.branch_valid_q |=> issue_stage_i.commit_ack_i[0] | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.branch_valid_q |=> issue_stage_i.commit_instr_o[0].valid | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.branch_valid_q |=> issue_stage_i.i_issue_read_operands.we_gpr_i[0] | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.branch_valid_q |=> issue_stage_i.i_issue_read_operands.we_pack[0] | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.branch_valid_q |=> issue_stage_i.i_scoreboard.commit_ack_i[0] | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.branch_valid_q |=> issue_stage_i.i_scoreboard.commit_instr_o[0].valid | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.branch_valid_q |=> issue_stage_i.i_scoreboard.i_popcount.data_i[0] | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.branch_valid_q |=> issue_stage_i.i_scoreboard.i_popcount.padded_input[0] | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.branch_valid_q |=> issue_stage_i.i_scoreboard.i_popcount.popcount_o[0] | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.branch_valid_q |=> issue_stage_i.i_scoreboard.i_popcount.right_child_result | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.branch_valid_q |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.branch_valid_q |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.branch_valid_q |=> issue_stage_i.i_scoreboard.num_commit[0] | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.branch_valid_q |=> issue_stage_i.we_gpr_i[0] | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.csr_valid_o |=> issue_stage_i.commit_ack_i[0] | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.csr_valid_o |=> issue_stage_i.i_scoreboard.commit_ack_i[0] | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.csr_valid_o |=> issue_stage_i.i_scoreboard.i_popcount.data_i[0] | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.csr_valid_o |=> issue_stage_i.i_scoreboard.i_popcount.padded_input[0] | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.csr_valid_o |=> issue_stage_i.i_scoreboard.i_popcount.popcount_o[0] | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.csr_valid_o |=> issue_stage_i.i_scoreboard.i_popcount.right_child_result | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.csr_valid_o |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.csr_valid_o |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.csr_valid_o |=> issue_stage_i.i_scoreboard.num_commit[0] | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.csr_valid_q |=> issue_stage_i.commit_ack_i[0] | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.csr_valid_q |=> issue_stage_i.i_scoreboard.commit_ack_i[0] | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.csr_valid_q |=> issue_stage_i.i_scoreboard.i_popcount.data_i[0] | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.csr_valid_q |=> issue_stage_i.i_scoreboard.i_popcount.padded_input[0] | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.csr_valid_q |=> issue_stage_i.i_scoreboard.i_popcount.popcount_o[0] | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.csr_valid_q |=> issue_stage_i.i_scoreboard.i_popcount.right_child_result | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.csr_valid_q |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.csr_valid_q |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.csr_valid_q |=> issue_stage_i.i_scoreboard.num_commit[0] | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.is_compressed_instr_o |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.is_compressed_instr_o |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.issue_instr_i.is_compressed |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.issue_instr_i.is_compressed |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.issue_instr_i.use_imm |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.issue_instr_i.use_pc |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.issue_instr_i.use_pc |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.lsu_valid_o |=> issue_stage_i.commit_instr_o[0].use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.lsu_valid_o |=> issue_stage_i.decoded_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.lsu_valid_o |=> issue_stage_i.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.lsu_valid_o |=> issue_stage_i.i_issue_read_operands.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.lsu_valid_o |=> issue_stage_i.i_issue_read_operands.issue_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.lsu_valid_o |=> issue_stage_i.i_re_name.issue_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.lsu_valid_o |=> issue_stage_i.i_re_name.issue_instr_o.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.lsu_valid_o |=> issue_stage_i.i_scoreboard.commit_instr_o[0].use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.lsu_valid_o |=> issue_stage_i.i_scoreboard.decoded_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.lsu_valid_o |=> issue_stage_i.i_scoreboard.issue_instr_o.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.lsu_valid_o |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.lsu_valid_o |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.lsu_valid_o |=> issue_stage_i.issue_instr_rename_sb.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.lsu_valid_o |=> issue_stage_i.issue_instr_sb_iro.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.lsu_valid_q |=> issue_stage_i.commit_instr_o[0].use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.lsu_valid_q |=> issue_stage_i.decoded_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.lsu_valid_q |=> issue_stage_i.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.lsu_valid_q |=> issue_stage_i.i_issue_read_operands.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.lsu_valid_q |=> issue_stage_i.i_issue_read_operands.issue_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.lsu_valid_q |=> issue_stage_i.i_re_name.issue_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.lsu_valid_q |=> issue_stage_i.i_re_name.issue_instr_o.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.lsu_valid_q |=> issue_stage_i.i_scoreboard.commit_instr_o[0].use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.lsu_valid_q |=> issue_stage_i.i_scoreboard.decoded_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.lsu_valid_q |=> issue_stage_i.i_scoreboard.issue_instr_o.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.lsu_valid_q |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.lsu_valid_q |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.lsu_valid_q |=> issue_stage_i.issue_instr_rename_sb.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.lsu_valid_q |=> issue_stage_i.issue_instr_sb_iro.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.stall |=> issue_stage_i.commit_instr_o[0].use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.stall |=> issue_stage_i.commit_instr_o[1].use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.stall |=> issue_stage_i.decoded_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.stall |=> issue_stage_i.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.stall |=> issue_stage_i.i_issue_read_operands.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.stall |=> issue_stage_i.i_issue_read_operands.issue_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.stall |=> issue_stage_i.i_re_name.issue_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.stall |=> issue_stage_i.i_re_name.issue_instr_o.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.stall |=> issue_stage_i.i_scoreboard.commit_instr_o[0].use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.stall |=> issue_stage_i.i_scoreboard.commit_instr_o[1].use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.stall |=> issue_stage_i.i_scoreboard.decoded_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.stall |=> issue_stage_i.i_scoreboard.issue_instr_o.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.stall |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.stall |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.stall |=> issue_stage_i.issue_instr_rename_sb.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.stall |=> issue_stage_i.issue_instr_sb_iro.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.we_gpr_i[1] |=> issue_stage_i.commit_instr_o[1].use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.we_gpr_i[1] |=> issue_stage_i.i_scoreboard.commit_instr_o[1].use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.we_pack[1] |=> issue_stage_i.commit_instr_o[1].use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.we_pack[1] |=> issue_stage_i.i_scoreboard.commit_instr_o[1].use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_re_name.issue_instr_i.is_compressed |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_re_name.issue_instr_i.is_compressed |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_re_name.issue_instr_i.use_imm |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_re_name.issue_instr_i.use_pc |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_re_name.issue_instr_i.use_pc |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_re_name.issue_instr_o.is_compressed |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_re_name.issue_instr_o.is_compressed |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_re_name.issue_instr_o.use_imm |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_re_name.issue_instr_o.use_pc |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_re_name.issue_instr_o.use_pc |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.commit_ack_i[1] |=> issue_stage_i.commit_instr_o[1].use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.commit_ack_i[1] |=> issue_stage_i.i_scoreboard.commit_instr_o[1].use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.commit_instr_o[0].ex.valid |=> issue_stage_i.decoded_instr_i.ex.valid | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.commit_instr_o[0].ex.valid |=> issue_stage_i.decoded_instr_i.valid | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.commit_instr_o[0].ex.valid |=> issue_stage_i.i_issue_read_operands.issue_instr_i.ex.valid | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.commit_instr_o[0].ex.valid |=> issue_stage_i.i_issue_read_operands.issue_instr_i.valid | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.commit_instr_o[0].ex.valid |=> issue_stage_i.i_re_name.issue_instr_i.ex.valid | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.commit_instr_o[0].ex.valid |=> issue_stage_i.i_re_name.issue_instr_i.valid | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.commit_instr_o[0].ex.valid |=> issue_stage_i.i_re_name.issue_instr_o.ex.valid | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.commit_instr_o[0].ex.valid |=> issue_stage_i.i_re_name.issue_instr_o.valid | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.commit_instr_o[0].ex.valid |=> issue_stage_i.i_scoreboard.decoded_instr_i.ex.valid | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.commit_instr_o[0].ex.valid |=> issue_stage_i.i_scoreboard.decoded_instr_i.valid | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.commit_instr_o[0].ex.valid |=> issue_stage_i.i_scoreboard.issue_instr_o.ex.valid | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.commit_instr_o[0].ex.valid |=> issue_stage_i.i_scoreboard.issue_instr_o.valid | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.commit_instr_o[0].ex.valid |=> issue_stage_i.issue_instr_rename_sb.ex.valid | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.commit_instr_o[0].ex.valid |=> issue_stage_i.issue_instr_rename_sb.valid | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.commit_instr_o[0].ex.valid |=> issue_stage_i.issue_instr_sb_iro.ex.valid | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.commit_instr_o[0].ex.valid |=> issue_stage_i.issue_instr_sb_iro.valid | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.commit_instr_o[0].is_compressed |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.commit_instr_o[0].is_compressed |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.commit_instr_o[0].use_pc |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.commit_instr_o[0].use_pc |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.commit_instr_o[1].is_compressed |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.commit_instr_o[1].is_compressed |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.commit_instr_o[1].use_pc |=> issue_stage_i.commit_instr_o[0].use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.commit_instr_o[1].use_pc |=> issue_stage_i.commit_instr_o[1].use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.commit_instr_o[1].use_pc |=> issue_stage_i.i_scoreboard.commit_instr_o[0].use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.commit_instr_o[1].use_pc |=> issue_stage_i.i_scoreboard.commit_instr_o[1].use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.commit_instr_o[1].use_pc |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.commit_instr_o[1].use_pc |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.commit_instr_o[1].valid |=> issue_stage_i.commit_instr_o[1].use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.commit_instr_o[1].valid |=> issue_stage_i.i_scoreboard.commit_instr_o[1].use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.decoded_instr_i.is_compressed |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.decoded_instr_i.is_compressed |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.decoded_instr_i.use_imm |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.decoded_instr_i.use_pc |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.decoded_instr_i.use_pc |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.i_popcount.data_i[1] |=> issue_stage_i.commit_instr_o[1].use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.i_popcount.data_i[1] |=> issue_stage_i.i_scoreboard.commit_instr_o[1].use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.i_popcount.left_child_result |=> issue_stage_i.commit_instr_o[1].use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.i_popcount.left_child_result |=> issue_stage_i.i_scoreboard.commit_instr_o[1].use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.i_popcount.padded_input[1] |=> issue_stage_i.commit_instr_o[1].use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.i_popcount.padded_input[1] |=> issue_stage_i.i_scoreboard.commit_instr_o[1].use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.i_popcount.popcount_o[0] |=> issue_stage_i.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.i_popcount.popcount_o[0] |=> issue_stage_i.i_issue_read_operands.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.i_popcount.popcount_o[0] |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.i_popcount.popcount_o[0] |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.i_popcount.popcount_o[1] |=> issue_stage_i.commit_instr_o[1].use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.i_popcount.popcount_o[1] |=> issue_stage_i.i_scoreboard.commit_instr_o[1].use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_instr_o.is_compressed |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_instr_o.is_compressed |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_instr_o.use_imm |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_instr_o.use_pc |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_instr_o.use_pc |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_n[0].sbe.ex.valid |=> issue_stage_i.commit_instr_o[0].ex.valid | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_n[0].sbe.ex.valid |=> issue_stage_i.commit_instr_o[0].valid | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_n[0].sbe.ex.valid |=> issue_stage_i.flush_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_n[0].sbe.ex.valid |=> issue_stage_i.flush_unissued_instr_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_n[0].sbe.ex.valid |=> issue_stage_i.i_issue_read_operands.flush_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_n[0].sbe.ex.valid |=> issue_stage_i.i_re_name.flush_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_n[0].sbe.ex.valid |=> issue_stage_i.i_re_name.flush_unissied_instr_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_n[0].sbe.ex.valid |=> issue_stage_i.i_scoreboard.commit_instr_o[0].ex.valid | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_n[0].sbe.ex.valid |=> issue_stage_i.i_scoreboard.commit_instr_o[0].valid | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_n[0].sbe.ex.valid |=> issue_stage_i.i_scoreboard.flush_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_n[0].sbe.ex.valid |=> issue_stage_i.i_scoreboard.flush_unissued_instr_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_n[0].sbe.is_compressed |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_n[0].sbe.is_compressed |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_n[0].sbe.valid |=> issue_stage_i.commit_instr_o[0].valid | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_n[0].sbe.valid |=> issue_stage_i.i_scoreboard.commit_instr_o[0].valid | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_q[0].issued |=> issue_stage_i.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_q[0].issued |=> issue_stage_i.i_issue_read_operands.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_q[0].sbe.ex.valid |=> issue_stage_i.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_q[0].sbe.ex.valid |=> issue_stage_i.i_issue_read_operands.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_q[0].sbe.is_compressed |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_q[0].sbe.is_compressed |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_q[0].sbe.valid |=> issue_stage_i.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_q[0].sbe.valid |=> issue_stage_i.i_issue_read_operands.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.num_commit[0] |=> issue_stage_i.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.num_commit[0] |=> issue_stage_i.i_issue_read_operands.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.num_commit[0] |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.num_commit[0] |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.num_commit[1] |=> issue_stage_i.commit_instr_o[1].use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.num_commit[1] |=> issue_stage_i.i_scoreboard.commit_instr_o[1].use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.resolved_branch_i.is_mispredict |=> issue_stage_i.commit_ack_i[0] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.resolved_branch_i.is_mispredict |=> issue_stage_i.commit_instr_o[0].valid | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.resolved_branch_i.is_mispredict |=> issue_stage_i.i_issue_read_operands.we_gpr_i[0] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.resolved_branch_i.is_mispredict |=> issue_stage_i.i_issue_read_operands.we_pack[0] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.resolved_branch_i.is_mispredict |=> issue_stage_i.i_scoreboard.commit_ack_i[0] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.resolved_branch_i.is_mispredict |=> issue_stage_i.i_scoreboard.commit_instr_o[0].valid | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.resolved_branch_i.is_mispredict |=> issue_stage_i.i_scoreboard.i_popcount.data_i[0] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.resolved_branch_i.is_mispredict |=> issue_stage_i.i_scoreboard.i_popcount.padded_input[0] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.resolved_branch_i.is_mispredict |=> issue_stage_i.i_scoreboard.i_popcount.popcount_o[0] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.resolved_branch_i.is_mispredict |=> issue_stage_i.i_scoreboard.i_popcount.right_child_result | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.resolved_branch_i.is_mispredict |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.resolved_branch_i.is_mispredict |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.resolved_branch_i.is_mispredict |=> issue_stage_i.i_scoreboard.num_commit[0] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.resolved_branch_i.is_mispredict |=> issue_stage_i.we_gpr_i[0] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.resolved_branch_i.is_taken |=> issue_stage_i.commit_ack_i[0] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.resolved_branch_i.is_taken |=> issue_stage_i.commit_instr_o[0].valid | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.resolved_branch_i.is_taken |=> issue_stage_i.i_issue_read_operands.we_gpr_i[0] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.resolved_branch_i.is_taken |=> issue_stage_i.i_issue_read_operands.we_pack[0] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.resolved_branch_i.is_taken |=> issue_stage_i.i_scoreboard.commit_ack_i[0] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.resolved_branch_i.is_taken |=> issue_stage_i.i_scoreboard.commit_instr_o[0].valid | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.resolved_branch_i.is_taken |=> issue_stage_i.i_scoreboard.i_popcount.data_i[0] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.resolved_branch_i.is_taken |=> issue_stage_i.i_scoreboard.i_popcount.padded_input[0] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.resolved_branch_i.is_taken |=> issue_stage_i.i_scoreboard.i_popcount.popcount_o[0] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.resolved_branch_i.is_taken |=> issue_stage_i.i_scoreboard.i_popcount.right_child_result | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.resolved_branch_i.is_taken |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.resolved_branch_i.is_taken |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.resolved_branch_i.is_taken |=> issue_stage_i.i_scoreboard.num_commit[0] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.resolved_branch_i.is_taken |=> issue_stage_i.we_gpr_i[0] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.resolved_branch_i.valid |=> issue_stage_i.commit_ack_i[0] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.resolved_branch_i.valid |=> issue_stage_i.commit_instr_o[0].valid | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.resolved_branch_i.valid |=> issue_stage_i.i_issue_read_operands.we_gpr_i[0] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.resolved_branch_i.valid |=> issue_stage_i.i_issue_read_operands.we_pack[0] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.resolved_branch_i.valid |=> issue_stage_i.i_scoreboard.commit_ack_i[0] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.resolved_branch_i.valid |=> issue_stage_i.i_scoreboard.commit_instr_o[0].valid | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.resolved_branch_i.valid |=> issue_stage_i.i_scoreboard.i_popcount.data_i[0] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.resolved_branch_i.valid |=> issue_stage_i.i_scoreboard.i_popcount.padded_input[0] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.resolved_branch_i.valid |=> issue_stage_i.i_scoreboard.i_popcount.popcount_o[0] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.resolved_branch_i.valid |=> issue_stage_i.i_scoreboard.i_popcount.right_child_result | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.resolved_branch_i.valid |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.resolved_branch_i.valid |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.resolved_branch_i.valid |=> issue_stage_i.i_scoreboard.num_commit[0] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.resolved_branch_i.valid |=> issue_stage_i.we_gpr_i[0] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[1] |=> issue_stage_i.commit_ack_i[0] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[1] |=> issue_stage_i.commit_instr_o[0].use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[1] |=> issue_stage_i.decoded_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[1] |=> issue_stage_i.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[1] |=> issue_stage_i.i_issue_read_operands.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[1] |=> issue_stage_i.i_issue_read_operands.issue_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[1] |=> issue_stage_i.i_re_name.issue_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[1] |=> issue_stage_i.i_re_name.issue_instr_o.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[1] |=> issue_stage_i.i_scoreboard.commit_ack_i[0] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[1] |=> issue_stage_i.i_scoreboard.commit_instr_o[0].use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[1] |=> issue_stage_i.i_scoreboard.decoded_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[1] |=> issue_stage_i.i_scoreboard.i_popcount.data_i[0] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[1] |=> issue_stage_i.i_scoreboard.i_popcount.padded_input[0] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[1] |=> issue_stage_i.i_scoreboard.i_popcount.popcount_o[0] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[1] |=> issue_stage_i.i_scoreboard.i_popcount.right_child_result | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[1] |=> issue_stage_i.i_scoreboard.issue_instr_o.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[1] |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[1] |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[1] |=> issue_stage_i.i_scoreboard.num_commit[0] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[1] |=> issue_stage_i.issue_instr_rename_sb.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[1] |=> issue_stage_i.issue_instr_sb_iro.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[2] |=> issue_stage_i.commit_instr_o[1].use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[2] |=> issue_stage_i.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[2] |=> issue_stage_i.i_issue_read_operands.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[2] |=> issue_stage_i.i_scoreboard.commit_instr_o[1].use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[2] |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[3] |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[3] |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.is_compressed_instr_o |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.is_compressed_instr_o |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.is_ctrl_flow_i |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.is_ctrl_flow_i |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.issue_instr_rename_sb.is_compressed |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.issue_instr_rename_sb.is_compressed |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.issue_instr_rename_sb.use_imm |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.issue_instr_rename_sb.use_pc |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.issue_instr_rename_sb.use_pc |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.issue_instr_sb_iro.is_compressed |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.issue_instr_sb_iro.is_compressed |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.issue_instr_sb_iro.use_imm |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.issue_instr_sb_iro.use_pc |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.issue_instr_sb_iro.use_pc |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.lsu_valid_o |=> issue_stage_i.commit_instr_o[0].use_imm | ||
| unclassified | assert | cex | issue_stage_i.lsu_valid_o |=> issue_stage_i.decoded_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.lsu_valid_o |=> issue_stage_i.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.lsu_valid_o |=> issue_stage_i.i_issue_read_operands.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.lsu_valid_o |=> issue_stage_i.i_issue_read_operands.issue_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.lsu_valid_o |=> issue_stage_i.i_re_name.issue_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.lsu_valid_o |=> issue_stage_i.i_re_name.issue_instr_o.use_imm | ||
| unclassified | assert | cex | issue_stage_i.lsu_valid_o |=> issue_stage_i.i_scoreboard.commit_instr_o[0].use_imm | ||
| unclassified | assert | cex | issue_stage_i.lsu_valid_o |=> issue_stage_i.i_scoreboard.decoded_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.lsu_valid_o |=> issue_stage_i.i_scoreboard.issue_instr_o.use_imm | ||
| unclassified | assert | cex | issue_stage_i.lsu_valid_o |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.lsu_valid_o |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.lsu_valid_o |=> issue_stage_i.issue_instr_rename_sb.use_imm | ||
| unclassified | assert | cex | issue_stage_i.lsu_valid_o |=> issue_stage_i.issue_instr_sb_iro.use_imm | ||
| unclassified | assert | cex | issue_stage_i.resolve_branch_i |=> issue_stage_i.commit_ack_i[0] | ||
| unclassified | assert | cex | issue_stage_i.resolve_branch_i |=> issue_stage_i.commit_instr_o[0].valid | ||
| unclassified | assert | cex | issue_stage_i.resolve_branch_i |=> issue_stage_i.i_issue_read_operands.we_gpr_i[0] | ||
| unclassified | assert | cex | issue_stage_i.resolve_branch_i |=> issue_stage_i.i_issue_read_operands.we_pack[0] | ||
| unclassified | assert | cex | issue_stage_i.resolve_branch_i |=> issue_stage_i.i_scoreboard.commit_ack_i[0] | ||
| unclassified | assert | cex | issue_stage_i.resolve_branch_i |=> issue_stage_i.i_scoreboard.commit_instr_o[0].valid | ||
| unclassified | assert | cex | issue_stage_i.resolve_branch_i |=> issue_stage_i.i_scoreboard.i_popcount.data_i[0] | ||
| unclassified | assert | cex | issue_stage_i.resolve_branch_i |=> issue_stage_i.i_scoreboard.i_popcount.padded_input[0] | ||
| unclassified | assert | cex | issue_stage_i.resolve_branch_i |=> issue_stage_i.i_scoreboard.i_popcount.popcount_o[0] | ||
| unclassified | assert | cex | issue_stage_i.resolve_branch_i |=> issue_stage_i.i_scoreboard.i_popcount.right_child_result | ||
| unclassified | assert | cex | issue_stage_i.resolve_branch_i |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.resolve_branch_i |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.resolve_branch_i |=> issue_stage_i.i_scoreboard.num_commit[0] | ||
| unclassified | assert | cex | issue_stage_i.resolve_branch_i |=> issue_stage_i.we_gpr_i[0] | ||
| unclassified | assert | cex | issue_stage_i.resolved_branch_i.is_mispredict |=> issue_stage_i.commit_ack_i[0] | ||
| unclassified | assert | cex | issue_stage_i.resolved_branch_i.is_mispredict |=> issue_stage_i.commit_instr_o[0].valid | ||
| unclassified | assert | cex | issue_stage_i.resolved_branch_i.is_mispredict |=> issue_stage_i.i_issue_read_operands.we_gpr_i[0] | ||
| unclassified | assert | cex | issue_stage_i.resolved_branch_i.is_mispredict |=> issue_stage_i.i_issue_read_operands.we_pack[0] | ||
| unclassified | assert | cex | issue_stage_i.resolved_branch_i.is_mispredict |=> issue_stage_i.i_scoreboard.commit_ack_i[0] | ||
| unclassified | assert | cex | issue_stage_i.resolved_branch_i.is_mispredict |=> issue_stage_i.i_scoreboard.commit_instr_o[0].valid | ||
| unclassified | assert | cex | issue_stage_i.resolved_branch_i.is_mispredict |=> issue_stage_i.i_scoreboard.i_popcount.data_i[0] | ||
| unclassified | assert | cex | issue_stage_i.resolved_branch_i.is_mispredict |=> issue_stage_i.i_scoreboard.i_popcount.padded_input[0] | ||
| unclassified | assert | cex | issue_stage_i.resolved_branch_i.is_mispredict |=> issue_stage_i.i_scoreboard.i_popcount.popcount_o[0] | ||
| unclassified | assert | cex | issue_stage_i.resolved_branch_i.is_mispredict |=> issue_stage_i.i_scoreboard.i_popcount.right_child_result | ||
| unclassified | assert | cex | issue_stage_i.resolved_branch_i.is_mispredict |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.resolved_branch_i.is_mispredict |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.resolved_branch_i.is_mispredict |=> issue_stage_i.i_scoreboard.num_commit[0] | ||
| unclassified | assert | cex | issue_stage_i.resolved_branch_i.is_mispredict |=> issue_stage_i.we_gpr_i[0] | ||
| unclassified | assert | cex | issue_stage_i.resolved_branch_i.is_taken |=> issue_stage_i.commit_ack_i[0] | ||
| unclassified | assert | cex | issue_stage_i.resolved_branch_i.is_taken |=> issue_stage_i.commit_instr_o[0].valid | ||
| unclassified | assert | cex | issue_stage_i.resolved_branch_i.is_taken |=> issue_stage_i.i_issue_read_operands.we_gpr_i[0] | ||
| unclassified | assert | cex | issue_stage_i.resolved_branch_i.is_taken |=> issue_stage_i.i_issue_read_operands.we_pack[0] | ||
| unclassified | assert | cex | issue_stage_i.resolved_branch_i.is_taken |=> issue_stage_i.i_scoreboard.commit_ack_i[0] | ||
| unclassified | assert | cex | issue_stage_i.resolved_branch_i.is_taken |=> issue_stage_i.i_scoreboard.commit_instr_o[0].valid | ||
| unclassified | assert | cex | issue_stage_i.resolved_branch_i.is_taken |=> issue_stage_i.i_scoreboard.i_popcount.data_i[0] | ||
| unclassified | assert | cex | issue_stage_i.resolved_branch_i.is_taken |=> issue_stage_i.i_scoreboard.i_popcount.padded_input[0] | ||
| unclassified | assert | cex | issue_stage_i.resolved_branch_i.is_taken |=> issue_stage_i.i_scoreboard.i_popcount.popcount_o[0] | ||
| unclassified | assert | cex | issue_stage_i.resolved_branch_i.is_taken |=> issue_stage_i.i_scoreboard.i_popcount.right_child_result | ||
| unclassified | assert | cex | issue_stage_i.resolved_branch_i.is_taken |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.resolved_branch_i.is_taken |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.resolved_branch_i.is_taken |=> issue_stage_i.i_scoreboard.num_commit[0] | ||
| unclassified | assert | cex | issue_stage_i.resolved_branch_i.is_taken |=> issue_stage_i.we_gpr_i[0] | ||
| unclassified | assert | cex | issue_stage_i.resolved_branch_i.valid |=> issue_stage_i.commit_ack_i[0] | ||
| unclassified | assert | cex | issue_stage_i.resolved_branch_i.valid |=> issue_stage_i.commit_instr_o[0].valid | ||
| unclassified | assert | cex | issue_stage_i.resolved_branch_i.valid |=> issue_stage_i.i_issue_read_operands.we_gpr_i[0] | ||
| unclassified | assert | cex | issue_stage_i.resolved_branch_i.valid |=> issue_stage_i.i_issue_read_operands.we_pack[0] | ||
| unclassified | assert | cex | issue_stage_i.resolved_branch_i.valid |=> issue_stage_i.i_scoreboard.commit_ack_i[0] | ||
| unclassified | assert | cex | issue_stage_i.resolved_branch_i.valid |=> issue_stage_i.i_scoreboard.commit_instr_o[0].valid | ||
| unclassified | assert | cex | issue_stage_i.resolved_branch_i.valid |=> issue_stage_i.i_scoreboard.i_popcount.data_i[0] | ||
| unclassified | assert | cex | issue_stage_i.resolved_branch_i.valid |=> issue_stage_i.i_scoreboard.i_popcount.padded_input[0] | ||
| unclassified | assert | cex | issue_stage_i.resolved_branch_i.valid |=> issue_stage_i.i_scoreboard.i_popcount.popcount_o[0] | ||
| unclassified | assert | cex | issue_stage_i.resolved_branch_i.valid |=> issue_stage_i.i_scoreboard.i_popcount.right_child_result | ||
| unclassified | assert | cex | issue_stage_i.resolved_branch_i.valid |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.resolved_branch_i.valid |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.resolved_branch_i.valid |=> issue_stage_i.i_scoreboard.num_commit[0] | ||
| unclassified | assert | cex | issue_stage_i.resolved_branch_i.valid |=> issue_stage_i.we_gpr_i[0] | ||
| unclassified | assert | cex | issue_stage_i.we_gpr_i[1] |=> issue_stage_i.commit_instr_o[1].use_imm | ||
| unclassified | assert | cex | issue_stage_i.we_gpr_i[1] |=> issue_stage_i.i_scoreboard.commit_instr_o[1].use_imm | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[1] |=> issue_stage_i.commit_ack_i[0] | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[1] |=> issue_stage_i.commit_instr_o[0].use_imm | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[1] |=> issue_stage_i.decoded_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[1] |=> issue_stage_i.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[1] |=> issue_stage_i.i_issue_read_operands.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[1] |=> issue_stage_i.i_issue_read_operands.issue_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[1] |=> issue_stage_i.i_re_name.issue_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[1] |=> issue_stage_i.i_re_name.issue_instr_o.use_imm | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[1] |=> issue_stage_i.i_scoreboard.commit_ack_i[0] | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[1] |=> issue_stage_i.i_scoreboard.commit_instr_o[0].use_imm | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[1] |=> issue_stage_i.i_scoreboard.decoded_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[1] |=> issue_stage_i.i_scoreboard.i_popcount.data_i[0] | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[1] |=> issue_stage_i.i_scoreboard.i_popcount.padded_input[0] | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[1] |=> issue_stage_i.i_scoreboard.i_popcount.popcount_o[0] | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[1] |=> issue_stage_i.i_scoreboard.i_popcount.right_child_result | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[1] |=> issue_stage_i.i_scoreboard.issue_instr_o.use_imm | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[1] |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[1] |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[1] |=> issue_stage_i.i_scoreboard.num_commit[0] | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[1] |=> issue_stage_i.issue_instr_rename_sb.use_imm | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[1] |=> issue_stage_i.issue_instr_sb_iro.use_imm | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[2] |=> issue_stage_i.commit_instr_o[1].use_imm | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[2] |=> issue_stage_i.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[2] |=> issue_stage_i.i_issue_read_operands.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[2] |=> issue_stage_i.i_scoreboard.commit_instr_o[1].use_imm | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[2] |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[3] |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[3] |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.alu_valid_o |=> issue_stage_i.commit_ack_i[0] | ||
| unclassified | assert | cex | issue_stage_i.alu_valid_o |=> issue_stage_i.commit_instr_o[0].valid | ||
| unclassified | assert | cex | issue_stage_i.alu_valid_o |=> issue_stage_i.i_issue_read_operands.we_gpr_i[0] | ||
| unclassified | assert | cex | issue_stage_i.alu_valid_o |=> issue_stage_i.i_issue_read_operands.we_pack[0] | ||
| unclassified | assert | cex | issue_stage_i.alu_valid_o |=> issue_stage_i.i_scoreboard.commit_ack_i[0] | ||
| unclassified | assert | cex | issue_stage_i.alu_valid_o |=> issue_stage_i.i_scoreboard.commit_instr_o[0].valid | ||
| unclassified | assert | cex | issue_stage_i.alu_valid_o |=> issue_stage_i.i_scoreboard.i_popcount.data_i[0] | ||
| unclassified | assert | cex | issue_stage_i.alu_valid_o |=> issue_stage_i.i_scoreboard.i_popcount.padded_input[0] | ||
| unclassified | assert | cex | issue_stage_i.alu_valid_o |=> issue_stage_i.i_scoreboard.i_popcount.popcount_o[0] | ||
| unclassified | assert | cex | issue_stage_i.alu_valid_o |=> issue_stage_i.i_scoreboard.i_popcount.right_child_result | ||
| unclassified | assert | cex | issue_stage_i.alu_valid_o |=> issue_stage_i.i_scoreboard.num_commit[0] | ||
| unclassified | assert | cex | issue_stage_i.alu_valid_o |=> issue_stage_i.we_gpr_i[0] | ||
| unclassified | assert | cex | issue_stage_i.commit_ack_i[0] |=> issue_stage_i.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.commit_ack_i[0] |=> issue_stage_i.i_issue_read_operands.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.commit_ack_i[0] |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.commit_ack_i[0] |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.commit_instr_o[0].ex.valid |=> issue_stage_i.commit_instr_o[0].use_imm | ||
| unclassified | assert | cex | issue_stage_i.commit_instr_o[0].ex.valid |=> issue_stage_i.commit_instr_o[1].use_imm | ||
| unclassified | assert | cex | issue_stage_i.commit_instr_o[0].ex.valid |=> issue_stage_i.i_scoreboard.commit_instr_o[0].use_imm | ||
| unclassified | assert | cex | issue_stage_i.commit_instr_o[0].ex.valid |=> issue_stage_i.i_scoreboard.commit_instr_o[1].use_imm | ||
| unclassified | assert | cex | issue_stage_i.commit_instr_o[0].ex.valid |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.commit_instr_o[0].ex.valid |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.commit_instr_o[0].use_imm |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.commit_instr_o[0].use_imm |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.commit_instr_o[0].valid |=> issue_stage_i.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.commit_instr_o[0].valid |=> issue_stage_i.i_issue_read_operands.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.commit_instr_o[0].valid |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.commit_instr_o[0].valid |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.commit_instr_o[1].use_imm |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.commit_instr_o[1].use_imm |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.decoded_instr_ack_o |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.decoded_instr_ack_o |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.decoded_instr_i.ex.valid |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.decoded_instr_i.ex.valid |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.decoded_instr_i.use_imm |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.decoded_instr_i.valid |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.decoded_instr_i.valid |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.decoded_instr_valid_i |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.decoded_instr_valid_i |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.flush_i |=> issue_stage_i.commit_instr_o[0].use_imm | ||
| unclassified | assert | cex | issue_stage_i.flush_i |=> issue_stage_i.commit_instr_o[1].use_imm | ||
| unclassified | assert | cex | issue_stage_i.flush_i |=> issue_stage_i.i_scoreboard.commit_instr_o[0].use_imm | ||
| unclassified | assert | cex | issue_stage_i.flush_i |=> issue_stage_i.i_scoreboard.commit_instr_o[1].use_imm | ||
| unclassified | assert | cex | issue_stage_i.flush_i |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.flush_i |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.flush_unissued_instr_i |=> issue_stage_i.commit_instr_o[0].use_imm | ||
| unclassified | assert | cex | issue_stage_i.flush_unissued_instr_i |=> issue_stage_i.i_scoreboard.commit_instr_o[0].use_imm | ||
| unclassified | assert | cex | issue_stage_i.flush_unissued_instr_i |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.flush_unissued_instr_i |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.alu_valid_o |=> issue_stage_i.commit_ack_i[0] | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.alu_valid_o |=> issue_stage_i.commit_instr_o[0].valid | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.alu_valid_o |=> issue_stage_i.i_issue_read_operands.we_gpr_i[0] | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.alu_valid_o |=> issue_stage_i.i_issue_read_operands.we_pack[0] | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.alu_valid_o |=> issue_stage_i.i_scoreboard.commit_ack_i[0] | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.alu_valid_o |=> issue_stage_i.i_scoreboard.commit_instr_o[0].valid | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.alu_valid_o |=> issue_stage_i.i_scoreboard.i_popcount.data_i[0] | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.alu_valid_o |=> issue_stage_i.i_scoreboard.i_popcount.padded_input[0] | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.alu_valid_o |=> issue_stage_i.i_scoreboard.i_popcount.popcount_o[0] | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.alu_valid_o |=> issue_stage_i.i_scoreboard.i_popcount.right_child_result | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.alu_valid_o |=> issue_stage_i.i_scoreboard.num_commit[0] | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.alu_valid_o |=> issue_stage_i.we_gpr_i[0] | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.alu_valid_q |=> issue_stage_i.commit_ack_i[0] | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.alu_valid_q |=> issue_stage_i.commit_instr_o[0].valid | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.alu_valid_q |=> issue_stage_i.i_issue_read_operands.we_gpr_i[0] | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.alu_valid_q |=> issue_stage_i.i_issue_read_operands.we_pack[0] | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.alu_valid_q |=> issue_stage_i.i_scoreboard.commit_ack_i[0] | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.alu_valid_q |=> issue_stage_i.i_scoreboard.commit_instr_o[0].valid | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.alu_valid_q |=> issue_stage_i.i_scoreboard.i_popcount.data_i[0] | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.alu_valid_q |=> issue_stage_i.i_scoreboard.i_popcount.padded_input[0] | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.alu_valid_q |=> issue_stage_i.i_scoreboard.i_popcount.popcount_o[0] | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.alu_valid_q |=> issue_stage_i.i_scoreboard.i_popcount.right_child_result | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.alu_valid_q |=> issue_stage_i.i_scoreboard.num_commit[0] | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.alu_valid_q |=> issue_stage_i.we_gpr_i[0] | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.flush_i |=> issue_stage_i.commit_instr_o[0].use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.flush_i |=> issue_stage_i.i_scoreboard.commit_instr_o[0].use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.flush_i |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.flush_i |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.issue_ack_o |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.issue_ack_o |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.issue_instr_i.ex.valid |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.issue_instr_i.ex.valid |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.issue_instr_i.use_imm |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.issue_instr_i.valid |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.issue_instr_i.valid |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.issue_instr_valid_i |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.issue_instr_valid_i |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.we_gpr_i[0] |=> issue_stage_i.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.we_gpr_i[0] |=> issue_stage_i.i_issue_read_operands.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.we_gpr_i[0] |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.we_gpr_i[0] |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.we_pack[0] |=> issue_stage_i.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.we_pack[0] |=> issue_stage_i.i_issue_read_operands.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.we_pack[0] |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_issue_read_operands.we_pack[0] |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_re_name.flush_i |=> issue_stage_i.commit_instr_o[0].use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_re_name.flush_i |=> issue_stage_i.commit_instr_o[1].use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_re_name.flush_i |=> issue_stage_i.i_scoreboard.commit_instr_o[0].use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_re_name.flush_i |=> issue_stage_i.i_scoreboard.commit_instr_o[1].use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_re_name.flush_i |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_re_name.flush_i |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_re_name.flush_unissied_instr_i |=> issue_stage_i.commit_instr_o[0].use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_re_name.flush_unissied_instr_i |=> issue_stage_i.i_scoreboard.commit_instr_o[0].use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_re_name.flush_unissied_instr_i |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_re_name.flush_unissied_instr_i |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_re_name.issue_ack_i |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_re_name.issue_ack_i |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_re_name.issue_ack_o |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_re_name.issue_ack_o |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_re_name.issue_instr_i.ex.valid |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_re_name.issue_instr_i.ex.valid |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_re_name.issue_instr_i.use_imm |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_re_name.issue_instr_i.valid |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_re_name.issue_instr_i.valid |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_re_name.issue_instr_o.ex.valid |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_re_name.issue_instr_o.ex.valid |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_re_name.issue_instr_o.use_imm |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_re_name.issue_instr_o.valid |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_re_name.issue_instr_o.valid |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_re_name.issue_instr_valid_i |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_re_name.issue_instr_valid_i |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_re_name.issue_instr_valid_o |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_re_name.issue_instr_valid_o |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.commit_ack_i[0] |=> issue_stage_i.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.commit_ack_i[0] |=> issue_stage_i.i_issue_read_operands.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.commit_ack_i[0] |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.commit_ack_i[0] |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.commit_instr_o[0].ex.valid |=> issue_stage_i.commit_instr_o[0].use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.commit_instr_o[0].ex.valid |=> issue_stage_i.commit_instr_o[1].use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.commit_instr_o[0].ex.valid |=> issue_stage_i.i_scoreboard.commit_instr_o[0].use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.commit_instr_o[0].ex.valid |=> issue_stage_i.i_scoreboard.commit_instr_o[1].use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.commit_instr_o[0].ex.valid |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.commit_instr_o[0].ex.valid |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.commit_instr_o[0].use_imm |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.commit_instr_o[0].use_imm |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.commit_instr_o[0].valid |=> issue_stage_i.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.commit_instr_o[0].valid |=> issue_stage_i.i_issue_read_operands.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.commit_instr_o[0].valid |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.commit_instr_o[0].valid |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.commit_instr_o[1].use_imm |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.commit_instr_o[1].use_imm |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.decoded_instr_ack_o |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.decoded_instr_ack_o |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.decoded_instr_i.ex.valid |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.decoded_instr_i.ex.valid |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.decoded_instr_i.use_imm |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.decoded_instr_i.valid |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.decoded_instr_i.valid |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.decoded_instr_valid_i |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.decoded_instr_valid_i |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.flush_i |=> issue_stage_i.commit_instr_o[0].use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.flush_i |=> issue_stage_i.commit_instr_o[1].use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.flush_i |=> issue_stage_i.i_scoreboard.commit_instr_o[0].use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.flush_i |=> issue_stage_i.i_scoreboard.commit_instr_o[1].use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.flush_i |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.flush_i |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.flush_unissued_instr_i |=> issue_stage_i.commit_instr_o[0].use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.flush_unissued_instr_i |=> issue_stage_i.i_scoreboard.commit_instr_o[0].use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.flush_unissued_instr_i |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.flush_unissued_instr_i |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.i_popcount.data_i[0] |=> issue_stage_i.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.i_popcount.data_i[0] |=> issue_stage_i.i_issue_read_operands.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.i_popcount.data_i[0] |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.i_popcount.data_i[0] |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.i_popcount.padded_input[0] |=> issue_stage_i.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.i_popcount.padded_input[0] |=> issue_stage_i.i_issue_read_operands.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.i_popcount.padded_input[0] |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.i_popcount.padded_input[0] |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.i_popcount.right_child_result |=> issue_stage_i.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.i_popcount.right_child_result |=> issue_stage_i.i_issue_read_operands.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.i_popcount.right_child_result |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.i_popcount.right_child_result |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_ack_i |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_ack_i |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_en |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_en |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_instr_o.ex.valid |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_instr_o.ex.valid |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_instr_o.use_imm |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_instr_o.valid |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_instr_o.valid |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_instr_valid_o |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.issue_instr_valid_o |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_n[0].issued |=> issue_stage_i.commit_instr_o[0].use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_n[0].issued |=> issue_stage_i.decoded_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_n[0].issued |=> issue_stage_i.i_issue_read_operands.issue_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_n[0].issued |=> issue_stage_i.i_re_name.issue_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_n[0].issued |=> issue_stage_i.i_re_name.issue_instr_o.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_n[0].issued |=> issue_stage_i.i_scoreboard.commit_instr_o[0].use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_n[0].issued |=> issue_stage_i.i_scoreboard.decoded_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_n[0].issued |=> issue_stage_i.i_scoreboard.issue_instr_o.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_n[0].issued |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_n[0].issued |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_n[0].issued |=> issue_stage_i.issue_instr_rename_sb.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_n[0].issued |=> issue_stage_i.issue_instr_sb_iro.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_n[0].sbe.valid |=> issue_stage_i.commit_ack_i[0] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_n[0].sbe.valid |=> issue_stage_i.commit_instr_o[0].use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_n[0].sbe.valid |=> issue_stage_i.decoded_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_n[0].sbe.valid |=> issue_stage_i.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_n[0].sbe.valid |=> issue_stage_i.i_issue_read_operands.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_n[0].sbe.valid |=> issue_stage_i.i_issue_read_operands.issue_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_n[0].sbe.valid |=> issue_stage_i.i_issue_read_operands.we_gpr_i[0] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_n[0].sbe.valid |=> issue_stage_i.i_issue_read_operands.we_pack[0] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_n[0].sbe.valid |=> issue_stage_i.i_re_name.issue_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_n[0].sbe.valid |=> issue_stage_i.i_re_name.issue_instr_o.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_n[0].sbe.valid |=> issue_stage_i.i_scoreboard.commit_ack_i[0] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_n[0].sbe.valid |=> issue_stage_i.i_scoreboard.commit_instr_o[0].use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_n[0].sbe.valid |=> issue_stage_i.i_scoreboard.decoded_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_n[0].sbe.valid |=> issue_stage_i.i_scoreboard.i_popcount.data_i[0] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_n[0].sbe.valid |=> issue_stage_i.i_scoreboard.i_popcount.padded_input[0] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_n[0].sbe.valid |=> issue_stage_i.i_scoreboard.i_popcount.popcount_o[0] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_n[0].sbe.valid |=> issue_stage_i.i_scoreboard.i_popcount.right_child_result | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_n[0].sbe.valid |=> issue_stage_i.i_scoreboard.issue_instr_o.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_n[0].sbe.valid |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_n[0].sbe.valid |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_n[0].sbe.valid |=> issue_stage_i.i_scoreboard.num_commit[0] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_n[0].sbe.valid |=> issue_stage_i.issue_instr_rename_sb.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_n[0].sbe.valid |=> issue_stage_i.issue_instr_sb_iro.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_n[0].sbe.valid |=> issue_stage_i.we_gpr_i[0] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_q[0].issued |=> issue_stage_i.decoded_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_q[0].issued |=> issue_stage_i.i_issue_read_operands.issue_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_q[0].issued |=> issue_stage_i.i_re_name.issue_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_q[0].issued |=> issue_stage_i.i_re_name.issue_instr_o.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_q[0].issued |=> issue_stage_i.i_scoreboard.decoded_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_q[0].issued |=> issue_stage_i.i_scoreboard.issue_instr_o.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_q[0].issued |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_q[0].issued |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_q[0].issued |=> issue_stage_i.issue_instr_rename_sb.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_q[0].issued |=> issue_stage_i.issue_instr_sb_iro.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_q[0].sbe.valid |=> issue_stage_i.decoded_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_q[0].sbe.valid |=> issue_stage_i.i_issue_read_operands.issue_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_q[0].sbe.valid |=> issue_stage_i.i_re_name.issue_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_q[0].sbe.valid |=> issue_stage_i.i_re_name.issue_instr_o.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_q[0].sbe.valid |=> issue_stage_i.i_scoreboard.decoded_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_q[0].sbe.valid |=> issue_stage_i.i_scoreboard.issue_instr_o.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_q[0].sbe.valid |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_q[0].sbe.valid |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_q[0].sbe.valid |=> issue_stage_i.issue_instr_rename_sb.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.mem_q[0].sbe.valid |=> issue_stage_i.issue_instr_sb_iro.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[2] |=> issue_stage_i.decoded_instr_ack_o | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[2] |=> issue_stage_i.decoded_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[2] |=> issue_stage_i.decoded_instr_valid_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[2] |=> issue_stage_i.i_issue_read_operands.issue_ack_o | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[2] |=> issue_stage_i.i_issue_read_operands.issue_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[2] |=> issue_stage_i.i_issue_read_operands.issue_instr_valid_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[2] |=> issue_stage_i.i_re_name.issue_ack_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[2] |=> issue_stage_i.i_re_name.issue_ack_o | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[2] |=> issue_stage_i.i_re_name.issue_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[2] |=> issue_stage_i.i_re_name.issue_instr_o.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[2] |=> issue_stage_i.i_re_name.issue_instr_valid_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[2] |=> issue_stage_i.i_re_name.issue_instr_valid_o | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[2] |=> issue_stage_i.i_scoreboard.decoded_instr_ack_o | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[2] |=> issue_stage_i.i_scoreboard.decoded_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[2] |=> issue_stage_i.i_scoreboard.decoded_instr_valid_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[2] |=> issue_stage_i.i_scoreboard.i_popcount.popcount_o[0] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[2] |=> issue_stage_i.i_scoreboard.issue_ack_i | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[2] |=> issue_stage_i.i_scoreboard.issue_en | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[2] |=> issue_stage_i.i_scoreboard.issue_instr_o.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[2] |=> issue_stage_i.i_scoreboard.issue_instr_valid_o | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[2] |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[2] |=> issue_stage_i.i_scoreboard.num_commit[0] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[2] |=> issue_stage_i.issue_ack_iro_sb | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[2] |=> issue_stage_i.issue_ack_sb_rename | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[2] |=> issue_stage_i.issue_instr_rename_sb.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[2] |=> issue_stage_i.issue_instr_sb_iro.use_imm | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[2] |=> issue_stage_i.issue_instr_valid_rename_sb | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[2] |=> issue_stage_i.issue_instr_valid_sb_iro | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[3] |=> issue_stage_i.commit_ack_i[0] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[3] |=> issue_stage_i.commit_instr_o[0].valid | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[3] |=> issue_stage_i.i_issue_read_operands.we_gpr_i[0] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[3] |=> issue_stage_i.i_issue_read_operands.we_pack[0] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[3] |=> issue_stage_i.i_scoreboard.commit_ack_i[0] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[3] |=> issue_stage_i.i_scoreboard.commit_instr_o[0].valid | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[3] |=> issue_stage_i.i_scoreboard.i_popcount.data_i[0] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[3] |=> issue_stage_i.i_scoreboard.i_popcount.padded_input[0] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[3] |=> issue_stage_i.i_scoreboard.i_popcount.popcount_o[0] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[3] |=> issue_stage_i.i_scoreboard.i_popcount.right_child_result | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[3] |=> issue_stage_i.i_scoreboard.num_commit[0] | ||
| unclassified | assert | cex | issue_stage_i.i_scoreboard.wt_valid_i[3] |=> issue_stage_i.we_gpr_i[0] | ||
| unclassified | assert | cex | issue_stage_i.issue_ack_iro_sb |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.issue_ack_iro_sb |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.issue_ack_sb_rename |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.issue_ack_sb_rename |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.issue_instr_rename_sb.ex.valid |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.issue_instr_rename_sb.ex.valid |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.issue_instr_rename_sb.use_imm |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.issue_instr_rename_sb.valid |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.issue_instr_rename_sb.valid |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.issue_instr_sb_iro.ex.valid |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.issue_instr_sb_iro.ex.valid |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.issue_instr_sb_iro.use_imm |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.issue_instr_sb_iro.valid |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.issue_instr_sb_iro.valid |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.issue_instr_valid_rename_sb |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.issue_instr_valid_rename_sb |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.issue_instr_valid_sb_iro |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.issue_instr_valid_sb_iro |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.we_gpr_i[0] |=> issue_stage_i.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.we_gpr_i[0] |=> issue_stage_i.i_issue_read_operands.flu_ready_i | ||
| unclassified | assert | cex | issue_stage_i.we_gpr_i[0] |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.we_gpr_i[0] |=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[2] |=> issue_stage_i.decoded_instr_ack_o | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[2] |=> issue_stage_i.decoded_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[2] |=> issue_stage_i.decoded_instr_valid_i | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[2] |=> issue_stage_i.i_issue_read_operands.issue_ack_o | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[2] |=> issue_stage_i.i_issue_read_operands.issue_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[2] |=> issue_stage_i.i_issue_read_operands.issue_instr_valid_i | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[2] |=> issue_stage_i.i_re_name.issue_ack_i | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[2] |=> issue_stage_i.i_re_name.issue_ack_o | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[2] |=> issue_stage_i.i_re_name.issue_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[2] |=> issue_stage_i.i_re_name.issue_instr_o.use_imm | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[2] |=> issue_stage_i.i_re_name.issue_instr_valid_i | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[2] |=> issue_stage_i.i_re_name.issue_instr_valid_o | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[2] |=> issue_stage_i.i_scoreboard.decoded_instr_ack_o | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[2] |=> issue_stage_i.i_scoreboard.decoded_instr_i.use_imm | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[2] |=> issue_stage_i.i_scoreboard.decoded_instr_valid_i | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[2] |=> issue_stage_i.i_scoreboard.i_popcount.popcount_o[0] | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[2] |=> issue_stage_i.i_scoreboard.issue_ack_i | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[2] |=> issue_stage_i.i_scoreboard.issue_en | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[2] |=> issue_stage_i.i_scoreboard.issue_instr_o.use_imm | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[2] |=> issue_stage_i.i_scoreboard.issue_instr_valid_o | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[2] |=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[2] |=> issue_stage_i.i_scoreboard.num_commit[0] | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[2] |=> issue_stage_i.issue_ack_iro_sb | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[2] |=> issue_stage_i.issue_ack_sb_rename | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[2] |=> issue_stage_i.issue_instr_rename_sb.use_imm | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[2] |=> issue_stage_i.issue_instr_sb_iro.use_imm | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[2] |=> issue_stage_i.issue_instr_valid_rename_sb | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[2] |=> issue_stage_i.issue_instr_valid_sb_iro | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[3] |=> issue_stage_i.commit_ack_i[0] | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[3] |=> issue_stage_i.commit_instr_o[0].valid | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[3] |=> issue_stage_i.i_issue_read_operands.we_gpr_i[0] | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[3] |=> issue_stage_i.i_issue_read_operands.we_pack[0] | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[3] |=> issue_stage_i.i_scoreboard.commit_ack_i[0] | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[3] |=> issue_stage_i.i_scoreboard.commit_instr_o[0].valid | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[3] |=> issue_stage_i.i_scoreboard.i_popcount.data_i[0] | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[3] |=> issue_stage_i.i_scoreboard.i_popcount.padded_input[0] | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[3] |=> issue_stage_i.i_scoreboard.i_popcount.popcount_o[0] | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[3] |=> issue_stage_i.i_scoreboard.i_popcount.right_child_result | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[3] |=> issue_stage_i.i_scoreboard.num_commit[0] | ||
| unclassified | assert | cex | issue_stage_i.wt_valid_i[3] |=> issue_stage_i.we_gpr_i[0] | ||
| -- | |||||
| module: ariane | create date: May 10 21:26:13 EDT 2026 | filter: class in ( unclassified ) and rank = high and type in ( assert ) and progress state in ( new, hole, covered, covered_now_hole, assert, violated, certified_hole, certified_assert ) |