../
Jasper® Apps Behavioral Property SynthesisReport
Jasper® Apps Behavioral Property SynthesisReport
| module: ariane | create date: Apr 30 14:09:08 EDT 2026 | filter: class in ( unclassified ) and rank = high 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 | 35840 (381777) | Embedded Assumptions | 0 |
| Nets | 40204 | Embedded Assertions | 0 |
| Ports | 10 | Embedded Covers | 0 |
PROPERTY SYNTHESIS SUMMARY:
| POI Type | Number of POIs | Exercised Behaviors | Coverage Holes |
|---|---|---|---|
| Module | 99 | 545 | 0 |
| Module | |||||
| POI# | Signals | Critical Values | |||
|---|---|---|---|---|---|
| Classification | Type | Status | Property | ||
| 1 | wdata_commit_id[1][63:0] , axi_req_o.ar.size[2:0] , rst_ni , boot_addr_i[63:0] , axi_req_o.ar.burst[1:0] , axi_req_o.ar.lock , axi_req_o.ar.cache[3:0] , flu_exception_ex_id.cause[63:0] , axi_req_o.ar.prot[2:0] , commit_instr_id_commit[1].is_compressed , commit_instr_id_commit[0].pc[63:0] , ... | ||||
| unclassified | assert | unprocessed | sb_full |=> ~sb_full | ||
| unclassified | assert | unprocessed | axi_resp_i.aw_ready |=> ~axi_resp_i.aw_ready | ||
| unclassified | assert | unprocessed | axi_resp_i.w_ready |=> ~axi_resp_i.w_ready | ||
| unclassified | assert | unprocessed | axi_resp_i.b_valid |=> ~axi_resp_i.b_valid | ||
| unclassified | assert | unprocessed | icache_flush_ctrl_cache |=> ~icache_flush_ctrl_cache | ||
| unclassified | assert | unprocessed | csr_valid_id_ex |=> ~csr_valid_id_ex | ||
| unclassified | assert | unprocessed | dcache_miss_cache_perf |=> ~dcache_miss_cache_perf | ||
| unclassified | assert | unprocessed | icache_miss_cache_perf |=> ~icache_miss_cache_perf | ||
| unclassified | assert | unprocessed | set_pc_ctrl_pcgen |=> ~set_pc_ctrl_pcgen | ||
| unclassified | assert | unprocessed | flush_csr_ctrl |=> ~flush_csr_ctrl | ||
| unclassified | assert | unprocessed | flush_unissued_instr_ctrl_id |=> ~flush_unissued_instr_ctrl_id | ||
| unclassified | assert | unprocessed | flush_ctrl_id |=> ~flush_ctrl_id | ||
| unclassified | assert | unprocessed | flush_ctrl_bp |=> ~flush_ctrl_bp | ||
| unclassified | assert | unprocessed | fence_commit_controller |=> ~fence_commit_controller | ||
| unclassified | assert | unprocessed | eret |=> ~eret | ||
| unclassified | assert | unprocessed | set_debug_pc |=> ~set_debug_pc | ||
| unclassified | assert | unprocessed | mult_valid_id_ex |=> ~mult_valid_id_ex | ||
| unclassified | assert | unprocessed | ex_commit.valid |=> ~ex_commit.valid | ||
| unclassified | assert | unprocessed | dcache_req_ports_ex_cache[1].kill_req |=> ~dcache_req_ports_ex_cache[1].kill_req | ||
| unclassified | assert | unprocessed | icache_dreq_if_cache.kill_s1 |=> ~icache_dreq_if_cache.kill_s1 | ||
| unclassified | assert | unprocessed | $onehot0(axi_resp_i.b.id) | ||
| unclassified | assert | unprocessed | $onehot0(axi_resp_i.r.id) | ||
| unclassified | assert | unprocessed | $onehot0(axi_req_o.aw.id) | ||
| unclassified | assert | unprocessed | $onehot0(branch_predict_id_ex.cf) | ||
| unclassified | assert | unprocessed | $onehot0(irq_ctrl_csr_id.mip) | ||
| unclassified | assert | unprocessed | $onehot0(fetch_entry_if_id.branch_predict.cf) | ||
| unclassified | assert | unprocessed | $onehot0(commit_instr_id_commit[0].bp.cf) | ||
| unclassified | assert | unprocessed | $onehot0(commit_instr_id_commit[1].bp.cf) | ||
| unclassified | assert | unprocessed | $onehot0(issue_entry_id_issue.bp.cf) | ||
| unclassified | assert | unprocessed | $onehot0(axi_req_o.ar.len) | ||
| unclassified | assert | unprocessed | `jasper_handshake(axi_req_o.aw_valid, axi_resp_i.aw_ready, 0, 2, 2, 0) | ||
| unclassified | assert | unprocessed | `jasper_handshake(axi_req_o.w_valid, axi_resp_i.w_ready, 1, 3, 3, 9) | ||
| unclassified | assert | unprocessed | (dcache_req_ports_cache_ex[2].data_gnt | $fell(lsu_commit_commit_ex) | $fell(no_st_pending_commit)) |-> ~no_st_pending_ex | ||
| unclassified | assert | unprocessed | fence_commit_controller |-> set_pc_ctrl_pcgen | ||
| unclassified | assert | unprocessed | (set_debug_pc | ex_commit.valid | (flush_ctrl_id & issue_entry_id_issue.valid) | (issue_entry_id_issue.valid & ~flu_ready_ex_id)) |-> flush_ctrl_bp | ||
| unclassified | assert | unprocessed | (set_debug_pc | (flush_ctrl_id & issue_entry_id_issue.valid) | (flush_ctrl_bp & issue_entry_id_issue.valid) | (issue_entry_id_issue.valid & ~flu_ready_ex_id)) |-> ex_commit.valid | ||
| unclassified | assert | unprocessed | dcache_req_ports_cache_ex[1].data_gnt |-> dcache_req_ports_ex_cache[1].data_req | ||
| unclassified | assert | unprocessed | axi_resp_i.w_ready |-> $fell(axi_req_o.aw_valid) | ||
| unclassified | assert | unprocessed | $fell(no_st_pending_commit) |-> dcache_req_ports_cache_ex[2].data_gnt | ||
| unclassified | assert | unprocessed | $fell(axi_req_o.aw_valid) |-> axi_resp_i.w_ready | ||
| unclassified | assert | unprocessed | $fell(axi_req_o.w_valid) |-> axi_resp_i.b_valid | ||
| unclassified | assert | unprocessed | (csr_commit_commit_ex & flush_ctrl_bp) |-> eret | ||
| unclassified | assert | unprocessed | ~no_st_pending_commit |-> ((dcache_req_ports_cache_ex[2].data_gnt | ~dcache_commit_wbuffer_empty) & (~no_st_pending_ex | ~dcache_commit_wbuffer_empty)) | ||
| unclassified | assert | unprocessed | flush_ctrl_bp |-> (eret | ex_commit.valid) | ||
| unclassified | assert | unprocessed | (axi_resp_i.w_ready === $past(axi_resp_i.aw_ready)) | ||
| unclassified | assert | unprocessed | (axi_resp_i.b_valid === $past(axi_resp_i.w_ready)) | ||
| unclassified | assert | unprocessed | (dirty_fp_state === $past(fpu_valid_ex_id)) | ||
| unclassified | assert | unprocessed | ~dcache_commit_wbuffer_empty |-> $past(~no_st_pending_commit) | ||
| unclassified | assert | unprocessed | load_valid_ex_id |-> $past(dcache_req_ports_cache_ex[1].data_rvalid) | ||
| unclassified | assert | unprocessed | fpu_valid_ex_id |-> $past(fpu_valid_id_ex) | ||
| unclassified | assert | unprocessed | $rose(csr_commit_commit_ex) |-> $past(~flu_ready_ex_id) | ||
| unclassified | assert | unprocessed | ($fell(dcache_req_ports_cache_ex[2].data_gnt) | $fell(dcache_commit_wbuffer_empty)) |-> $past(~no_st_pending_ex) | ||
| unclassified | assert | unprocessed | ($fell(no_st_pending_ex) | $fell(no_st_pending_commit)) |-> $past(lsu_commit_commit_ex) | ||
| unclassified | assert | unprocessed | ($rose(no_st_pending_ex) | $fell(dcache_commit_wbuffer_empty)) |-> $past(dcache_req_ports_cache_ex[2].data_gnt) | ||
| unclassified | assert | unprocessed | ($rose(icache_en_csr) === $past(eret)) | ||
| unclassified | assert | unprocessed | lsu_commit_commit_ex |=> ~no_st_pending_ex | ||
| unclassified | assert | unprocessed | $fell(axi_req_o.aw_valid) |=> axi_resp_i.b_valid | ||
| unclassified | assert | unprocessed | dcache_req_ports_cache_ex[1].data_rvalid |=> (~lsu_ready_ex_id | load_valid_ex_id) | ||
| unclassified | assert | unprocessed | (axi_resp_i.b_valid === $past(axi_resp_i.aw_ready, 2)) | ||
| unclassified | assert | unprocessed | $fell(axi_req_o.w_valid) |-> $past(axi_resp_i.aw_ready, 2) | ||
| 2 | commit_stage_i.commit_instr_i[1].ex.valid , commit_stage_i.csr_exception_i.valid , commit_stage_i.commit_instr_i[1].bp.cf[2:0] , commit_stage_i.csr_write_fflags_o , commit_stage_i.csr_rdata_i[63:0] , commit_stage_i.commit_lsu_o , commit_stage_i.commit_lsu_ready_i , ... | ||||
| unclassified | assert | unprocessed | commit_stage_i.fence_i_o |=> ~commit_stage_i.fence_i_o | ||
| unclassified | assert | unprocessed | commit_stage_i.fence_o |=> ~commit_stage_i.fence_o | ||
| unclassified | assert | unprocessed | commit_stage_i.exception_o.valid |=> ~commit_stage_i.exception_o.valid | ||
| unclassified | assert | unprocessed | $onehot0(commit_stage_i.commit_instr_i[1].bp.cf) | ||
| unclassified | assert | unprocessed | $onehot0(commit_stage_i.commit_instr_i[0].bp.cf) | ||
| 3 | controller_i.flush_icache_o , controller_i.flush_dcache_o , controller_i.flush_dcache_ack_i , controller_i.flush_tlb_o , controller_i.halt_csr_i , controller_i.halt_o , controller_i.eret_i , controller_i.ex_valid_i , controller_i.set_debug_pc_i , controller_i.resolved_branch_i.valid , ... | ||||
| unclassified | assert | unprocessed | controller_i.flush_icache_o |=> ~controller_i.flush_icache_o | ||
| unclassified | assert | unprocessed | controller_i.eret_i |=> ~controller_i.eret_i | ||
| unclassified | assert | unprocessed | controller_i.ex_valid_i |=> ~controller_i.ex_valid_i | ||
| unclassified | assert | unprocessed | controller_i.set_debug_pc_i |=> ~controller_i.set_debug_pc_i | ||
| unclassified | assert | unprocessed | controller_i.flush_csr_i |=> ~controller_i.flush_csr_i | ||
| unclassified | assert | unprocessed | controller_i.fence_i |=> ~controller_i.fence_i | ||
| unclassified | assert | unprocessed | controller_i.set_pc_commit_o |=> ~controller_i.set_pc_commit_o | ||
| unclassified | assert | unprocessed | controller_i.flush_if_o |=> ~controller_i.flush_if_o | ||
| unclassified | assert | unprocessed | controller_i.flush_id_o |=> ~controller_i.flush_id_o | ||
| unclassified | assert | unprocessed | controller_i.flush_bp_o |=> ~controller_i.flush_bp_o | ||
| unclassified | assert | unprocessed | controller_i.set_debug_pc_i |-> controller_i.ex_valid_i | ||
| unclassified | assert | unprocessed | controller_i.fence_i |-> controller_i.set_pc_commit_o | ||
| unclassified | assert | unprocessed | controller_i.flush_bp_o |-> (controller_i.eret_i | controller_i.ex_valid_i) | ||
| 4 | csr_regfile_i.csr_update.instret[63:0] , csr_regfile_i.commit_instr_i[0].trans_id[2:0] , csr_regfile_i.commit_instr_i[0].fu[3:0] , csr_regfile_i.cycle_d[63:0] , csr_regfile_i.stval_d[63:0] , csr_regfile_i.irq_ctrl_o.mideleg[63:0] , csr_regfile_i.commit_instr_i[0].op[6:0] , ... | ||||
| unclassified | assert | unprocessed | csr_regfile_i.dret |=> ~csr_regfile_i.dret | ||
| unclassified | assert | unprocessed | csr_regfile_i.dirty_fp_state_csr |=> ~csr_regfile_i.dirty_fp_state_csr | ||
| unclassified | assert | unprocessed | csr_regfile_i.set_debug_pc_o |=> ~csr_regfile_i.set_debug_pc_o | ||
| unclassified | assert | unprocessed | csr_regfile_i.ex_i.valid |=> ~csr_regfile_i.ex_i.valid | ||
| unclassified | assert | unprocessed | csr_regfile_i.csr_we |=> ~csr_regfile_i.csr_we | ||
| unclassified | assert | unprocessed | csr_regfile_i.csr_read |=> ~csr_regfile_i.csr_read | ||
| unclassified | assert | unprocessed | csr_regfile_i.flush_o |=> ~csr_regfile_i.flush_o | ||
| unclassified | assert | unprocessed | $onehot0(csr_regfile_i.mcause_q) | ||
| unclassified | assert | unprocessed | $onehot0(csr_regfile_i.commit_instr_i[0].bp.cf) | ||
| unclassified | assert | unprocessed | $onehot0(csr_regfile_i.commit_instr_i[1].bp.cf) | ||
| unclassified | assert | unprocessed | $onehot0(csr_regfile_i.mcause_d) | ||
| unclassified | assert | unprocessed | $onehot0(csr_regfile_i.irq_ctrl_o.mip) | ||
| unclassified | assert | unprocessed | csr_regfile_i.set_debug_pc_o |-> csr_regfile_i.ex_i.valid | ||
| unclassified | assert | unprocessed | csr_regfile_i.dret |-> $fell(csr_regfile_i.debug_mode_d) | ||
| 5 | ex_stage_i.lsu_data.operand_a[63:0] , ex_stage_i.dcache_req_ports_o[1].address_tag[43:0] , ex_stage_i.resolved_branch_o.target_address[63:0] , ex_stage_i.amo_resp_i.ack , ex_stage_i.amo_resp_i.result[63:0] , ex_stage_i.mult_result[63:0] , ex_stage_i.alu_data.operand_b[63:0] , ... | ||||
| unclassified | assert | unprocessed | ex_stage_i.csr_valid_i |=> ~ex_stage_i.csr_valid_i | ||
| unclassified | assert | unprocessed | ~ex_stage_i.alu_branch_res |=> ex_stage_i.alu_branch_res | ||
| unclassified | assert | unprocessed | ex_stage_i.mult_valid_i |=> ~ex_stage_i.mult_valid_i | ||
| unclassified | assert | unprocessed | ex_stage_i.dcache_req_ports_o[1].kill_req |=> ~ex_stage_i.dcache_req_ports_o[1].kill_req | ||
| unclassified | assert | unprocessed | ex_stage_i.mult_valid |=> ~ex_stage_i.mult_valid | ||
| unclassified | assert | unprocessed | ex_stage_i.flush_i |=> ~ex_stage_i.flush_i | ||
| unclassified | assert | unprocessed | $onehot0(ex_stage_i.branch_predict_i.cf) | ||
| unclassified | assert | unprocessed | $onehot0(ex_stage_i.lsu_data.fu) | ||
| unclassified | assert | unprocessed | `jasper_handshake(~ex_stage_i.no_st_pending_o, ex_stage_i.dcache_req_ports_i[2].data_gnt, 0, 5, 3, 29) | ||
| unclassified | assert | unprocessed | `jasper_handshake(ex_stage_i.dcache_req_ports_o[1].data_req, ex_stage_i.dcache_req_ports_i[1].data_gnt, 0, 7, 3, 2) | ||
| unclassified | assert | unprocessed | $fell(ex_stage_i.lsu_commit_i) |-> ~ex_stage_i.no_st_pending_o | ||
| unclassified | assert | unprocessed | ex_stage_i.load_valid_o |-> $past(ex_stage_i.dcache_req_ports_i[1].data_rvalid) | ||
| unclassified | assert | unprocessed | ex_stage_i.fpu_valid_o |-> $past(ex_stage_i.fpu_valid_i) | ||
| unclassified | assert | unprocessed | ($fell(ex_stage_i.dcache_req_ports_i[2].data_gnt) | $fell(ex_stage_i.dcache_wbuffer_empty_i)) |-> $past(~ex_stage_i.no_st_pending_o) | ||
| unclassified | assert | unprocessed | ($fell(ex_stage_i.dcache_wbuffer_empty_i) | $rose(ex_stage_i.no_st_pending_o)) |-> $past(ex_stage_i.dcache_req_ports_i[2].data_gnt) | ||
| unclassified | assert | unprocessed | ($rose(ex_stage_i.csr_commit_i) | $rose(ex_stage_i.csr_ready)) |-> $past(~ex_stage_i.flu_ready_o) | ||
| unclassified | assert | unprocessed | $rose(ex_stage_i.csr_commit_i) |-> $past(~ex_stage_i.csr_ready) | ||
| unclassified | assert | unprocessed | $fell(ex_stage_i.no_st_pending_o) |-> $past(ex_stage_i.lsu_commit_i) | ||
| unclassified | assert | unprocessed | ex_stage_i.lsu_commit_i |=> ~ex_stage_i.no_st_pending_o | ||
| unclassified | assert | unprocessed | ex_stage_i.dcache_req_ports_i[1].data_rvalid |=> (~ex_stage_i.lsu_ready_o | ex_stage_i.load_valid_o) | ||
| 6 | ex_stage_i.alu_i.fu_data_i.operand_b[63:0] , ex_stage_i.alu_i.alu_branch_res_o , ex_stage_i.alu_i.operand_a_rev[63:0] , ex_stage_i.alu_i.shift_result[63:0] , ex_stage_i.alu_i.shift_left_result[63:0] , ex_stage_i.alu_i.sgn , ex_stage_i.alu_i.less , ex_stage_i.alu_i.adder_op_b_negate , ... | ||||
| unclassified | assert | unprocessed | ~ex_stage_i.alu_i.alu_branch_res_o |=> ex_stage_i.alu_i.alu_branch_res_o | ||
| unclassified | assert | unprocessed | ex_stage_i.alu_i.shift_left |=> ~ex_stage_i.alu_i.shift_left | ||
| unclassified | assert | unprocessed | ex_stage_i.alu_i.shift_arithmetic |=> ~ex_stage_i.alu_i.shift_arithmetic | ||
| 7 | ex_stage_i.branch_unit_i.fu_data_i.operand_b[63:0] , ex_stage_i.branch_unit_i.is_compressed_instr_i , ex_stage_i.branch_unit_i.fu_valid_i , ex_stage_i.branch_unit_i.branch_valid_i , ex_stage_i.branch_unit_i.branch_comp_res_i , ex_stage_i.branch_unit_i.branch_result_o[63:0] , ... | ||||
| unclassified | assert | unprocessed | ~ex_stage_i.branch_unit_i.branch_comp_res_i |=> ex_stage_i.branch_unit_i.branch_comp_res_i | ||
| unclassified | assert | unprocessed | $onehot0(ex_stage_i.branch_unit_i.branch_predict_i.cf) | ||
| 8 | ex_stage_i.csr_buffer_i.clk_i , ex_stage_i.csr_buffer_i.rst_ni , ex_stage_i.csr_buffer_i.flush_i , ex_stage_i.csr_buffer_i.fu_data_i.fu[3:0] , ex_stage_i.csr_buffer_i.fu_data_i.operator[6:0] , ex_stage_i.csr_buffer_i.fu_data_i.trans_id[2:0] , ex_stage_i.csr_buffer_i.fu_data_i.operand_a[63:0] , ... | ||||
| unclassified | assert | unprocessed | ex_stage_i.csr_buffer_i.flush_i |=> ~ex_stage_i.csr_buffer_i.flush_i | ||
| unclassified | assert | unprocessed | ex_stage_i.csr_buffer_i.csr_valid_i |=> ~ex_stage_i.csr_buffer_i.csr_valid_i | ||
| unclassified | assert | unprocessed | ex_stage_i.csr_buffer_i.csr_valid_i |-> ~ex_stage_i.csr_buffer_i.csr_ready_o | ||
| unclassified | assert | unprocessed | $fell(ex_stage_i.csr_buffer_i.csr_ready_o) |-> ex_stage_i.csr_buffer_i.csr_valid_i | ||
| unclassified | assert | unprocessed | $rose(ex_stage_i.csr_buffer_i.csr_commit_i) |-> ex_stage_i.csr_buffer_i.csr_reg_q.valid | ||
| unclassified | assert | unprocessed | (ex_stage_i.csr_buffer_i.csr_reg_q.valid === $past(~ex_stage_i.csr_buffer_i.csr_ready_o)) | ||
| unclassified | assert | unprocessed | $rose(ex_stage_i.csr_buffer_i.csr_commit_i) |-> $past(~ex_stage_i.csr_buffer_i.csr_ready_o) | ||
| unclassified | assert | unprocessed | ($rose(ex_stage_i.csr_buffer_i.csr_reg_q.valid) === $past(ex_stage_i.csr_buffer_i.csr_valid_i)) | ||
| unclassified | assert | unprocessed | $fell(ex_stage_i.csr_buffer_i.csr_reg_q.valid) |-> $past(ex_stage_i.csr_buffer_i.csr_commit_i) | ||
| 9 | ex_stage_i.fpu_gen.fpu_i.fpu_gen.hold_inputs , ex_stage_i.fpu_gen.fpu_i.fpu_gen.use_hold , ex_stage_i.fpu_gen.fpu_i.fpu_gen.input_translation.vec_replication , ex_stage_i.fpu_gen.fpu_i.fpu_gen.input_translation.replicate_c , ex_stage_i.fpu_gen.fpu_i.fpu_gen.input_translation.check_ah , ... | ||||
| unclassified | assert | unprocessed | ex_stage_i.fpu_gen.fpu_i.flush_i |=> ~ex_stage_i.fpu_gen.fpu_i.flush_i | ||
| 10 | ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[2].in_valid , ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[2].input_boxed[4][1:0] , ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[2].input_boxed[3][1:0] , ... | ||||
| unclassified | assert | unprocessed | ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.flush_i |=> ~ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.flush_i | ||
| unclassified | assert | unprocessed | $onehot0(ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.opgrp_out_valid) | ||
| unclassified | assert | unprocessed | $onehot0(ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.opgrp_busy) | ||
| unclassified | assert | unprocessed | ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.out_valid_o |-> $past(ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[2].in_valid) | ||
| 11 | ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[0].i_opgroup_block.fmt_outputs[4].status.NX , ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[0].i_opgroup_block.is_boxed_i[1][2:0] , ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[0].i_opgroup_block.fmt_outputs[4].ext_bit , ... | ||||
| unclassified | assert | unprocessed | ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[0].i_opgroup_block.flush_i |=> ~ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[0].i_opgroup_block.flush_i | ||
| 12 | ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[0].i_opgroup_block.gen_parallel_slices[0].active_format.i_fmt_slice.result_is_class , ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[0].i_opgroup_block.gen_parallel_slices[0].active_format.i_fmt_slice.gen_num_lanes[0].local_result[31:0] , ... | ||||
| unclassified | assert | unprocessed | ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[0].i_opgroup_block.gen_parallel_slices[0].active_format.i_fmt_slice.flush_i |=> ~ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[0].i_opgroup_block.gen_parallel_slices[0].active_format.i_fmt_slice.flush_i | ||
| 13 | ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[0].i_opgroup_block.gen_parallel_slices[0].active_format.i_fmt_slice.gen_num_lanes[0].active_lane.lane_instance.i_fma.mid_pipe_spec_stat_q[1].NV , ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[0].i_opgroup_block.gen_parallel_slices[0].active_format.i_fmt_slice.gen_num_lanes[0].active_lane.lane_instance.i_fma.mid_pipe_spec_stat_q[1].DZ , ... | ||||
| unclassified | assert | unprocessed | ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[0].i_opgroup_block.gen_parallel_slices[0].active_format.i_fmt_slice.gen_num_lanes[0].active_lane.lane_instance.i_fma.flush_i |=> ~ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[0].i_opgroup_block.gen_parallel_slices[0].active_format.i_fmt_slice.gen_num_lanes[0].active_lane.lane_instance.i_fma.flush_i | ||
| 16 | ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[0].i_opgroup_block.gen_parallel_slices[1].active_format.i_fmt_slice.in_valid_i , ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[0].i_opgroup_block.gen_parallel_slices[1].active_format.i_fmt_slice.in_ready_o , ... | ||||
| unclassified | assert | unprocessed | ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[0].i_opgroup_block.gen_parallel_slices[1].active_format.i_fmt_slice.flush_i |=> ~ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[0].i_opgroup_block.gen_parallel_slices[1].active_format.i_fmt_slice.flush_i | ||
| 17 | ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[0].i_opgroup_block.gen_parallel_slices[1].active_format.i_fmt_slice.gen_num_lanes[0].active_lane.lane_instance.i_fma.out_pipe_result_q[0].mantissa[51:0] , ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[0].i_opgroup_block.gen_parallel_slices[1].active_format.i_fmt_slice.gen_num_lanes[0].active_lane.lane_instance.i_fma.operand_c.sign , ... | ||||
| unclassified | assert | unprocessed | ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[0].i_opgroup_block.gen_parallel_slices[1].active_format.i_fmt_slice.gen_num_lanes[0].active_lane.lane_instance.i_fma.flush_i |=> ~ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[0].i_opgroup_block.gen_parallel_slices[1].active_format.i_fmt_slice.gen_num_lanes[0].active_lane.lane_instance.i_fma.flush_i | ||
| 20 | ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[0].i_opgroup_block.i_arbiter.data_i[1].status.UF , ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[0].i_opgroup_block.i_arbiter.data_i[1].status.NX , ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[0].i_opgroup_block.i_arbiter.genblk1.data_nodes[4].status.NV , ... | ||||
| unclassified | assert | unprocessed | ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[0].i_opgroup_block.i_arbiter.flush_i |=> ~ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[0].i_opgroup_block.i_arbiter.flush_i | ||
| 21 | ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[1].i_opgroup_block.clk_i , ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[1].i_opgroup_block.rst_ni , ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[1].i_opgroup_block.operands_i[1][63:0] , ... | ||||
| unclassified | assert | unprocessed | ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[1].i_opgroup_block.flush_i |=> ~ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[1].i_opgroup_block.flush_i | ||
| 22 | ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[1].i_opgroup_block.gen_merged_slice.i_multifmt_slice.status_o.NX , ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[1].i_opgroup_block.gen_merged_slice.i_multifmt_slice.extension_bit_o , ... | ||||
| unclassified | assert | unprocessed | ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[1].i_opgroup_block.gen_merged_slice.i_multifmt_slice.flush_i |=> ~ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[1].i_opgroup_block.gen_merged_slice.i_multifmt_slice.flush_i | ||
| 23 | ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[1].i_opgroup_block.gen_merged_slice.i_multifmt_slice.gen_num_lanes[0].active_lane.lane_instance.i_fpnew_divsqrt_multi.inp_pipe_valid_q[1:0] , ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[1].i_opgroup_block.gen_merged_slice.i_multifmt_slice.gen_num_lanes[0].active_lane.lane_instance.i_fpnew_divsqrt_multi.out_pipe_aux_q[1][4:0] , ... | ||||
| unclassified | assert | unprocessed | ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[1].i_opgroup_block.gen_merged_slice.i_multifmt_slice.gen_num_lanes[0].active_lane.lane_instance.i_fpnew_divsqrt_multi.flush_i |=> ~ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[1].i_opgroup_block.gen_merged_slice.i_multifmt_slice.gen_num_lanes[0].active_lane.lane_instance.i_fpnew_divsqrt_multi.flush_i | ||
| 24 | ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[1].i_opgroup_block.gen_merged_slice.i_multifmt_slice.gen_num_lanes[0].active_lane.lane_instance.i_fpnew_divsqrt_multi.i_divsqrt_lei.Operand_b_DI[63:0] , ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[1].i_opgroup_block.gen_merged_slice.i_multifmt_slice.gen_num_lanes[0].active_lane.lane_instance.i_fpnew_divsqrt_multi.i_divsqrt_lei.Mant_b_D[52:0] , ... | ||||
| unclassified | assert | unprocessed | ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[1].i_opgroup_block.gen_merged_slice.i_multifmt_slice.gen_num_lanes[0].active_lane.lane_instance.i_fpnew_divsqrt_multi.i_divsqrt_lei.Kill_SI |=> ~ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[1].i_opgroup_block.gen_merged_slice.i_multifmt_slice.gen_num_lanes[0].active_lane.lane_instance.i_fpnew_divsqrt_multi.i_divsqrt_lei.Kill_SI | ||
| 26 | ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[1].i_opgroup_block.gen_merged_slice.i_multifmt_slice.gen_num_lanes[0].active_lane.lane_instance.i_fpnew_divsqrt_multi.i_divsqrt_lei.nrbd_nrsc_U0.Exp_b_DI[11:0] , ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[1].i_opgroup_block.gen_merged_slice.i_multifmt_slice.gen_num_lanes[0].active_lane.lane_instance.i_fpnew_divsqrt_multi.i_divsqrt_lei.nrbd_nrsc_U0.Div_enable_SO , ... | ||||
| unclassified | assert | unprocessed | ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[1].i_opgroup_block.gen_merged_slice.i_multifmt_slice.gen_num_lanes[0].active_lane.lane_instance.i_fpnew_divsqrt_multi.i_divsqrt_lei.nrbd_nrsc_U0.Kill_SI |=> ~ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[1].i_opgroup_block.gen_merged_slice.i_multifmt_slice.gen_num_lanes[0].active_lane.lane_instance.i_fpnew_divsqrt_multi.i_divsqrt_lei.nrbd_nrsc_U0.Kill_SI | ||
| 27 | ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[1].i_opgroup_block.gen_merged_slice.i_multifmt_slice.gen_num_lanes[0].active_lane.lane_instance.i_fpnew_divsqrt_multi.i_divsqrt_lei.nrbd_nrsc_U0.control_U0.Qcnt_one_47[46:0] , ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[1].i_opgroup_block.gen_merged_slice.i_multifmt_slice.gen_num_lanes[0].active_lane.lane_instance.i_fpnew_divsqrt_multi.i_divsqrt_lei.nrbd_nrsc_U0.control_U0.Exp_add_c_D[12:0] , ... | ||||
| unclassified | assert | unprocessed | ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[1].i_opgroup_block.gen_merged_slice.i_multifmt_slice.gen_num_lanes[0].active_lane.lane_instance.i_fpnew_divsqrt_multi.i_divsqrt_lei.nrbd_nrsc_U0.control_U0.Kill_SI |=> ~ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[1].i_opgroup_block.gen_merged_slice.i_multifmt_slice.gen_num_lanes[0].active_lane.lane_instance.i_fpnew_divsqrt_multi.i_divsqrt_lei.nrbd_nrsc_U0.control_U0.Kill_SI | ||
| 32 | ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[1].i_opgroup_block.i_arbiter.genblk1.data_nodes[3].status.DZ , ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[1].i_opgroup_block.i_arbiter.data_i[0].tag[2:0] , ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[1].i_opgroup_block.i_arbiter.genblk1.data_nodes[3].status.OF , ... | ||||
| unclassified | assert | unprocessed | ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[1].i_opgroup_block.i_arbiter.flush_i |=> ~ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[1].i_opgroup_block.i_arbiter.flush_i | ||
| 33 | ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[2].i_opgroup_block.fmt_busy[4:0] , ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[2].i_opgroup_block.fmt_outputs[4].result[63:0] , ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[2].i_opgroup_block.operands_i[0][63:0] , ... | ||||
| unclassified | assert | unprocessed | ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[2].i_opgroup_block.flush_i |=> ~ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[2].i_opgroup_block.flush_i | ||
| unclassified | assert | unprocessed | $onehot0(ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[2].i_opgroup_block.fmt_busy) | ||
| unclassified | assert | unprocessed | $onehot0(ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[2].i_opgroup_block.fmt_out_valid) | ||
| 34 | ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[2].i_opgroup_block.gen_parallel_slices[0].active_format.i_fmt_slice.gen_num_lanes[0].active_lane.local_operands[0][31:0] , ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[2].i_opgroup_block.gen_parallel_slices[0].active_format.i_fmt_slice.gen_num_lanes[0].active_lane.op_result[31:0] , ... | ||||
| unclassified | assert | unprocessed | ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[2].i_opgroup_block.gen_parallel_slices[0].active_format.i_fmt_slice.flush_i |=> ~ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[2].i_opgroup_block.gen_parallel_slices[0].active_format.i_fmt_slice.flush_i | ||
| unclassified | assert | unprocessed | ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[2].i_opgroup_block.gen_parallel_slices[0].active_format.i_fmt_slice.out_valid_o |-> $past(ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[2].i_opgroup_block.gen_parallel_slices[0].active_format.i_fmt_slice.gen_num_lanes[0].active_lane.in_valid) | ||
| 35 | ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[2].i_opgroup_block.gen_parallel_slices[0].active_format.i_fmt_slice.gen_num_lanes[0].active_lane.lane_instance.i_noncomp.any_operand_inf , ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[2].i_opgroup_block.gen_parallel_slices[0].active_format.i_fmt_slice.gen_num_lanes[0].active_lane.lane_instance.i_noncomp.inp_pipe_operands_q[1][1][31:0] , ... | ||||
| unclassified | assert | unprocessed | ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[2].i_opgroup_block.gen_parallel_slices[0].active_format.i_fmt_slice.gen_num_lanes[0].active_lane.lane_instance.i_noncomp.flush_i |=> ~ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[2].i_opgroup_block.gen_parallel_slices[0].active_format.i_fmt_slice.gen_num_lanes[0].active_lane.lane_instance.i_noncomp.flush_i | ||
| unclassified | assert | unprocessed | $onehot0(ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[2].i_opgroup_block.gen_parallel_slices[0].active_format.i_fmt_slice.gen_num_lanes[0].active_lane.lane_instance.i_noncomp.sgnj_result.mantissa) | ||
| unclassified | assert | unprocessed | $onehot0(ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[2].i_opgroup_block.gen_parallel_slices[0].active_format.i_fmt_slice.gen_num_lanes[0].active_lane.lane_instance.i_noncomp.result_d.exponent) | ||
| unclassified | assert | unprocessed | $onehot0(ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[2].i_opgroup_block.gen_parallel_slices[0].active_format.i_fmt_slice.gen_num_lanes[0].active_lane.lane_instance.i_noncomp.result_d.mantissa) | ||
| unclassified | assert | unprocessed | ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[2].i_opgroup_block.gen_parallel_slices[0].active_format.i_fmt_slice.gen_num_lanes[0].active_lane.lane_instance.i_noncomp.out_pipe_valid_q |-> $past(ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[2].i_opgroup_block.gen_parallel_slices[0].active_format.i_fmt_slice.gen_num_lanes[0].active_lane.lane_instance.i_noncomp.in_valid_i) | ||
| 37 | ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[2].i_opgroup_block.gen_parallel_slices[1].active_format.i_fmt_slice.extension_bit_o , ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[2].i_opgroup_block.gen_parallel_slices[1].active_format.i_fmt_slice.tag_o[2:0] , ... | ||||
| unclassified | assert | unprocessed | ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[2].i_opgroup_block.gen_parallel_slices[1].active_format.i_fmt_slice.flush_i |=> ~ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[2].i_opgroup_block.gen_parallel_slices[1].active_format.i_fmt_slice.flush_i | ||
| 38 | ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[2].i_opgroup_block.gen_parallel_slices[1].active_format.i_fmt_slice.gen_num_lanes[0].active_lane.lane_instance.i_noncomp.sgnj_result.sign , ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[2].i_opgroup_block.gen_parallel_slices[1].active_format.i_fmt_slice.gen_num_lanes[0].active_lane.lane_instance.i_noncomp.sgnj_result.exponent[10:0] , ... | ||||
| unclassified | assert | unprocessed | ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[2].i_opgroup_block.gen_parallel_slices[1].active_format.i_fmt_slice.gen_num_lanes[0].active_lane.lane_instance.i_noncomp.flush_i |=> ~ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[2].i_opgroup_block.gen_parallel_slices[1].active_format.i_fmt_slice.gen_num_lanes[0].active_lane.lane_instance.i_noncomp.flush_i | ||
| 40 | ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[2].i_opgroup_block.i_arbiter.genblk1.data_nodes[3].ext_bit , ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[2].i_opgroup_block.i_arbiter.req_o , ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[2].i_opgroup_block.i_arbiter.genblk1.data_nodes[3].tag[2:0] , ... | ||||
| unclassified | assert | unprocessed | ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[2].i_opgroup_block.i_arbiter.flush_i |=> ~ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[2].i_opgroup_block.i_arbiter.flush_i | ||
| unclassified | assert | unprocessed | $onehot0(ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[2].i_opgroup_block.i_arbiter.req_i) | ||
| 41 | ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[3].i_opgroup_block.operands_i[1][63:0] , ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[3].i_opgroup_block.fmt_outputs[3].status.NV , ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[3].i_opgroup_block.fmt_outputs[3].status.DZ , ... | ||||
| unclassified | assert | unprocessed | ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[3].i_opgroup_block.flush_i |=> ~ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[3].i_opgroup_block.flush_i | ||
| 42 | ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[3].i_opgroup_block.gen_merged_slice.i_multifmt_slice.in_valid_i , ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[3].i_opgroup_block.gen_merged_slice.i_multifmt_slice.in_ready_o , ... | ||||
| unclassified | assert | unprocessed | ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[3].i_opgroup_block.gen_merged_slice.i_multifmt_slice.flush_i |=> ~ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[3].i_opgroup_block.gen_merged_slice.i_multifmt_slice.flush_i | ||
| 43 | ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[3].i_opgroup_block.gen_merged_slice.i_multifmt_slice.gen_num_lanes[0].active_lane.lane_instance.i_fpnew_cast_multi.fp_regular_status.DZ , ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[3].i_opgroup_block.gen_merged_slice.i_multifmt_slice.gen_num_lanes[0].active_lane.lane_instance.i_fpnew_cast_multi.fp_regular_status.OF , ... | ||||
| unclassified | assert | unprocessed | ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[3].i_opgroup_block.gen_merged_slice.i_multifmt_slice.gen_num_lanes[0].active_lane.lane_instance.i_fpnew_cast_multi.flush_i |=> ~ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[3].i_opgroup_block.gen_merged_slice.i_multifmt_slice.gen_num_lanes[0].active_lane.lane_instance.i_fpnew_cast_multi.flush_i | ||
| 47 | ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[3].i_opgroup_block.i_arbiter.data_i[0].status.NV , ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[3].i_opgroup_block.i_arbiter.data_i[0].status.DZ , ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[3].i_opgroup_block.i_arbiter.data_i[0].status.OF , ... | ||||
| unclassified | assert | unprocessed | ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[3].i_opgroup_block.i_arbiter.flush_i |=> ~ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.gen_operation_groups[3].i_opgroup_block.i_arbiter.flush_i | ||
| 48 | ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.i_arbiter.genblk1.data_nodes[2].status.NV , ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.i_arbiter.genblk1.data_nodes[2].status.DZ , ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.i_arbiter.genblk1.data_nodes[2].status.OF , ... | ||||
| unclassified | assert | unprocessed | ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.i_arbiter.flush_i |=> ~ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.i_arbiter.flush_i | ||
| unclassified | assert | unprocessed | $onehot0(ex_stage_i.fpu_gen.fpu_i.fpu_gen.i_fpnew_bulk.i_arbiter.req_i) | ||
| 49 | ex_stage_i.i_mult.fu_data_i.operand_b[63:0] , ex_stage_i.i_mult.mult_valid_o , ex_stage_i.i_mult.mult_ready_o , ex_stage_i.i_mult.mult_trans_id_o[2:0] , ex_stage_i.i_mult.mul_valid , ex_stage_i.i_mult.div_valid , ex_stage_i.i_mult.div_ready_i , ex_stage_i.i_mult.mul_trans_id[2:0] , ... | ||||
| unclassified | assert | unprocessed | ex_stage_i.i_mult.mult_valid_o |=> ~ex_stage_i.i_mult.mult_valid_o | ||
| unclassified | assert | unprocessed | ex_stage_i.i_mult.mul_valid |=> ~ex_stage_i.i_mult.mul_valid | ||
| unclassified | assert | unprocessed | ex_stage_i.i_mult.div_valid |=> ~ex_stage_i.i_mult.div_valid | ||
| unclassified | assert | unprocessed | ex_stage_i.i_mult.flush_i |=> ~ex_stage_i.i_mult.flush_i | ||
| unclassified | assert | unprocessed | ex_stage_i.i_mult.mult_valid_i |=> ~ex_stage_i.i_mult.mult_valid_i | ||
| unclassified | assert | unprocessed | ex_stage_i.i_mult.div_valid_op |=> ~ex_stage_i.i_mult.div_valid_op | ||
| unclassified | assert | unprocessed | ex_stage_i.i_mult.div_signed |=> ~ex_stage_i.i_mult.div_signed | ||
| unclassified | assert | unprocessed | ex_stage_i.i_mult.mul_valid_op |=> ~ex_stage_i.i_mult.mul_valid_op | ||
| unclassified | assert | unprocessed | $onehot0(ex_stage_i.i_mult.operand_a) | ||
| unclassified | assert | unprocessed | $onehot0(ex_stage_i.i_mult.div_result) | ||
| unclassified | assert | unprocessed | ex_stage_i.i_mult.flush_i |=> $rose(ex_stage_i.i_mult.mult_ready_o) | ||
| 50 | ex_stage_i.i_mult.i_div.lzc_a_no_one , ex_stage_i.i_mult.i_div.state_d[1:0] , ex_stage_i.i_mult.i_div.lzc_b_no_one , ex_stage_i.i_mult.i_div.div_res_zero_d , ex_stage_i.i_mult.i_div.op_a_sign , ex_stage_i.i_mult.i_div.state_q[1:0] , ex_stage_i.i_mult.i_div.div_res_zero_q , ... | ||||
| unclassified | assert | unprocessed | ~ex_stage_i.i_mult.i_div.lzc_a_no_one |=> ex_stage_i.i_mult.i_div.lzc_a_no_one | ||
| unclassified | assert | unprocessed | ~ex_stage_i.i_mult.i_div.lzc_b_no_one |=> ex_stage_i.i_mult.i_div.lzc_b_no_one | ||
| unclassified | assert | unprocessed | ex_stage_i.i_mult.i_div.flush_i |=> ~ex_stage_i.i_mult.i_div.flush_i | ||
| unclassified | assert | unprocessed | ex_stage_i.i_mult.i_div.out_vld_o |=> ~ex_stage_i.i_mult.i_div.out_vld_o | ||
| unclassified | assert | unprocessed | ~ex_stage_i.i_mult.i_div.out_rdy_i |=> ex_stage_i.i_mult.i_div.out_rdy_i | ||
| unclassified | assert | unprocessed | $onehot0(ex_stage_i.i_mult.i_div.op_a_d) | ||
| unclassified | assert | unprocessed | $onehot0(ex_stage_i.i_mult.i_div.add_mux) | ||
| unclassified | assert | unprocessed | $onehot0(ex_stage_i.i_mult.i_div.out_mux) | ||
| unclassified | assert | unprocessed | $onehot0(ex_stage_i.i_mult.i_div.add_tmp) | ||
| unclassified | assert | unprocessed | $onehot0(~ex_stage_i.i_mult.i_div.lzc_a_result) | ||
| unclassified | assert | unprocessed | ex_stage_i.i_mult.i_div.flush_i |=> $rose(ex_stage_i.i_mult.i_div.in_rdy_o) | ||
| 51 | ex_stage_i.i_mult.i_multiplier.operand_b_i[63:0] , ex_stage_i.i_mult.i_multiplier.sign_a , ex_stage_i.i_mult.i_multiplier.sign_b , ex_stage_i.i_mult.i_multiplier.mult_valid , ex_stage_i.i_mult.i_multiplier.result_o[63:0] , ex_stage_i.i_mult.i_multiplier.clk_i , ... | ||||
| unclassified | assert | unprocessed | ex_stage_i.i_mult.i_multiplier.mult_valid |=> ~ex_stage_i.i_mult.i_multiplier.mult_valid | ||
| unclassified | assert | unprocessed | ex_stage_i.i_mult.i_multiplier.mult_valid_o |=> ~ex_stage_i.i_mult.i_multiplier.mult_valid_o | ||
| 52 | ex_stage_i.lsu_i.st_vaddr[63:0] , ex_stage_i.lsu_i.st_result[63:0] , ex_stage_i.lsu_i.dcache_req_ports_o[2].address_index[11:0] , ex_stage_i.lsu_i.load_exception_o.tval[63:0] , ex_stage_i.lsu_i.dcache_req_ports_o[0].data_req , ex_stage_i.lsu_i.dcache_req_ports_o[0].data_we , ... | ||||
| unclassified | assert | unprocessed | ex_stage_i.lsu_i.flush_i |=> ~ex_stage_i.lsu_i.flush_i | ||
| unclassified | assert | unprocessed | ex_stage_i.lsu_i.dcache_req_ports_o[1].kill_req |=> ~ex_stage_i.lsu_i.dcache_req_ports_o[1].kill_req | ||
| unclassified | assert | unprocessed | $onehot0(ex_stage_i.lsu_i.lsu_req_i.fu) | ||
| unclassified | assert | unprocessed | $onehot0(ex_stage_i.lsu_i.lsu_ctrl.fu) | ||
| unclassified | assert | unprocessed | `jasper_handshake(ex_stage_i.lsu_i.dcache_req_ports_o[1].data_req, ex_stage_i.lsu_i.dcache_req_ports_i[1].data_gnt, 0, 7, 3, 2) | ||
| unclassified | assert | unprocessed | `jasper_handshake(~ex_stage_i.lsu_i.no_st_pending_o, ex_stage_i.lsu_i.dcache_req_ports_i[2].data_gnt, 0, 5, 3, 29) | ||
| unclassified | assert | unprocessed | (ex_stage_i.lsu_i.dcache_req_ports_o[1].data_req | ex_stage_i.lsu_i.dcache_req_ports_i[1].data_gnt | ex_stage_i.lsu_i.ld_translation_req | ex_stage_i.lsu_i.pop_ld) |-> ex_stage_i.lsu_i.ld_valid_i | ||
| unclassified | assert | unprocessed | (ex_stage_i.lsu_i.dcache_req_ports_o[1].data_req | ex_stage_i.lsu_i.dcache_req_ports_i[1].data_gnt | ex_stage_i.lsu_i.pop_ld | $rose(ex_stage_i.lsu_i.ld_valid_i) | (ex_stage_i.lsu_i.translation_req & ex_stage_i.lsu_i.ld_valid_i)) |-> ex_stage_i.lsu_i.ld_translation_req | ||
| unclassified | assert | unprocessed | ex_stage_i.lsu_i.ld_valid |-> ex_stage_i.lsu_i.dcache_req_ports_i[1].data_rvalid | ||
| unclassified | assert | unprocessed | ex_stage_i.lsu_i.pop_ld |-> ex_stage_i.lsu_i.dcache_req_ports_o[1].data_req | ||
| unclassified | assert | unprocessed | $fell(ex_stage_i.lsu_i.commit_i) |-> ~ex_stage_i.lsu_i.no_st_pending_o | ||
| unclassified | assert | unprocessed | ($fell(ex_stage_i.lsu_i.st_valid_i) | $fell(ex_stage_i.lsu_i.pop_st)) |-> ex_stage_i.lsu_i.store_valid_o | ||
| unclassified | assert | unprocessed | ~ex_stage_i.lsu_i.lsu_ready_o |-> ($stable(ex_stage_i.lsu_i.lsu_ctrl.valid) & ex_stage_i.lsu_i.lsu_ctrl.valid) | ||
| unclassified | assert | unprocessed | (ex_stage_i.lsu_i.lsu_ctrl.valid | ex_stage_i.lsu_i.lsu_valid_i) |-> (ex_stage_i.lsu_i.translation_req | ex_stage_i.lsu_i.ld_valid_i) | ||
| unclassified | assert | unprocessed | (ex_stage_i.lsu_i.lsu_ctrl.valid | ex_stage_i.lsu_i.lsu_valid_i | ex_stage_i.lsu_i.translation_req) |-> (ex_stage_i.lsu_i.st_valid_i | ex_stage_i.lsu_i.ld_valid_i) | ||
| unclassified | assert | unprocessed | ex_stage_i.lsu_i.translation_req |-> (ex_stage_i.lsu_i.st_valid_i | ex_stage_i.lsu_i.ld_translation_req) | ||
| unclassified | assert | unprocessed | ex_stage_i.lsu_i.ld_valid_i |-> (~ex_stage_i.lsu_i.lsu_ready_o | ex_stage_i.lsu_i.ld_translation_req) | ||
| unclassified | assert | unprocessed | (ex_stage_i.lsu_i.translation_valid === $past(ex_stage_i.lsu_i.translation_req)) | ||
| unclassified | assert | unprocessed | (ex_stage_i.lsu_i.load_valid_o | $fell(ex_stage_i.lsu_i.ld_valid)) |-> $past(ex_stage_i.lsu_i.dcache_req_ports_i[1].data_rvalid) | ||
| unclassified | assert | unprocessed | (ex_stage_i.lsu_i.store_valid_o | $fell(ex_stage_i.lsu_i.pop_st)) |-> $past(ex_stage_i.lsu_i.st_valid_i) | ||
| unclassified | assert | unprocessed | (ex_stage_i.lsu_i.store_valid_o === $past(ex_stage_i.lsu_i.pop_st)) | ||
| unclassified | assert | unprocessed | ($fell(ex_stage_i.lsu_i.dcache_wbuffer_empty_i) | $rose(ex_stage_i.lsu_i.store_buffer_empty) | $fell(ex_stage_i.lsu_i.dcache_req_ports_i[2].data_gnt)) |-> $past(~ex_stage_i.lsu_i.no_st_pending_o) | ||
| unclassified | assert | unprocessed | ($fell(ex_stage_i.lsu_i.dcache_wbuffer_empty_i) | $rose(ex_stage_i.lsu_i.no_st_pending_o) | $rose(ex_stage_i.lsu_i.store_buffer_empty)) |-> $past(ex_stage_i.lsu_i.dcache_req_ports_i[2].data_gnt) | ||
| unclassified | assert | unprocessed | $fell(ex_stage_i.lsu_i.no_st_pending_o) |-> $past(ex_stage_i.lsu_i.commit_i) | ||
| unclassified | assert | unprocessed | $fell(ex_stage_i.lsu_i.store_buffer_empty) |-> $past(ex_stage_i.lsu_i.store_valid_o) | ||
| unclassified | assert | unprocessed | $fell(ex_stage_i.lsu_i.st_valid_i) |-> $past(ex_stage_i.lsu_i.pop_st) | ||
| unclassified | assert | unprocessed | ($fell(ex_stage_i.lsu_i.ld_translation_req) | $fell(ex_stage_i.lsu_i.pop_ld) | (ex_stage_i.lsu_i.translation_valid & ex_stage_i.lsu_i.dcache_req_ports_o[1].tag_valid)) |-> $past(ex_stage_i.lsu_i.ld_valid_i) | ||
| unclassified | assert | unprocessed | ($fell(ex_stage_i.lsu_i.pop_ld) | (ex_stage_i.lsu_i.translation_valid & ex_stage_i.lsu_i.dcache_req_ports_o[1].tag_valid)) |-> $past(ex_stage_i.lsu_i.dcache_req_ports_o[1].data_req) | ||
| unclassified | assert | unprocessed | ($fell(ex_stage_i.lsu_i.pop_ld) | (ex_stage_i.lsu_i.translation_valid & ex_stage_i.lsu_i.dcache_req_ports_o[1].tag_valid)) |-> $past(ex_stage_i.lsu_i.dcache_req_ports_i[1].data_gnt) | ||
| unclassified | assert | unprocessed | ($fell(ex_stage_i.lsu_i.pop_ld) | (ex_stage_i.lsu_i.translation_valid & ex_stage_i.lsu_i.dcache_req_ports_o[1].tag_valid)) |-> $past(ex_stage_i.lsu_i.ld_translation_req) | ||
| unclassified | assert | unprocessed | ex_stage_i.lsu_i.commit_i |=> ~ex_stage_i.lsu_i.no_st_pending_o | ||
| 53 | ex_stage_i.lsu_i.i_load_unit.ex_o.valid , ex_stage_i.lsu_i.i_load_unit.translation_req_o , ex_stage_i.lsu_i.i_load_unit.result_o[63:0] , ex_stage_i.lsu_i.i_load_unit.vaddr_o[63:0] , ex_stage_i.lsu_i.i_load_unit.sign_bits[7:0] , ex_stage_i.lsu_i.i_load_unit.req_port_o.data_wdata[63:0] , ... | ||||
| unclassified | assert | unprocessed | ex_stage_i.lsu_i.i_load_unit.flush_i |=> ~ex_stage_i.lsu_i.i_load_unit.flush_i | ||
| unclassified | assert | unprocessed | ex_stage_i.lsu_i.i_load_unit.req_port_o.kill_req |=> ~ex_stage_i.lsu_i.i_load_unit.req_port_o.kill_req | ||
| unclassified | assert | unprocessed | $onehot0(ex_stage_i.lsu_i.i_load_unit.lsu_ctrl_i.fu) | ||
| unclassified | assert | unprocessed | (ex_stage_i.lsu_i.i_load_unit.translation_req_o | ex_stage_i.lsu_i.i_load_unit.req_port_o.data_req | ex_stage_i.lsu_i.i_load_unit.req_port_i.data_gnt | ex_stage_i.lsu_i.i_load_unit.pop_ld_o) |-> ex_stage_i.lsu_i.i_load_unit.valid_i | ||
| unclassified | assert | unprocessed | ex_stage_i.lsu_i.i_load_unit.pop_ld_o |-> ex_stage_i.lsu_i.i_load_unit.req_port_i.data_gnt | ||
| unclassified | assert | unprocessed | ex_stage_i.lsu_i.i_load_unit.valid_o |-> ex_stage_i.lsu_i.i_load_unit.req_port_i.data_rvalid | ||
| unclassified | assert | unprocessed | $rose(ex_stage_i.lsu_i.i_load_unit.valid_i) |-> ex_stage_i.lsu_i.i_load_unit.translation_req_o | ||
| unclassified | assert | unprocessed | (ex_stage_i.lsu_i.i_load_unit.req_port_i.data_gnt & ~ex_stage_i.lsu_i.i_load_unit.stall_nc) |-> ex_stage_i.lsu_i.i_load_unit.pop_ld_o | ||
| unclassified | assert | unprocessed | ($fell(ex_stage_i.lsu_i.i_load_unit.translation_req_o) | $fell(ex_stage_i.lsu_i.i_load_unit.req_port_o.data_req) | $fell(ex_stage_i.lsu_i.i_load_unit.req_port_i.data_gnt) | $fell(ex_stage_i.lsu_i.i_load_unit.pop_ld_o)) |-> $past(ex_stage_i.lsu_i.i_load_unit.valid_i) | ||
| unclassified | assert | unprocessed | $fell(ex_stage_i.lsu_i.i_load_unit.pop_ld_o) |-> $past(ex_stage_i.lsu_i.i_load_unit.req_port_i.data_gnt) | ||
| unclassified | assert | unprocessed | $fell(ex_stage_i.lsu_i.i_load_unit.valid_o) |-> $past(ex_stage_i.lsu_i.i_load_unit.req_port_i.data_rvalid) | ||
| 54 | ex_stage_i.lsu_i.i_mmu.update_ptw_dtlb.content.rsw[1:0] , ex_stage_i.lsu_i.i_mmu.update_ptw_dtlb.content.d , ex_stage_i.lsu_i.i_mmu.update_ptw_dtlb.content.a , ex_stage_i.lsu_i.i_mmu.req_port_o.address_index[11:0] , ex_stage_i.lsu_i.i_mmu.update_ptw_dtlb.content.g , ... | ||||
| unclassified | assert | unprocessed | ex_stage_i.lsu_i.i_mmu.flush_i |=> ~ex_stage_i.lsu_i.i_mmu.flush_i | ||
| 55 | ex_stage_i.lsu_i.i_mmu.i_dtlb.tags_n[11].is_2M , ex_stage_i.lsu_i.i_mmu.i_dtlb.tags_n[11].is_1G , ex_stage_i.lsu_i.i_mmu.i_dtlb.tags_n[11].valid , ex_stage_i.lsu_i.i_mmu.i_dtlb.tags_n[10].asid , ex_stage_i.lsu_i.i_mmu.i_dtlb.tags_n[10].vpn2[8:0] , ex_stage_i.lsu_i.i_mmu.i_dtlb.content_n[1].rsw[1:0] , ... | ||||
| unclassified | assert | unprocessed | $onehot0(ex_stage_i.lsu_i.i_mmu.i_dtlb.vpn2) | ||
| 56 | ex_stage_i.lsu_i.i_mmu.i_itlb.tags_n[6].is_2M , ex_stage_i.lsu_i.i_mmu.i_itlb.tags_n[6].is_1G , ex_stage_i.lsu_i.i_mmu.i_itlb.tags_n[6].valid , ex_stage_i.lsu_i.i_mmu.i_itlb.tags_n[5].asid , ex_stage_i.lsu_i.i_mmu.i_itlb.tags_n[5].vpn2[8:0] , ex_stage_i.lsu_i.i_mmu.i_itlb.content_n[10].ppn[43:0] , ... | ||||
| unclassified | assert | unprocessed | $onehot0(ex_stage_i.lsu_i.i_mmu.i_itlb.vpn2) | ||
| 57 | ex_stage_i.lsu_i.i_mmu.i_ptw.pte.rsw[1:0] , ex_stage_i.lsu_i.i_mmu.i_ptw.pte.d , ex_stage_i.lsu_i.i_mmu.i_ptw.pte.a , ex_stage_i.lsu_i.i_mmu.i_ptw.pte.g , ex_stage_i.lsu_i.i_mmu.i_ptw.pte.u , ex_stage_i.lsu_i.i_mmu.i_ptw.pte.x , ex_stage_i.lsu_i.i_mmu.i_ptw.pte.w , ... | ||||
| unclassified | assert | unprocessed | ex_stage_i.lsu_i.i_mmu.i_ptw.flush_i |=> ~ex_stage_i.lsu_i.i_mmu.i_ptw.flush_i | ||
| 58 | ex_stage_i.lsu_i.i_store_unit.trans_id_n[2:0] , ex_stage_i.lsu_i.i_store_unit.ex_i.valid , ex_stage_i.lsu_i.i_store_unit.dtlb_hit_i , ex_stage_i.lsu_i.i_store_unit.page_offset_i[11:0] , ex_stage_i.lsu_i.i_store_unit.trans_id_q[2:0] , ex_stage_i.lsu_i.i_store_unit.store_buffer_valid , ... | ||||
| unclassified | assert | unprocessed | ex_stage_i.lsu_i.i_store_unit.flush_i |=> ~ex_stage_i.lsu_i.i_store_unit.flush_i | ||
| unclassified | assert | unprocessed | $onehot0(ex_stage_i.lsu_i.i_store_unit.lsu_ctrl_i.fu) | ||
| unclassified | assert | unprocessed | `jasper_handshake(ex_stage_i.lsu_i.i_store_unit.req_port_o.data_req, ex_stage_i.lsu_i.i_store_unit.req_port_i.data_gnt, 0, 5, 3, 29) | ||
| unclassified | assert | unprocessed | `jasper_handshake(~ex_stage_i.lsu_i.i_store_unit.store_buffer_empty_o, ex_stage_i.lsu_i.i_store_unit.req_port_i.data_gnt, 1, 5, 3, 38) | ||
| unclassified | assert | unprocessed | ($fell(ex_stage_i.lsu_i.i_store_unit.pop_st_o) | $fell(ex_stage_i.lsu_i.i_store_unit.translation_req_o)) |-> ex_stage_i.lsu_i.i_store_unit.store_buffer_valid | ||
| unclassified | assert | unprocessed | $fell(ex_stage_i.lsu_i.i_store_unit.commit_i) |-> ex_stage_i.lsu_i.i_store_unit.req_port_o.data_req | ||
| unclassified | assert | unprocessed | (ex_stage_i.lsu_i.i_store_unit.store_buffer_valid === $past(ex_stage_i.lsu_i.i_store_unit.pop_st_o)) | ||
| unclassified | assert | unprocessed | $rose(ex_stage_i.lsu_i.i_store_unit.req_port_o.data_req) |-> $past(ex_stage_i.lsu_i.i_store_unit.commit_i) | ||
| unclassified | assert | unprocessed | $fell(ex_stage_i.lsu_i.i_store_unit.store_buffer_empty_o) |-> $past(ex_stage_i.lsu_i.i_store_unit.store_buffer_valid) | ||
| unclassified | assert | unprocessed | $rose(ex_stage_i.lsu_i.i_store_unit.store_buffer_empty_o) |-> $past(ex_stage_i.lsu_i.i_store_unit.req_port_o.data_req & ex_stage_i.lsu_i.i_store_unit.req_port_i.data_gnt) | ||
| unclassified | assert | unprocessed | ex_stage_i.lsu_i.i_store_unit.commit_i |=> ex_stage_i.lsu_i.i_store_unit.req_port_o.data_req | ||
| 59 | ex_stage_i.lsu_i.i_store_unit.i_amo_buffer.amo_data_out.paddr[55:0] , ex_stage_i.lsu_i.i_store_unit.i_amo_buffer.data_size_i[1:0] , ex_stage_i.lsu_i.i_store_unit.i_amo_buffer.amo_req_o.req , ex_stage_i.lsu_i.i_store_unit.i_amo_buffer.amo_req_o.amo_op[3:0] , ... | ||||
| unclassified | assert | unprocessed | ex_stage_i.lsu_i.i_store_unit.i_amo_buffer.flush_amo_buffer |=> ~ex_stage_i.lsu_i.i_store_unit.i_amo_buffer.flush_amo_buffer | ||
| 60 | ex_stage_i.lsu_i.i_store_unit.i_amo_buffer.i_amo_fifo.data_i.size[1:0] , ex_stage_i.lsu_i.i_store_unit.i_amo_buffer.i_amo_fifo.push_i , ex_stage_i.lsu_i.i_store_unit.i_amo_buffer.i_amo_fifo.mem_q[0].size[1:0] , ex_stage_i.lsu_i.i_store_unit.i_amo_buffer.i_amo_fifo.data_o.op[3:0] , ... | ||||
| unclassified | assert | unprocessed | ex_stage_i.lsu_i.i_store_unit.i_amo_buffer.i_amo_fifo.flush_i |=> ~ex_stage_i.lsu_i.i_store_unit.i_amo_buffer.i_amo_fifo.flush_i | ||
| 61 | ex_stage_i.lsu_i.i_store_unit.store_buffer_i.commit_queue_n[3].be[7:0] , ex_stage_i.lsu_i.i_store_unit.store_buffer_i.commit_queue_n[6].data_size[1:0] , ex_stage_i.lsu_i.i_store_unit.store_buffer_i.commit_queue_n[6].valid , ex_stage_i.lsu_i.i_store_unit.store_buffer_i.commit_queue_n[5].address[55:0] , ... | ||||
| unclassified | assert | unprocessed | ex_stage_i.lsu_i.i_store_unit.store_buffer_i.flush_i |=> ~ex_stage_i.lsu_i.i_store_unit.store_buffer_i.flush_i | ||
| unclassified | assert | unprocessed | ($rose(ex_stage_i.lsu_i.i_store_unit.store_buffer_i.commit_queue_n[3].valid) | $fell(ex_stage_i.lsu_i.i_store_unit.store_buffer_i.speculative_queue_n[3].valid)) |-> ex_stage_i.lsu_i.i_store_unit.store_buffer_i.speculative_queue_q[3].valid | ||
| unclassified | assert | unprocessed | ($fell(ex_stage_i.lsu_i.i_store_unit.store_buffer_i.commit_queue_n[3].valid) | $fell(ex_stage_i.lsu_i.i_store_unit.store_buffer_i.speculative_queue_q[3].valid)) |-> ex_stage_i.lsu_i.i_store_unit.store_buffer_i.commit_queue_q[3].valid | ||
| unclassified | assert | unprocessed | ($rose(ex_stage_i.lsu_i.i_store_unit.store_buffer_i.commit_queue_n[0].valid) | $fell(ex_stage_i.lsu_i.i_store_unit.store_buffer_i.speculative_queue_n[0].valid)) |-> ex_stage_i.lsu_i.i_store_unit.store_buffer_i.speculative_queue_q[0].valid | ||
| unclassified | assert | unprocessed | ($fell(ex_stage_i.lsu_i.i_store_unit.store_buffer_i.commit_queue_n[0].valid) | $fell(ex_stage_i.lsu_i.i_store_unit.store_buffer_i.speculative_queue_q[0].valid)) |-> ex_stage_i.lsu_i.i_store_unit.store_buffer_i.commit_queue_q[0].valid | ||
| unclassified | assert | unprocessed | ($fell(ex_stage_i.lsu_i.i_store_unit.store_buffer_i.speculative_queue_n[1].valid) | $rose(ex_stage_i.lsu_i.i_store_unit.store_buffer_i.commit_queue_n[1].valid)) |-> ex_stage_i.lsu_i.i_store_unit.store_buffer_i.speculative_queue_q[1].valid | ||
| unclassified | assert | unprocessed | ($rose(ex_stage_i.lsu_i.i_store_unit.store_buffer_i.speculative_queue_q[2].valid) | (ex_stage_i.lsu_i.i_store_unit.store_buffer_i.speculative_queue_q[2].valid & ex_stage_i.lsu_i.i_store_unit.store_buffer_i.commit_i)) |-> ex_stage_i.lsu_i.i_store_unit.store_buffer_i.commit_queue_n[2].valid | ||
| unclassified | assert | unprocessed | ($fell(ex_stage_i.lsu_i.i_store_unit.store_buffer_i.speculative_queue_q[2].valid) | $fell(ex_stage_i.lsu_i.i_store_unit.store_buffer_i.commit_queue_n[2].valid)) |-> ex_stage_i.lsu_i.i_store_unit.store_buffer_i.commit_queue_q[2].valid | ||
| unclassified | assert | unprocessed | ($fell(ex_stage_i.lsu_i.i_store_unit.store_buffer_i.commit_queue_n[1].valid) | $fell(ex_stage_i.lsu_i.i_store_unit.store_buffer_i.speculative_queue_q[1].valid)) |-> ex_stage_i.lsu_i.i_store_unit.store_buffer_i.commit_queue_q[1].valid | ||
| unclassified | assert | unprocessed | ($fell(ex_stage_i.lsu_i.i_store_unit.store_buffer_i.speculative_queue_n[2].valid) | $rose(ex_stage_i.lsu_i.i_store_unit.store_buffer_i.commit_queue_n[2].valid)) |-> ex_stage_i.lsu_i.i_store_unit.store_buffer_i.speculative_queue_q[2].valid | ||
| unclassified | assert | unprocessed | ($rose(ex_stage_i.lsu_i.i_store_unit.store_buffer_i.speculative_queue_q[3].valid) | (ex_stage_i.lsu_i.i_store_unit.store_buffer_i.commit_i & ex_stage_i.lsu_i.i_store_unit.store_buffer_i.speculative_queue_q[3].valid)) |-> ex_stage_i.lsu_i.i_store_unit.store_buffer_i.commit_queue_n[3].valid | ||
| unclassified | assert | unprocessed | (ex_stage_i.lsu_i.i_store_unit.store_buffer_i.commit_i & ex_stage_i.lsu_i.i_store_unit.store_buffer_i.speculative_queue_q[0].valid) |-> ex_stage_i.lsu_i.i_store_unit.store_buffer_i.commit_queue_n[0].valid | ||
| unclassified | assert | unprocessed | $rose(ex_stage_i.lsu_i.i_store_unit.store_buffer_i.commit_queue_q[2].valid) |-> $past(ex_stage_i.lsu_i.i_store_unit.store_buffer_i.speculative_queue_q[2].valid) | ||
| unclassified | assert | unprocessed | $fell(ex_stage_i.lsu_i.i_store_unit.store_buffer_i.speculative_queue_q[2].valid) |-> $past(ex_stage_i.lsu_i.i_store_unit.store_buffer_i.commit_queue_n[2].valid) | ||
| unclassified | assert | unprocessed | $rose(ex_stage_i.lsu_i.i_store_unit.store_buffer_i.commit_queue_q[3].valid) |-> $past(ex_stage_i.lsu_i.i_store_unit.store_buffer_i.speculative_queue_q[3].valid) | ||
| unclassified | assert | unprocessed | $rose(ex_stage_i.lsu_i.i_store_unit.store_buffer_i.commit_queue_q[0].valid) |-> $past(ex_stage_i.lsu_i.i_store_unit.store_buffer_i.speculative_queue_q[0].valid) | ||
| unclassified | assert | unprocessed | $fell(ex_stage_i.lsu_i.i_store_unit.store_buffer_i.speculative_queue_q[3].valid) |-> $past(ex_stage_i.lsu_i.i_store_unit.store_buffer_i.commit_queue_n[3].valid) | ||
| unclassified | assert | unprocessed | $fell(ex_stage_i.lsu_i.i_store_unit.store_buffer_i.speculative_queue_q[0].valid) |-> $past(ex_stage_i.lsu_i.i_store_unit.store_buffer_i.commit_queue_n[0].valid) | ||
| unclassified | assert | unprocessed | $rose(ex_stage_i.lsu_i.i_store_unit.store_buffer_i.commit_queue_q[1].valid) |-> $past(ex_stage_i.lsu_i.i_store_unit.store_buffer_i.speculative_queue_q[1].valid) | ||
| unclassified | assert | unprocessed | $fell(ex_stage_i.lsu_i.i_store_unit.store_buffer_i.speculative_queue_q[1].valid) |-> $past(ex_stage_i.lsu_i.i_store_unit.store_buffer_i.commit_queue_n[1].valid) | ||
| unclassified | assert | unprocessed | ($rose(ex_stage_i.lsu_i.i_store_unit.store_buffer_i.speculative_queue_q[2].valid) | (ex_stage_i.lsu_i.i_store_unit.store_buffer_i.speculative_queue_q[2].valid & ex_stage_i.lsu_i.i_store_unit.store_buffer_i.commit_i)) |=> ex_stage_i.lsu_i.i_store_unit.store_buffer_i.commit_queue_q[2].valid | ||
| unclassified | assert | unprocessed | ($rose(ex_stage_i.lsu_i.i_store_unit.store_buffer_i.speculative_queue_q[3].valid) | (ex_stage_i.lsu_i.i_store_unit.store_buffer_i.commit_i & ex_stage_i.lsu_i.i_store_unit.store_buffer_i.speculative_queue_q[3].valid)) |=> ex_stage_i.lsu_i.i_store_unit.store_buffer_i.commit_queue_q[3].valid | ||
| unclassified | assert | unprocessed | (ex_stage_i.lsu_i.i_store_unit.store_buffer_i.commit_i & ex_stage_i.lsu_i.i_store_unit.store_buffer_i.speculative_queue_q[0].valid) |=> ex_stage_i.lsu_i.i_store_unit.store_buffer_i.commit_queue_q[0].valid | ||
| 62 | ex_stage_i.lsu_i.lsu_bypass_i.mem_n[0].be[7:0] , ex_stage_i.lsu_i.lsu_bypass_i.mem_n[0].fu[3:0] , ex_stage_i.lsu_i.lsu_bypass_i.mem_n[0].operator[6:0] , ex_stage_i.lsu_i.lsu_bypass_i.lsu_ctrl_o.overflow , ex_stage_i.lsu_i.lsu_bypass_i.lsu_ctrl_o.data[63:0] , ... | ||||
| unclassified | assert | unprocessed | ex_stage_i.lsu_i.lsu_bypass_i.flush_i |=> ~ex_stage_i.lsu_i.lsu_bypass_i.flush_i | ||
| unclassified | assert | unprocessed | $onehot0(ex_stage_i.lsu_i.lsu_bypass_i.mem_n[1].fu) | ||
| unclassified | assert | unprocessed | $onehot0(ex_stage_i.lsu_i.lsu_bypass_i.lsu_ctrl_o.fu) | ||
| unclassified | assert | unprocessed | $onehot0(ex_stage_i.lsu_i.lsu_bypass_i.mem_q[0].fu) | ||
| unclassified | assert | unprocessed | $onehot0(ex_stage_i.lsu_i.lsu_bypass_i.lsu_req_i.fu) | ||
| unclassified | assert | unprocessed | $onehot0(ex_stage_i.lsu_i.lsu_bypass_i.mem_q[1].fu) | ||
| unclassified | assert | unprocessed | ex_stage_i.lsu_i.lsu_bypass_i.read_pointer_q |-> (ex_stage_i.lsu_i.lsu_bypass_i.mem_q[1].valid | ex_stage_i.lsu_i.lsu_bypass_i.write_pointer_q) | ||
| unclassified | assert | unprocessed | ex_stage_i.lsu_i.lsu_bypass_i.write_pointer_q |-> (ex_stage_i.lsu_i.lsu_bypass_i.read_pointer_q | ex_stage_i.lsu_i.lsu_bypass_i.mem_q[0].valid) | ||
| 63 | i_cache_subsystem.dcache_enable_i , i_cache_subsystem.dcache_flush_i , i_cache_subsystem.dcache_flush_ack_o , i_cache_subsystem.dcache_miss_o , i_cache_subsystem.wbuffer_empty_o , i_cache_subsystem.clk_i , i_cache_subsystem.rst_ni , i_cache_subsystem.priv_lvl_i[1:0] , ... | ||||
| unclassified | assert | unprocessed | i_cache_subsystem.dcache_miss_o |=> ~i_cache_subsystem.dcache_miss_o | ||
| unclassified | assert | unprocessed | i_cache_subsystem.icache_flush_i |=> ~i_cache_subsystem.icache_flush_i | ||
| unclassified | assert | unprocessed | i_cache_subsystem.icache_miss_o |=> ~i_cache_subsystem.icache_miss_o | ||
| 64 | i_frontend.icache_dreq_o.vaddr[63:0] , i_frontend.fetch_entry_o.branch_predict.cf[2:0] , i_frontend.fetch_entry_o.ex.valid , i_frontend.addr[0][63:0] , i_frontend.fetch_entry_valid_o , i_frontend.fetch_entry_o.branch_predict.predict_address[63:0] , i_frontend.rvc_imm[0][63:0] , ... | ||||
| unclassified | assert | unprocessed | i_frontend.ras_push |=> ~i_frontend.ras_push | ||
| unclassified | assert | unprocessed | i_frontend.ras_pop |=> ~i_frontend.ras_pop | ||
| unclassified | assert | unprocessed | i_frontend.bht_update.valid |=> ~i_frontend.bht_update.valid | ||
| unclassified | assert | unprocessed | i_frontend.replay |=> ~i_frontend.replay | ||
| unclassified | assert | unprocessed | i_frontend.eret_i |=> ~i_frontend.eret_i | ||
| unclassified | assert | unprocessed | i_frontend.bp_valid |=> ~i_frontend.bp_valid | ||
| unclassified | assert | unprocessed | i_frontend.flush_i |=> ~i_frontend.flush_i | ||
| unclassified | assert | unprocessed | i_frontend.set_pc_commit_i |=> ~i_frontend.set_pc_commit_i | ||
| unclassified | assert | unprocessed | i_frontend.ex_valid_i |=> ~i_frontend.ex_valid_i | ||
| unclassified | assert | unprocessed | i_frontend.set_debug_pc_i |=> ~i_frontend.set_debug_pc_i | ||
| unclassified | assert | unprocessed | i_frontend.icache_dreq_o.kill_s1 |=> ~i_frontend.icache_dreq_o.kill_s1 | ||
| unclassified | assert | unprocessed | $onehot0(i_frontend.fetch_entry_o.branch_predict.cf) | ||
| unclassified | assert | unprocessed | $onehot0(i_frontend.cf_type[1]) | ||
| unclassified | assert | unprocessed | $onehot0(i_frontend.cf_type[0]) | ||
| unclassified | assert | unprocessed | i_frontend.set_debug_pc_i |-> i_frontend.ex_valid_i | ||
| unclassified | assert | unprocessed | (i_frontend.is_mispredict & i_frontend.bht_q.taken) |-> i_frontend.btb_update.valid | ||
| unclassified | assert | unprocessed | $rose(i_frontend.ras_predict.valid) |-> $past(i_frontend.ras_push) | ||
| unclassified | assert | unprocessed | ($fell(i_frontend.debug_mode_i) === $past(i_frontend.eret_i)) | ||
| unclassified | assert | unprocessed | $onehot0({i_frontend.bht_prediction_shifted[1].taken, i_frontend.bht_prediction_shifted[0].taken}) | ||
| unclassified | assert | unprocessed | $onehot0({i_frontend.btb_prediction_shifted[1].valid, i_frontend.btb_prediction_shifted[0].valid}) | ||
| 65 | i_frontend.gen_instr_scan[0].i_instr_scan.rvc_branch_o , i_frontend.gen_instr_scan[0].i_instr_scan.rvc_jump_o , i_frontend.gen_instr_scan[0].i_instr_scan.rvc_jr_o , i_frontend.gen_instr_scan[0].i_instr_scan.rvc_return_o , i_frontend.gen_instr_scan[0].i_instr_scan.rvc_jalr_o , ... | ||||
| unclassified | assert | unprocessed | i_frontend.gen_instr_scan[0].i_instr_scan.rvi_jalr_o |=> ~i_frontend.gen_instr_scan[0].i_instr_scan.rvi_jalr_o | ||
| unclassified | assert | unprocessed | (($stable(i_frontend.gen_instr_scan[0].i_instr_scan.rvc_jr_o) & i_frontend.gen_instr_scan[0].i_instr_scan.rvc_jr_o) | ($stable(i_frontend.gen_instr_scan[0].i_instr_scan.rvc_return_o) & i_frontend.gen_instr_scan[0].i_instr_scan.rvc_return_o)) |-> $past(i_frontend.gen_instr_scan[0].i_instr_scan.is_jal_r) | ||
| unclassified | assert | unprocessed | ($stable(i_frontend.gen_instr_scan[0].i_instr_scan.rvc_return_o) & i_frontend.gen_instr_scan[0].i_instr_scan.rvc_return_o) |-> $past(i_frontend.gen_instr_scan[0].i_instr_scan.rvc_jr_o) | ||
| 67 | i_frontend.i_bht.bht_d[35][1].valid , i_frontend.i_bht.bht_d[35][1].saturation_counter[1:0] , i_frontend.i_bht.bht_d[35][0].valid , i_frontend.i_bht.bht_d[35][0].saturation_counter[1:0] , i_frontend.i_bht.bht_d[34][1].valid , i_frontend.i_bht.bht_d[34][1].saturation_counter[1:0] , ... | ||||
| unclassified | assert | unprocessed | i_frontend.i_bht.bht_update_i.valid |=> ~i_frontend.i_bht.bht_update_i.valid | ||
| 68 | i_frontend.i_btb.btb_d[4][1].target_address[63:0] , i_frontend.i_btb.btb_d[3][0].valid , i_frontend.i_btb.btb_d[3][0].target_address[63:0] , i_frontend.i_btb.btb_d[1][1].valid , i_frontend.i_btb.btb_d[1][1].target_address[63:0] , i_frontend.i_btb.btb_d[0][0].valid , ... | ||||
| unclassified | assert | unprocessed | $onehot0(i_frontend.i_btb.btb_q[5][0].target_address) | ||
| unclassified | assert | unprocessed | $onehot0(i_frontend.i_btb.btb_d[5][0].target_address) | ||
| 69 | i_frontend.i_instr_queue.cf_type_i[1][2:0] , i_frontend.i_instr_queue.cf_type_i[0][2:0] , i_frontend.i_instr_queue.replay_o , i_frontend.i_instr_queue.replay_addr_o[63:0] , i_frontend.i_instr_queue.pop_address , i_frontend.i_instr_queue.push_address , i_frontend.i_instr_queue.full_address , ... | ||||
| unclassified | assert | unprocessed | i_frontend.i_instr_queue.replay_o |=> ~i_frontend.i_instr_queue.replay_o | ||
| unclassified | assert | unprocessed | i_frontend.i_instr_queue.push_address |=> ~i_frontend.i_instr_queue.push_address | ||
| unclassified | assert | unprocessed | i_frontend.i_instr_queue.flush_i |=> ~i_frontend.i_instr_queue.flush_i | ||
| unclassified | assert | unprocessed | ~i_frontend.i_instr_queue.branch_empty |=> i_frontend.i_instr_queue.branch_empty | ||
| unclassified | assert | unprocessed | ~i_frontend.i_instr_queue.branch_index |=> i_frontend.i_instr_queue.branch_index | ||
| unclassified | assert | unprocessed | $onehot0(i_frontend.i_instr_queue.cf_type_i[1]) | ||
| unclassified | assert | unprocessed | $onehot0(i_frontend.i_instr_queue.cf_type_i[0]) | ||
| unclassified | assert | unprocessed | $onehot0(i_frontend.i_instr_queue.instr_data_in[1].cf) | ||
| unclassified | assert | unprocessed | $onehot0(i_frontend.i_instr_queue.instr_data_in[0].cf) | ||
| unclassified | assert | unprocessed | $onehot0(i_frontend.i_instr_queue.instr_data_out[1].cf) | ||
| unclassified | assert | unprocessed | $onehot0(i_frontend.i_instr_queue.instr_data_out[0].cf) | ||
| unclassified | assert | unprocessed | $onehot0(i_frontend.i_instr_queue.fetch_entry_o.branch_predict.cf) | ||
| unclassified | assert | unprocessed | i_frontend.i_instr_queue.flush_i |-> $rose(i_frontend.i_instr_queue.reset_address_d) | ||
| unclassified | assert | unprocessed | ($stable(i_frontend.i_instr_queue.idx_is_d) & i_frontend.i_instr_queue.idx_is_d) |-> i_frontend.i_instr_queue.idx_is_q | ||
| unclassified | assert | unprocessed | (i_frontend.i_instr_queue.reset_address_q === $past(i_frontend.i_instr_queue.reset_address_d)) | ||
| unclassified | assert | unprocessed | $fell(i_frontend.i_instr_queue.empty_address) |-> $past(i_frontend.i_instr_queue.push_address) | ||
| unclassified | assert | unprocessed | ($fell(i_frontend.i_instr_queue.empty_address) | $rose(i_frontend.i_instr_queue.branch_index)) |-> $past(~i_frontend.i_instr_queue.branch_empty) | ||
| unclassified | assert | unprocessed | ($rose(i_frontend.i_instr_queue.reset_address_q) === $past(i_frontend.i_instr_queue.flush_i)) | ||
| unclassified | assert | unprocessed | (i_frontend.i_instr_queue.push_address | ~i_frontend.i_instr_queue.branch_index) |=> $rose(i_frontend.i_instr_queue.branch_empty) | ||
| unclassified | assert | unprocessed | ($stable(i_frontend.i_instr_queue.idx_is_q) & i_frontend.i_instr_queue.idx_is_q) |-> $past(i_frontend.i_instr_queue.idx_is_d, 2) | ||
| unclassified | assert | unprocessed | ($stable(i_frontend.i_instr_queue.reset_address_q) & i_frontend.i_instr_queue.reset_address_q) |-> $past(i_frontend.i_instr_queue.reset_address_d, 2) | ||
| 70 | i_frontend.i_instr_queue.gen_instr_fifo[0].i_fifo_instr_data.data_o.cf[2:0] , i_frontend.i_instr_queue.gen_instr_fifo[0].i_fifo_instr_data.mem_q[3].cf[2:0] , i_frontend.i_instr_queue.gen_instr_fifo[0].i_fifo_instr_data.data_o.ex , i_frontend.i_instr_queue.gen_instr_fifo[0].i_fifo_instr_data.pop_i , ... | ||||
| unclassified | assert | unprocessed | i_frontend.i_instr_queue.gen_instr_fifo[0].i_fifo_instr_data.pop_i |=> ~i_frontend.i_instr_queue.gen_instr_fifo[0].i_fifo_instr_data.pop_i | ||
| unclassified | assert | unprocessed | i_frontend.i_instr_queue.gen_instr_fifo[0].i_fifo_instr_data.flush_i |=> ~i_frontend.i_instr_queue.gen_instr_fifo[0].i_fifo_instr_data.flush_i | ||
| unclassified | assert | unprocessed | $onehot0(i_frontend.i_instr_queue.gen_instr_fifo[0].i_fifo_instr_data.data_o.cf) | ||
| unclassified | assert | unprocessed | $onehot0(i_frontend.i_instr_queue.gen_instr_fifo[0].i_fifo_instr_data.mem_q[3].cf) | ||
| unclassified | assert | unprocessed | $onehot0(i_frontend.i_instr_queue.gen_instr_fifo[0].i_fifo_instr_data.mem_q[2].cf) | ||
| unclassified | assert | unprocessed | $onehot0(i_frontend.i_instr_queue.gen_instr_fifo[0].i_fifo_instr_data.mem_n[3].cf) | ||
| unclassified | assert | unprocessed | $onehot0(i_frontend.i_instr_queue.gen_instr_fifo[0].i_fifo_instr_data.mem_q[1].cf) | ||
| unclassified | assert | unprocessed | $onehot0(i_frontend.i_instr_queue.gen_instr_fifo[0].i_fifo_instr_data.mem_n[2].cf) | ||
| unclassified | assert | unprocessed | $onehot0(i_frontend.i_instr_queue.gen_instr_fifo[0].i_fifo_instr_data.mem_q[0].cf) | ||
| unclassified | assert | unprocessed | $onehot0(i_frontend.i_instr_queue.gen_instr_fifo[0].i_fifo_instr_data.mem_n[1].cf) | ||
| unclassified | assert | unprocessed | $onehot0(i_frontend.i_instr_queue.gen_instr_fifo[0].i_fifo_instr_data.data_i.cf) | ||
| unclassified | assert | unprocessed | $onehot0(i_frontend.i_instr_queue.gen_instr_fifo[0].i_fifo_instr_data.mem_n[0].cf) | ||
| unclassified | assert | unprocessed | i_frontend.i_instr_queue.gen_instr_fifo[0].i_fifo_instr_data.pop_i |-> ~i_frontend.i_instr_queue.gen_instr_fifo[0].i_fifo_instr_data.empty_o | ||
| 71 | i_frontend.i_instr_queue.gen_instr_fifo[1].i_fifo_instr_data.write_pointer_n[1:0] , i_frontend.i_instr_queue.gen_instr_fifo[1].i_fifo_instr_data.write_pointer_q[1:0] , i_frontend.i_instr_queue.gen_instr_fifo[1].i_fifo_instr_data.status_cnt_n[2:0] , i_frontend.i_instr_queue.gen_instr_fifo[1].i_fifo_instr_data.status_cnt_q[2:0] , ... | ||||
| unclassified | assert | unprocessed | i_frontend.i_instr_queue.gen_instr_fifo[1].i_fifo_instr_data.flush_i |=> ~i_frontend.i_instr_queue.gen_instr_fifo[1].i_fifo_instr_data.flush_i | ||
| unclassified | assert | unprocessed | i_frontend.i_instr_queue.gen_instr_fifo[1].i_fifo_instr_data.pop_i |=> ~i_frontend.i_instr_queue.gen_instr_fifo[1].i_fifo_instr_data.pop_i | ||
| unclassified | assert | unprocessed | $onehot0(i_frontend.i_instr_queue.gen_instr_fifo[1].i_fifo_instr_data.mem_q[2].cf) | ||
| unclassified | assert | unprocessed | $onehot0(i_frontend.i_instr_queue.gen_instr_fifo[1].i_fifo_instr_data.mem_n[3].cf) | ||
| unclassified | assert | unprocessed | $onehot0(i_frontend.i_instr_queue.gen_instr_fifo[1].i_fifo_instr_data.mem_q[1].cf) | ||
| unclassified | assert | unprocessed | $onehot0(i_frontend.i_instr_queue.gen_instr_fifo[1].i_fifo_instr_data.mem_n[2].cf) | ||
| unclassified | assert | unprocessed | $onehot0(i_frontend.i_instr_queue.gen_instr_fifo[1].i_fifo_instr_data.mem_q[0].cf) | ||
| unclassified | assert | unprocessed | $onehot0(i_frontend.i_instr_queue.gen_instr_fifo[1].i_fifo_instr_data.mem_n[1].cf) | ||
| unclassified | assert | unprocessed | $onehot0(i_frontend.i_instr_queue.gen_instr_fifo[1].i_fifo_instr_data.data_i.cf) | ||
| unclassified | assert | unprocessed | $onehot0(i_frontend.i_instr_queue.gen_instr_fifo[1].i_fifo_instr_data.mem_n[0].cf) | ||
| unclassified | assert | unprocessed | $onehot0(i_frontend.i_instr_queue.gen_instr_fifo[1].i_fifo_instr_data.data_o.cf) | ||
| unclassified | assert | unprocessed | $onehot0(i_frontend.i_instr_queue.gen_instr_fifo[1].i_fifo_instr_data.mem_q[3].cf) | ||
| unclassified | assert | unprocessed | i_frontend.i_instr_queue.gen_instr_fifo[1].i_fifo_instr_data.pop_i |-> ~i_frontend.i_instr_queue.gen_instr_fifo[1].i_fifo_instr_data.empty_o | ||
| unclassified | assert | unprocessed | $fell(i_frontend.i_instr_queue.gen_instr_fifo[1].i_fifo_instr_data.empty_o) |-> $past(i_frontend.i_instr_queue.gen_instr_fifo[1].i_fifo_instr_data.push_i) | ||
| 72 | i_frontend.i_instr_queue.i_fifo_address.pop_i , i_frontend.i_instr_queue.i_fifo_address.gate_clock , i_frontend.i_instr_queue.i_fifo_address.read_pointer_n[1:0] , i_frontend.i_instr_queue.i_fifo_address.read_pointer_q[1:0] , i_frontend.i_instr_queue.i_fifo_address.write_pointer_n[1:0] , ... | ||||
| unclassified | assert | unprocessed | ~i_frontend.i_instr_queue.i_fifo_address.gate_clock |=> i_frontend.i_instr_queue.i_fifo_address.gate_clock | ||
| unclassified | assert | unprocessed | i_frontend.i_instr_queue.i_fifo_address.flush_i |=> ~i_frontend.i_instr_queue.i_fifo_address.flush_i | ||
| 74 | i_frontend.i_ras.stack_d[1].valid , i_frontend.i_ras.stack_d[1].ra[63:0] , i_frontend.i_ras.stack_q[0].valid , i_frontend.i_ras.stack_q[0].ra[63:0] , i_frontend.i_ras.clk_i , i_frontend.i_ras.rst_ni , i_frontend.i_ras.flush_i , i_frontend.i_ras.push_i , i_frontend.i_ras.pop_i , ... | ||||
| unclassified | assert | unprocessed | i_frontend.i_ras.push_i |=> ~i_frontend.i_ras.push_i | ||
| unclassified | assert | unprocessed | i_frontend.i_ras.pop_i |=> ~i_frontend.i_ras.pop_i | ||
| unclassified | assert | unprocessed | $rose(i_frontend.i_ras.stack_q[0].valid) |-> $past(i_frontend.i_ras.push_i) | ||
| 75 | i_perf_counters.commit_instr_i[0].ex.tval[63:0] , i_perf_counters.perf_counter_q[2819][63:0] , i_perf_counters.perf_counter_q[2822][63:0] , i_perf_counters.perf_counter_q[2825][63:0] , i_perf_counters.ex_i.tval[63:0] , i_perf_counters.perf_counter_q[2828][63:0] , ... | ||||
| unclassified | assert | unprocessed | i_perf_counters.commit_instr_i[0].ex.valid |=> ~i_perf_counters.commit_instr_i[0].ex.valid | ||
| unclassified | assert | unprocessed | i_perf_counters.eret_i |=> ~i_perf_counters.eret_i | ||
| unclassified | assert | unprocessed | i_perf_counters.l1_icache_miss_i |=> ~i_perf_counters.l1_icache_miss_i | ||
| unclassified | assert | unprocessed | i_perf_counters.l1_dcache_miss_i |=> ~i_perf_counters.l1_dcache_miss_i | ||
| unclassified | assert | unprocessed | i_perf_counters.sb_full_i |=> ~i_perf_counters.sb_full_i | ||
| unclassified | assert | unprocessed | $onehot0(i_perf_counters.perf_counter_q[2831]) | ||
| unclassified | assert | unprocessed | $onehot0(i_perf_counters.commit_instr_i[0].bp.cf) | ||
| unclassified | assert | unprocessed | $onehot0(i_perf_counters.perf_counter_d[2831]) | ||
| unclassified | assert | unprocessed | $onehot0(i_perf_counters.commit_instr_i[1].bp.cf) | ||
| unclassified | assert | unprocessed | ($fell(i_perf_counters.debug_mode_i) === $past(i_perf_counters.eret_i)) | ||
| 76 | id_stage_i.decoded_instruction.valid , id_stage_i.decoded_instruction.use_imm , id_stage_i.decoded_instruction.use_zimm , id_stage_i.decoded_instruction.use_pc , id_stage_i.decoded_instruction.ex.cause[63:0] , id_stage_i.decoded_instruction.is_compressed , ... | ||||
| unclassified | assert | unprocessed | id_stage_i.flush_i |=> ~id_stage_i.flush_i | ||
| unclassified | assert | unprocessed | $onehot0(id_stage_i.fetch_entry_i.branch_predict.cf) | ||
| unclassified | assert | unprocessed | $onehot0(id_stage_i.irq_ctrl_i.mip) | ||
| unclassified | assert | unprocessed | $onehot0(id_stage_i.issue_q.sbe.bp.cf) | ||
| unclassified | assert | unprocessed | $onehot0(id_stage_i.issue_n.sbe.bp.cf) | ||
| unclassified | assert | unprocessed | id_stage_i.issue_n.sbe.is_compressed |-> ((id_stage_i.decoded_instruction.is_compressed | id_stage_i.issue_q.sbe.is_compressed) & (id_stage_i.decoded_instruction.is_compressed | ~id_stage_i.debug_mode_i) & (id_stage_i.issue_q.sbe.is_compressed | ~id_stage_i.debug_mode_i)) | ||
| 77 | id_stage_i.decoder_i.instruction_o.ex.tval[63:0] , id_stage_i.decoder_i.ex_i.cause[63:0] , id_stage_i.decoder_i.irq_ctrl_i.mip[63:0] , id_stage_i.decoder_i.debug_req_i , id_stage_i.decoder_i.pc_i[63:0] , id_stage_i.decoder_i.instruction_o.trans_id[2:0] , id_stage_i.decoder_i.instruction_o.fu[3:0] , ... | ||||
| unclassified | assert | unprocessed | $onehot0(id_stage_i.decoder_i.irq_ctrl_i.mip) | ||
| unclassified | assert | unprocessed | $onehot0(id_stage_i.decoder_i.instruction_o.bp.cf) | ||
| unclassified | assert | unprocessed | id_stage_i.decoder_i.is_illegal_i |-> id_stage_i.decoder_i.illegal_instr | ||
| unclassified | assert | unprocessed | ($stable(id_stage_i.decoder_i.illegal_instr) & id_stage_i.decoder_i.illegal_instr) |-> id_stage_i.decoder_i.is_illegal_i | ||
| unclassified | assert | unprocessed | ($stable(id_stage_i.decoder_i.is_illegal_i) & id_stage_i.decoder_i.is_illegal_i) |-> $past(id_stage_i.decoder_i.illegal_instr) | ||
| unclassified | assert | unprocessed | ($stable(id_stage_i.decoder_i.illegal_instr) & id_stage_i.decoder_i.illegal_instr) |-> $past(id_stage_i.decoder_i.is_illegal_i) | ||
| 78 | issue_stage_i.rd_clobber_gpr_sb_iro[62][3:0] , issue_stage_i.issue_instr_sb_iro.rs2[5:0] , issue_stage_i.rd_clobber_fpr_sb_iro[28][3:0] , issue_stage_i.fu_data_o.trans_id[2:0] , issue_stage_i.rd_clobber_gpr_sb_iro[61][3:0] , issue_stage_i.pc_o[63:0] , issue_stage_i.issue_instr_sb_iro.rd[5:0] , ... | ||||
| unclassified | assert | unprocessed | issue_stage_i.mult_valid_o |=> ~issue_stage_i.mult_valid_o | ||
| unclassified | assert | unprocessed | issue_stage_i.csr_valid_o |=> ~issue_stage_i.csr_valid_o | ||
| unclassified | assert | unprocessed | issue_stage_i.sb_full_o |=> ~issue_stage_i.sb_full_o | ||
| unclassified | assert | unprocessed | issue_stage_i.flush_unissued_instr_i |=> ~issue_stage_i.flush_unissued_instr_i | ||
| unclassified | assert | unprocessed | issue_stage_i.flush_i |=> ~issue_stage_i.flush_i | ||
| unclassified | assert | unprocessed | issue_stage_i.commit_instr_o[0].ex.valid |=> ~issue_stage_i.commit_instr_o[0].ex.valid | ||
| unclassified | assert | unprocessed | $onehot0(issue_stage_i.branch_predict_o.cf) | ||
| unclassified | assert | unprocessed | $onehot0(issue_stage_i.decoded_instr_i.bp.cf) | ||
| unclassified | assert | unprocessed | $onehot0(issue_stage_i.commit_instr_o[0].bp.cf) | ||
| unclassified | assert | unprocessed | $onehot0(issue_stage_i.commit_instr_o[1].bp.cf) | ||
| unclassified | assert | unprocessed | issue_stage_i.csr_valid_o |-> ~issue_stage_i.flu_ready_i | ||
| unclassified | assert | unprocessed | ((~issue_stage_i.flu_ready_i & issue_stage_i.issue_instr_sb_iro.valid) | (issue_stage_i.issue_instr_sb_iro.valid & issue_stage_i.flush_i)) |-> issue_stage_i.commit_instr_o[0].ex.valid | ||
| 79 | issue_stage_i.i_issue_read_operands.rd_clobber_gpr_i[16][3:0] , issue_stage_i.i_issue_read_operands.rd_clobber_gpr_i[15][3:0] , issue_stage_i.i_issue_read_operands.rd_clobber_gpr_i[14][3:0] , issue_stage_i.i_issue_read_operands.rdata[0][63:0] , issue_stage_i.i_issue_read_operands.fu_data_o.operand_b[63:0] , ... | ||||
| unclassified | assert | unprocessed | issue_stage_i.i_issue_read_operands.flush_i |=> ~issue_stage_i.i_issue_read_operands.flush_i | ||
| unclassified | assert | unprocessed | issue_stage_i.i_issue_read_operands.mult_valid_q |=> ~issue_stage_i.i_issue_read_operands.mult_valid_q | ||
| unclassified | assert | unprocessed | issue_stage_i.i_issue_read_operands.csr_valid_q |=> ~issue_stage_i.i_issue_read_operands.csr_valid_q | ||
| unclassified | assert | unprocessed | $onehot0(issue_stage_i.i_issue_read_operands.branch_predict_o.cf) | ||
| unclassified | assert | unprocessed | $onehot0(issue_stage_i.i_issue_read_operands.issue_instr_i.bp.cf) | ||
| unclassified | assert | unprocessed | issue_stage_i.i_issue_read_operands.fu_busy |-> (~issue_stage_i.i_issue_read_operands.flu_ready_i | ~issue_stage_i.i_issue_read_operands.lsu_ready_i) | ||
| 82 | issue_stage_i.i_re_name.issue_instr_o.rs2[5:0] , issue_stage_i.i_re_name.issue_instr_i.trans_id[2:0] , issue_stage_i.i_re_name.issue_instr_o.rd[5:0] , issue_stage_i.i_re_name.issue_instr_i.fu[3:0] , issue_stage_i.i_re_name.issue_instr_i.op[6:0] , issue_stage_i.i_re_name.issue_instr_o.result[63:0] , ... | ||||
| unclassified | assert | unprocessed | issue_stage_i.i_re_name.flush_i |=> ~issue_stage_i.i_re_name.flush_i | ||
| unclassified | assert | unprocessed | issue_stage_i.i_re_name.flush_unissied_instr_i |=> ~issue_stage_i.i_re_name.flush_unissied_instr_i | ||
| unclassified | assert | unprocessed | $onehot0(issue_stage_i.i_re_name.issue_instr_o.bp.cf) | ||
| 83 | issue_stage_i.i_scoreboard.mem_q[5].sbe.fu[3:0] , issue_stage_i.i_scoreboard.fpr_clobber_vld[18][8:0] , issue_stage_i.i_scoreboard.rd_clobber_gpr_o[51][3:0] , issue_stage_i.i_scoreboard.mem_q[5].sbe.op[6:0] , issue_stage_i.i_scoreboard.gpr_clobber_vld[39][8:0] , ... | ||||
| unclassified | assert | unprocessed | issue_stage_i.i_scoreboard.mem_n[3].sbe.ex.valid |=> ~issue_stage_i.i_scoreboard.mem_n[3].sbe.ex.valid | ||
| unclassified | assert | unprocessed | issue_stage_i.i_scoreboard.mem_n[5].sbe.ex.valid |=> ~issue_stage_i.i_scoreboard.mem_n[5].sbe.ex.valid | ||
| unclassified | assert | unprocessed | issue_stage_i.i_scoreboard.mem_q[3].sbe.ex.valid |=> ~issue_stage_i.i_scoreboard.mem_q[3].sbe.ex.valid | ||
| unclassified | assert | unprocessed | issue_stage_i.i_scoreboard.mem_q[5].sbe.ex.valid |=> ~issue_stage_i.i_scoreboard.mem_q[5].sbe.ex.valid | ||
| unclassified | assert | unprocessed | issue_stage_i.i_scoreboard.mem_n[2].sbe.ex.valid |=> ~issue_stage_i.i_scoreboard.mem_n[2].sbe.ex.valid | ||
| unclassified | assert | unprocessed | issue_stage_i.i_scoreboard.issue_full |=> ~issue_stage_i.i_scoreboard.issue_full | ||
| unclassified | assert | unprocessed | issue_stage_i.i_scoreboard.mem_n[4].sbe.ex.valid |=> ~issue_stage_i.i_scoreboard.mem_n[4].sbe.ex.valid | ||
| unclassified | assert | unprocessed | issue_stage_i.i_scoreboard.mem_q[2].sbe.ex.valid |=> ~issue_stage_i.i_scoreboard.mem_q[2].sbe.ex.valid | ||
| unclassified | assert | unprocessed | issue_stage_i.i_scoreboard.commit_instr_o[0].ex.valid |=> ~issue_stage_i.i_scoreboard.commit_instr_o[0].ex.valid | ||
| unclassified | assert | unprocessed | issue_stage_i.i_scoreboard.mem_q[4].sbe.ex.valid |=> ~issue_stage_i.i_scoreboard.mem_q[4].sbe.ex.valid | ||
| unclassified | assert | unprocessed | issue_stage_i.i_scoreboard.flush_unissued_instr_i |=> ~issue_stage_i.i_scoreboard.flush_unissued_instr_i | ||
| unclassified | assert | unprocessed | issue_stage_i.i_scoreboard.flush_i |=> ~issue_stage_i.i_scoreboard.flush_i | ||
| unclassified | assert | unprocessed | $onehot0(issue_stage_i.i_scoreboard.mem_n[3].sbe.bp.cf) | ||
| unclassified | assert | unprocessed | $onehot0(issue_stage_i.i_scoreboard.mem_n[5].sbe.bp.cf) | ||
| unclassified | assert | unprocessed | $onehot0(issue_stage_i.i_scoreboard.mem_n[7].sbe.bp.cf) | ||
| unclassified | assert | unprocessed | $onehot0(issue_stage_i.i_scoreboard.mem_q[1].sbe.bp.cf) | ||
| unclassified | assert | unprocessed | $onehot0(issue_stage_i.i_scoreboard.decoded_instr_i.bp.cf) | ||
| unclassified | assert | unprocessed | $onehot0(issue_stage_i.i_scoreboard.mem_q[3].sbe.bp.cf) | ||
| unclassified | assert | unprocessed | $onehot0(issue_stage_i.i_scoreboard.commit_instr_o[1].bp.cf) | ||
| unclassified | assert | unprocessed | $onehot0(issue_stage_i.i_scoreboard.mem_q[5].sbe.bp.cf) | ||
| unclassified | assert | unprocessed | $onehot0(issue_stage_i.i_scoreboard.mem_q[7].sbe.bp.cf) | ||
| unclassified | assert | unprocessed | $onehot0(issue_stage_i.i_scoreboard.mem_n[0].sbe.bp.cf) | ||
| unclassified | assert | unprocessed | $onehot0(issue_stage_i.i_scoreboard.mem_n[2].sbe.bp.cf) | ||
| unclassified | assert | unprocessed | $onehot0(issue_stage_i.i_scoreboard.mem_n[4].sbe.bp.cf) | ||
| unclassified | assert | unprocessed | $onehot0(issue_stage_i.i_scoreboard.mem_n[6].sbe.bp.cf) | ||
| unclassified | assert | unprocessed | $onehot0(issue_stage_i.i_scoreboard.mem_q[0].sbe.bp.cf) | ||
| unclassified | assert | unprocessed | $onehot0(issue_stage_i.i_scoreboard.mem_q[2].sbe.bp.cf) | ||
| unclassified | assert | unprocessed | $onehot0(issue_stage_i.i_scoreboard.commit_instr_o[0].bp.cf) | ||
| unclassified | assert | unprocessed | $onehot0(issue_stage_i.i_scoreboard.mem_q[4].sbe.bp.cf) | ||
| unclassified | assert | unprocessed | $onehot0(issue_stage_i.i_scoreboard.mem_q[6].sbe.bp.cf) | ||
| unclassified | assert | unprocessed | $onehot0(issue_stage_i.i_scoreboard.mem_n[1].sbe.bp.cf) | ||
| unclassified | assert | unprocessed | (issue_stage_i.i_scoreboard.mem_q[1].sbe.is_compressed & issue_stage_i.i_scoreboard.rs3_valid_o) |-> issue_stage_i.i_scoreboard.mem_n[1].sbe.is_compressed[*2] | ||
| unclassified | assert | unprocessed | ((issue_stage_i.i_scoreboard.decoded_instr_i.is_compressed & issue_stage_i.i_scoreboard.mem_q[4].sbe.is_compressed) | (issue_stage_i.i_scoreboard.mem_q[4].sbe.is_compressed & issue_stage_i.i_scoreboard.rs3_valid_o)) |-> issue_stage_i.i_scoreboard.mem_n[4].sbe.is_compressed | ||
| unclassified | assert | unprocessed | $fell(issue_stage_i.i_scoreboard.mem_q[0].issued) |-> $past(issue_stage_i.i_scoreboard.mem_q[0].sbe.valid) | ||
| unclassified | assert | unprocessed | $fell(issue_stage_i.i_scoreboard.mem_q[2].issued) |-> $past(issue_stage_i.i_scoreboard.mem_q[2].sbe.valid) | ||
| unclassified | assert | unprocessed | $fell(issue_stage_i.i_scoreboard.mem_q[4].issued) |-> $past(issue_stage_i.i_scoreboard.mem_q[4].sbe.valid) | ||
| unclassified | assert | unprocessed | $fell(issue_stage_i.i_scoreboard.mem_q[6].issued) |-> $past(issue_stage_i.i_scoreboard.mem_q[6].sbe.valid) | ||
| unclassified | assert | unprocessed | $fell(issue_stage_i.i_scoreboard.mem_q[3].issued) |-> $past(issue_stage_i.i_scoreboard.mem_q[3].sbe.valid) | ||
| unclassified | assert | unprocessed | $fell(issue_stage_i.i_scoreboard.mem_q[5].issued) |-> $past(issue_stage_i.i_scoreboard.mem_q[5].sbe.valid) | ||
| unclassified | assert | unprocessed | $onehot0({issue_stage_i.i_scoreboard.mem_q[3].sbe.valid, issue_stage_i.i_scoreboard.mem_q[0].sbe.valid}) | ||
| unclassified | assert | unprocessed | $onehot0({issue_stage_i.i_scoreboard.mem_q[5].sbe.use_pc, issue_stage_i.i_scoreboard.mem_q[2].sbe.use_pc}) | ||
| unclassified | assert | unprocessed | $onehot0({issue_stage_i.i_scoreboard.mem_q[5].sbe.ex.valid, issue_stage_i.i_scoreboard.mem_q[0].sbe.ex.valid}) | ||
| unclassified | assert | unprocessed | $onehot0({issue_stage_i.i_scoreboard.mem_q[2].sbe.valid, issue_stage_i.i_scoreboard.mem_q[6].sbe.valid}) | ||
| 86 | issue_stage_i.i_scoreboard.gen_sel_clobbers[10].i_sel_fpr_clobbers.genblk1.gen_levels[2].gen_level[1].sel , issue_stage_i.i_scoreboard.gen_sel_clobbers[10].i_sel_fpr_clobbers.data_i[3][3:0] , issue_stage_i.i_scoreboard.gen_sel_clobbers[10].i_sel_fpr_clobbers.genblk1.gen_levels[2].gen_level[2].sel , ... | ||||
| unclassified | assert | unprocessed | $onehot(issue_stage_i.i_scoreboard.gen_sel_clobbers[10].i_sel_fpr_clobbers.idx_o) | ||
| 87 | issue_stage_i.i_scoreboard.gen_sel_clobbers[10].i_sel_gpr_clobbers.genblk1.gen_levels[0].gen_level[0].sel , issue_stage_i.i_scoreboard.gen_sel_clobbers[10].i_sel_gpr_clobbers.data_i[4][3:0] , issue_stage_i.i_scoreboard.gen_sel_clobbers[10].i_sel_gpr_clobbers.genblk1.gen_levels[1].gen_level[0].sel , ... | ||||
| unclassified | assert | unprocessed | $onehot0({~issue_stage_i.i_scoreboard.gen_sel_clobbers[10].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[3].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[10].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[2].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[10].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[1].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[10].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[0].sel}) | ||
| unclassified | assert | unprocessed | $onehot0({~issue_stage_i.i_scoreboard.gen_sel_clobbers[10].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[3].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[10].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[2].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[10].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[1].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[10].i_sel_gpr_clobbers.genblk1.gen_levels[2].gen_level[0].sel}) | ||
| unclassified | assert | unprocessed | $onehot0({~issue_stage_i.i_scoreboard.gen_sel_clobbers[10].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[3].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[10].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[2].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[10].i_sel_gpr_clobbers.genblk1.gen_levels[1].gen_level[0].sel}) | ||
| unclassified | assert | unprocessed | $onehot0({~issue_stage_i.i_scoreboard.gen_sel_clobbers[10].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[3].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[10].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[1].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[10].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[0].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[10].i_sel_gpr_clobbers.genblk1.gen_levels[2].gen_level[1].sel}) | ||
| unclassified | assert | unprocessed | $onehot0({~issue_stage_i.i_scoreboard.gen_sel_clobbers[10].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[3].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[10].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[1].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[10].i_sel_gpr_clobbers.genblk1.gen_levels[2].gen_level[1].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[10].i_sel_gpr_clobbers.genblk1.gen_levels[2].gen_level[0].sel}) | ||
| unclassified | assert | unprocessed | $onehot0({~issue_stage_i.i_scoreboard.gen_sel_clobbers[10].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[3].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[10].i_sel_gpr_clobbers.genblk1.gen_levels[2].gen_level[1].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[10].i_sel_gpr_clobbers.genblk1.gen_levels[1].gen_level[0].sel}) | ||
| 89 | issue_stage_i.i_scoreboard.gen_sel_clobbers[11].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[1].sel , issue_stage_i.i_scoreboard.gen_sel_clobbers[11].i_sel_gpr_clobbers.data_i[2][3:0] , issue_stage_i.i_scoreboard.gen_sel_clobbers[11].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[2].sel , ... | ||||
| unclassified | assert | unprocessed | $onehot0({~issue_stage_i.i_scoreboard.gen_sel_clobbers[11].i_sel_gpr_clobbers.genblk1.gen_levels[2].gen_level[1].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[11].i_sel_gpr_clobbers.genblk1.gen_levels[2].gen_level[0].sel}) | ||
| unclassified | assert | unprocessed | $onehot0({~issue_stage_i.i_scoreboard.gen_sel_clobbers[11].i_sel_gpr_clobbers.genblk1.gen_levels[2].gen_level[1].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[11].i_sel_gpr_clobbers.genblk1.gen_levels[1].gen_level[0].sel}) | ||
| 90 | issue_stage_i.i_scoreboard.gen_sel_clobbers[12].i_sel_fpr_clobbers.gnt_i , issue_stage_i.i_scoreboard.gen_sel_clobbers[12].i_sel_fpr_clobbers.req_o , issue_stage_i.i_scoreboard.gen_sel_clobbers[12].i_sel_fpr_clobbers.data_o[3:0] , issue_stage_i.i_scoreboard.gen_sel_clobbers[12].i_sel_fpr_clobbers.idx_o[3:0] , ... | ||||
| unclassified | assert | unprocessed | $onehot(issue_stage_i.i_scoreboard.gen_sel_clobbers[12].i_sel_fpr_clobbers.idx_o) | ||
| 93 | issue_stage_i.i_scoreboard.gen_sel_clobbers[13].i_sel_gpr_clobbers.idx_o[3:0] , issue_stage_i.i_scoreboard.gen_sel_clobbers[13].i_sel_gpr_clobbers.genblk1.index_nodes[14][3:0] , issue_stage_i.i_scoreboard.gen_sel_clobbers[13].i_sel_gpr_clobbers.genblk1.index_nodes[13][3:0] , ... | ||||
| unclassified | assert | unprocessed | $onehot0({~issue_stage_i.i_scoreboard.gen_sel_clobbers[13].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[2].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[13].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[0].sel}) | ||
| unclassified | assert | unprocessed | $onehot0({~issue_stage_i.i_scoreboard.gen_sel_clobbers[13].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[2].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[13].i_sel_gpr_clobbers.genblk1.gen_levels[2].gen_level[0].sel}) | ||
| unclassified | assert | unprocessed | $onehot0({~issue_stage_i.i_scoreboard.gen_sel_clobbers[13].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[2].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[13].i_sel_gpr_clobbers.genblk1.gen_levels[1].gen_level[0].sel}) | ||
| unclassified | assert | unprocessed | $onehot0({~issue_stage_i.i_scoreboard.gen_sel_clobbers[13].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[0].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[13].i_sel_gpr_clobbers.genblk1.gen_levels[2].gen_level[1].sel}) | ||
| unclassified | assert | unprocessed | $onehot0({~issue_stage_i.i_scoreboard.gen_sel_clobbers[13].i_sel_gpr_clobbers.genblk1.gen_levels[2].gen_level[1].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[13].i_sel_gpr_clobbers.genblk1.gen_levels[2].gen_level[0].sel}) | ||
| unclassified | assert | unprocessed | $onehot0({~issue_stage_i.i_scoreboard.gen_sel_clobbers[13].i_sel_gpr_clobbers.genblk1.gen_levels[2].gen_level[1].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[13].i_sel_gpr_clobbers.genblk1.gen_levels[1].gen_level[0].sel}) | ||
| 95 | issue_stage_i.i_scoreboard.gen_sel_clobbers[14].i_sel_gpr_clobbers.genblk1.index_nodes[13][3:0] , issue_stage_i.i_scoreboard.gen_sel_clobbers[14].i_sel_gpr_clobbers.genblk1.index_nodes[12][3:0] , issue_stage_i.i_scoreboard.gen_sel_clobbers[14].i_sel_gpr_clobbers.genblk1.index_nodes[11][3:0] , ... | ||||
| unclassified | assert | unprocessed | $onehot0({~issue_stage_i.i_scoreboard.gen_sel_clobbers[14].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[3].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[14].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[2].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[14].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[1].sel}) | ||
| unclassified | assert | unprocessed | $onehot0({~issue_stage_i.i_scoreboard.gen_sel_clobbers[14].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[2].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[14].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[0].sel}) | ||
| unclassified | assert | unprocessed | $onehot0({~issue_stage_i.i_scoreboard.gen_sel_clobbers[14].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[2].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[14].i_sel_gpr_clobbers.genblk1.gen_levels[2].gen_level[0].sel}) | ||
| unclassified | assert | unprocessed | $onehot0({~issue_stage_i.i_scoreboard.gen_sel_clobbers[14].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[2].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[14].i_sel_gpr_clobbers.genblk1.gen_levels[1].gen_level[0].sel}) | ||
| unclassified | assert | unprocessed | $onehot0({~issue_stage_i.i_scoreboard.gen_sel_clobbers[14].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[3].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[14].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[1].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[14].i_sel_gpr_clobbers.genblk1.gen_levels[2].gen_level[1].sel}) | ||
| unclassified | assert | unprocessed | $onehot0({~issue_stage_i.i_scoreboard.gen_sel_clobbers[14].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[0].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[14].i_sel_gpr_clobbers.genblk1.gen_levels[2].gen_level[1].sel}) | ||
| unclassified | assert | unprocessed | $onehot0({~issue_stage_i.i_scoreboard.gen_sel_clobbers[14].i_sel_gpr_clobbers.genblk1.gen_levels[2].gen_level[1].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[14].i_sel_gpr_clobbers.genblk1.gen_levels[2].gen_level[0].sel}) | ||
| unclassified | assert | unprocessed | $onehot0({~issue_stage_i.i_scoreboard.gen_sel_clobbers[14].i_sel_gpr_clobbers.genblk1.gen_levels[2].gen_level[1].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[14].i_sel_gpr_clobbers.genblk1.gen_levels[1].gen_level[0].sel}) | ||
| 97 | issue_stage_i.i_scoreboard.gen_sel_clobbers[15].i_sel_gpr_clobbers.genblk1.index_nodes[11][3:0] , issue_stage_i.i_scoreboard.gen_sel_clobbers[15].i_sel_gpr_clobbers.genblk1.index_nodes[10][3:0] , issue_stage_i.i_scoreboard.gen_sel_clobbers[15].i_sel_gpr_clobbers.genblk1.index_nodes[9][3:0] , ... | ||||
| unclassified | assert | unprocessed | $onehot0({~issue_stage_i.i_scoreboard.gen_sel_clobbers[15].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[3].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[15].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[2].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[15].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[1].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[15].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[0].sel}) | ||
| unclassified | assert | unprocessed | $onehot0({~issue_stage_i.i_scoreboard.gen_sel_clobbers[15].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[3].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[15].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[2].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[15].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[1].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[15].i_sel_gpr_clobbers.genblk1.gen_levels[2].gen_level[0].sel}) | ||
| unclassified | assert | unprocessed | $onehot0({~issue_stage_i.i_scoreboard.gen_sel_clobbers[15].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[3].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[15].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[2].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[15].i_sel_gpr_clobbers.genblk1.gen_levels[1].gen_level[0].sel}) | ||
| unclassified | assert | unprocessed | $onehot0({~issue_stage_i.i_scoreboard.gen_sel_clobbers[15].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[3].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[15].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[1].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[15].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[0].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[15].i_sel_gpr_clobbers.genblk1.gen_levels[2].gen_level[1].sel}) | ||
| unclassified | assert | unprocessed | $onehot0({~issue_stage_i.i_scoreboard.gen_sel_clobbers[15].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[3].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[15].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[1].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[15].i_sel_gpr_clobbers.genblk1.gen_levels[2].gen_level[1].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[15].i_sel_gpr_clobbers.genblk1.gen_levels[2].gen_level[0].sel}) | ||
| unclassified | assert | unprocessed | $onehot0({~issue_stage_i.i_scoreboard.gen_sel_clobbers[15].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[3].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[15].i_sel_gpr_clobbers.genblk1.gen_levels[2].gen_level[1].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[15].i_sel_gpr_clobbers.genblk1.gen_levels[1].gen_level[0].sel}) | ||
| 98 | issue_stage_i.i_scoreboard.gen_sel_clobbers[16].i_sel_fpr_clobbers.genblk1.index_nodes[8][3:0] , issue_stage_i.i_scoreboard.gen_sel_clobbers[16].i_sel_fpr_clobbers.genblk1.index_nodes[7][3:0] , issue_stage_i.i_scoreboard.gen_sel_clobbers[16].i_sel_fpr_clobbers.genblk1.index_nodes[6][3:0] , ... | ||||
| unclassified | assert | unprocessed | $onehot0(issue_stage_i.i_scoreboard.gen_sel_clobbers[16].i_sel_fpr_clobbers.genblk1.index_nodes[0]) | ||
| 100 | issue_stage_i.i_scoreboard.gen_sel_clobbers[17].i_sel_fpr_clobbers.genblk1.index_nodes[6][3:0] , issue_stage_i.i_scoreboard.gen_sel_clobbers[17].i_sel_fpr_clobbers.genblk1.index_nodes[5][3:0] , issue_stage_i.i_scoreboard.gen_sel_clobbers[17].i_sel_fpr_clobbers.genblk1.index_nodes[4][3:0] , ... | ||||
| unclassified | assert | unprocessed | $onehot(issue_stage_i.i_scoreboard.gen_sel_clobbers[17].i_sel_fpr_clobbers.genblk1.index_nodes[0]) | ||
| 101 | issue_stage_i.i_scoreboard.gen_sel_clobbers[17].i_sel_gpr_clobbers.genblk1.index_nodes[7][3:0] , issue_stage_i.i_scoreboard.gen_sel_clobbers[17].i_sel_gpr_clobbers.genblk1.index_nodes[6][3:0] , issue_stage_i.i_scoreboard.gen_sel_clobbers[17].i_sel_gpr_clobbers.genblk1.index_nodes[5][3:0] , ... | ||||
| unclassified | assert | unprocessed | $onehot0(issue_stage_i.i_scoreboard.gen_sel_clobbers[17].i_sel_gpr_clobbers.genblk1.index_nodes[0]) | ||
| 102 | issue_stage_i.i_scoreboard.gen_sel_clobbers[18].i_sel_fpr_clobbers.genblk1.index_nodes[4][3:0] , issue_stage_i.i_scoreboard.gen_sel_clobbers[18].i_sel_fpr_clobbers.genblk1.index_nodes[3][3:0] , issue_stage_i.i_scoreboard.gen_sel_clobbers[18].i_sel_fpr_clobbers.genblk1.index_nodes[2][3:0] , ... | ||||
| unclassified | assert | unprocessed | $onehot(issue_stage_i.i_scoreboard.gen_sel_clobbers[18].i_sel_fpr_clobbers.genblk1.index_nodes[0]) | ||
| 105 | issue_stage_i.i_scoreboard.gen_sel_clobbers[19].i_sel_gpr_clobbers.genblk1.index_nodes[3][3:0] , issue_stage_i.i_scoreboard.gen_sel_clobbers[19].i_sel_gpr_clobbers.genblk1.index_nodes[2][3:0] , issue_stage_i.i_scoreboard.gen_sel_clobbers[19].i_sel_gpr_clobbers.genblk1.index_nodes[1][3:0] , ... | ||||
| unclassified | assert | unprocessed | $onehot(issue_stage_i.i_scoreboard.gen_sel_clobbers[19].i_sel_gpr_clobbers.genblk1.index_nodes[0]) | ||
| 106 | issue_stage_i.i_scoreboard.gen_sel_clobbers[1].i_sel_fpr_clobbers.genblk1.data_nodes[5][3:0] , issue_stage_i.i_scoreboard.gen_sel_clobbers[1].i_sel_fpr_clobbers.genblk1.data_nodes[4][3:0] , issue_stage_i.i_scoreboard.gen_sel_clobbers[1].i_sel_fpr_clobbers.genblk1.data_nodes[3][3:0] , ... | ||||
| unclassified | assert | unprocessed | $onehot(issue_stage_i.i_scoreboard.gen_sel_clobbers[1].i_sel_fpr_clobbers.idx_o) | ||
| 107 | issue_stage_i.i_scoreboard.gen_sel_clobbers[1].i_sel_gpr_clobbers.genblk1.data_nodes[6][3:0] , issue_stage_i.i_scoreboard.gen_sel_clobbers[1].i_sel_gpr_clobbers.genblk1.data_nodes[5][3:0] , issue_stage_i.i_scoreboard.gen_sel_clobbers[1].i_sel_gpr_clobbers.genblk1.data_nodes[4][3:0] , ... | ||||
| unclassified | assert | unprocessed | $onehot0({~issue_stage_i.i_scoreboard.gen_sel_clobbers[1].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[3].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[1].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[2].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[1].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[0].sel}) | ||
| unclassified | assert | unprocessed | $onehot0({~issue_stage_i.i_scoreboard.gen_sel_clobbers[1].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[3].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[1].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[2].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[1].i_sel_gpr_clobbers.genblk1.gen_levels[2].gen_level[0].sel}) | ||
| unclassified | assert | unprocessed | $onehot0({~issue_stage_i.i_scoreboard.gen_sel_clobbers[1].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[3].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[1].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[2].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[1].i_sel_gpr_clobbers.genblk1.gen_levels[1].gen_level[0].sel}) | ||
| unclassified | assert | unprocessed | $onehot0({~issue_stage_i.i_scoreboard.gen_sel_clobbers[1].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[3].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[1].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[0].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[1].i_sel_gpr_clobbers.genblk1.gen_levels[2].gen_level[1].sel}) | ||
| unclassified | assert | unprocessed | $onehot0({~issue_stage_i.i_scoreboard.gen_sel_clobbers[1].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[3].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[1].i_sel_gpr_clobbers.genblk1.gen_levels[2].gen_level[1].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[1].i_sel_gpr_clobbers.genblk1.gen_levels[2].gen_level[0].sel}) | ||
| unclassified | assert | unprocessed | $onehot0({~issue_stage_i.i_scoreboard.gen_sel_clobbers[1].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[3].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[1].i_sel_gpr_clobbers.genblk1.gen_levels[2].gen_level[1].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[1].i_sel_gpr_clobbers.genblk1.gen_levels[1].gen_level[0].sel}) | ||
| 108 | issue_stage_i.i_scoreboard.gen_sel_clobbers[20].i_sel_fpr_clobbers.genblk1.index_nodes[0][3:0] , issue_stage_i.i_scoreboard.gen_sel_clobbers[20].i_sel_fpr_clobbers.genblk1.data_nodes[14][3:0] , issue_stage_i.i_scoreboard.gen_sel_clobbers[20].i_sel_fpr_clobbers.genblk1.data_nodes[13][3:0] , ... | ||||
| unclassified | assert | unprocessed | $onehot(issue_stage_i.i_scoreboard.gen_sel_clobbers[20].i_sel_fpr_clobbers.genblk1.index_nodes[0]) | ||
| 111 | issue_stage_i.i_scoreboard.gen_sel_clobbers[21].i_sel_gpr_clobbers.genblk1.data_nodes[14][3:0] , issue_stage_i.i_scoreboard.gen_sel_clobbers[21].i_sel_gpr_clobbers.genblk1.data_nodes[13][3:0] , issue_stage_i.i_scoreboard.gen_sel_clobbers[21].i_sel_gpr_clobbers.genblk1.data_nodes[12][3:0] , ... | ||||
| unclassified | assert | unprocessed | $onehot(issue_stage_i.i_scoreboard.gen_sel_clobbers[21].i_sel_gpr_clobbers.idx_o) | ||
| 116 | issue_stage_i.i_scoreboard.gen_sel_clobbers[24].i_sel_fpr_clobbers.genblk1.data_nodes[7][3:0] , issue_stage_i.i_scoreboard.gen_sel_clobbers[24].i_sel_fpr_clobbers.genblk1.data_nodes[6][3:0] , issue_stage_i.i_scoreboard.gen_sel_clobbers[24].i_sel_fpr_clobbers.genblk1.data_nodes[5][3:0] , ... | ||||
| unclassified | assert | unprocessed | $onehot0(issue_stage_i.i_scoreboard.gen_sel_clobbers[24].i_sel_fpr_clobbers.idx_o) | ||
| 118 | issue_stage_i.i_scoreboard.gen_sel_clobbers[25].i_sel_fpr_clobbers.genblk1.data_nodes[5][3:0] , issue_stage_i.i_scoreboard.gen_sel_clobbers[25].i_sel_fpr_clobbers.genblk1.data_nodes[4][3:0] , issue_stage_i.i_scoreboard.gen_sel_clobbers[25].i_sel_fpr_clobbers.genblk1.data_nodes[3][3:0] , ... | ||||
| unclassified | assert | unprocessed | $onehot(issue_stage_i.i_scoreboard.gen_sel_clobbers[25].i_sel_fpr_clobbers.idx_o) | ||
| 119 | issue_stage_i.i_scoreboard.gen_sel_clobbers[25].i_sel_gpr_clobbers.genblk1.data_nodes[6][3:0] , issue_stage_i.i_scoreboard.gen_sel_clobbers[25].i_sel_gpr_clobbers.genblk1.data_nodes[5][3:0] , issue_stage_i.i_scoreboard.gen_sel_clobbers[25].i_sel_gpr_clobbers.genblk1.data_nodes[4][3:0] , ... | ||||
| unclassified | assert | unprocessed | $onehot0(issue_stage_i.i_scoreboard.gen_sel_clobbers[25].i_sel_gpr_clobbers.idx_o) | ||
| 120 | issue_stage_i.i_scoreboard.gen_sel_clobbers[26].i_sel_fpr_clobbers.genblk1.data_nodes[3][3:0] , issue_stage_i.i_scoreboard.gen_sel_clobbers[26].i_sel_fpr_clobbers.genblk1.data_nodes[2][3:0] , issue_stage_i.i_scoreboard.gen_sel_clobbers[26].i_sel_fpr_clobbers.genblk1.data_nodes[1][3:0] , ... | ||||
| unclassified | assert | unprocessed | $onehot(issue_stage_i.i_scoreboard.gen_sel_clobbers[26].i_sel_fpr_clobbers.idx_o) | ||
| 121 | issue_stage_i.i_scoreboard.gen_sel_clobbers[26].i_sel_gpr_clobbers.genblk1.data_nodes[4][3:0] , issue_stage_i.i_scoreboard.gen_sel_clobbers[26].i_sel_gpr_clobbers.genblk1.data_nodes[3][3:0] , issue_stage_i.i_scoreboard.gen_sel_clobbers[26].i_sel_gpr_clobbers.genblk1.data_nodes[2][3:0] , ... | ||||
| unclassified | assert | unprocessed | $onehot(issue_stage_i.i_scoreboard.gen_sel_clobbers[26].i_sel_gpr_clobbers.idx_o) | ||
| 123 | issue_stage_i.i_scoreboard.gen_sel_clobbers[27].i_sel_gpr_clobbers.genblk1.data_nodes[2][3:0] , issue_stage_i.i_scoreboard.gen_sel_clobbers[27].i_sel_gpr_clobbers.genblk1.data_nodes[1][3:0] , issue_stage_i.i_scoreboard.gen_sel_clobbers[27].i_sel_gpr_clobbers.genblk1.data_nodes[0][3:0] , ... | ||||
| unclassified | assert | unprocessed | $onehot(issue_stage_i.i_scoreboard.gen_sel_clobbers[27].i_sel_gpr_clobbers.idx_o) | ||
| 124 | issue_stage_i.i_scoreboard.gen_sel_clobbers[28].i_sel_fpr_clobbers.genblk1.gnt_nodes[14:0] , issue_stage_i.i_scoreboard.gen_sel_clobbers[28].i_sel_fpr_clobbers.clk_i , issue_stage_i.i_scoreboard.gen_sel_clobbers[28].i_sel_fpr_clobbers.rst_ni , issue_stage_i.i_scoreboard.gen_sel_clobbers[28].i_sel_fpr_clobbers.flush_i , ... | ||||
| unclassified | assert | unprocessed | $onehot(issue_stage_i.i_scoreboard.gen_sel_clobbers[28].i_sel_fpr_clobbers.idx_o) | ||
| 127 | issue_stage_i.i_scoreboard.gen_sel_clobbers[29].i_sel_gpr_clobbers.clk_i , issue_stage_i.i_scoreboard.gen_sel_clobbers[29].i_sel_gpr_clobbers.rst_ni , issue_stage_i.i_scoreboard.gen_sel_clobbers[29].i_sel_gpr_clobbers.flush_i , issue_stage_i.i_scoreboard.gen_sel_clobbers[29].i_sel_gpr_clobbers.rr_i[3:0] , ... | ||||
| unclassified | assert | unprocessed | $onehot(issue_stage_i.i_scoreboard.gen_sel_clobbers[29].i_sel_gpr_clobbers.idx_o) | ||
| 128 | issue_stage_i.i_scoreboard.gen_sel_clobbers[2].i_sel_fpr_clobbers.genblk1.data_nodes[3][3:0] , issue_stage_i.i_scoreboard.gen_sel_clobbers[2].i_sel_fpr_clobbers.genblk1.data_nodes[2][3:0] , issue_stage_i.i_scoreboard.gen_sel_clobbers[2].i_sel_fpr_clobbers.genblk1.data_nodes[1][3:0] , ... | ||||
| unclassified | assert | unprocessed | $onehot(issue_stage_i.i_scoreboard.gen_sel_clobbers[2].i_sel_fpr_clobbers.idx_o) | ||
| 129 | issue_stage_i.i_scoreboard.gen_sel_clobbers[2].i_sel_gpr_clobbers.genblk1.data_nodes[4][3:0] , issue_stage_i.i_scoreboard.gen_sel_clobbers[2].i_sel_gpr_clobbers.genblk1.data_nodes[3][3:0] , issue_stage_i.i_scoreboard.gen_sel_clobbers[2].i_sel_gpr_clobbers.genblk1.data_nodes[2][3:0] , ... | ||||
| unclassified | assert | unprocessed | $onehot0({~issue_stage_i.i_scoreboard.gen_sel_clobbers[2].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[2].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[2].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[1].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[2].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[0].sel}) | ||
| unclassified | assert | unprocessed | $onehot0({~issue_stage_i.i_scoreboard.gen_sel_clobbers[2].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[2].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[2].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[1].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[2].i_sel_gpr_clobbers.genblk1.gen_levels[2].gen_level[0].sel}) | ||
| unclassified | assert | unprocessed | $onehot0({~issue_stage_i.i_scoreboard.gen_sel_clobbers[2].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[2].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[2].i_sel_gpr_clobbers.genblk1.gen_levels[1].gen_level[0].sel}) | ||
| unclassified | assert | unprocessed | $onehot0({~issue_stage_i.i_scoreboard.gen_sel_clobbers[2].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[1].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[2].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[0].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[2].i_sel_gpr_clobbers.genblk1.gen_levels[2].gen_level[1].sel}) | ||
| unclassified | assert | unprocessed | $onehot0({~issue_stage_i.i_scoreboard.gen_sel_clobbers[2].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[1].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[2].i_sel_gpr_clobbers.genblk1.gen_levels[2].gen_level[1].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[2].i_sel_gpr_clobbers.genblk1.gen_levels[2].gen_level[0].sel}) | ||
| unclassified | assert | unprocessed | $onehot0({~issue_stage_i.i_scoreboard.gen_sel_clobbers[2].i_sel_gpr_clobbers.genblk1.gen_levels[2].gen_level[1].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[2].i_sel_gpr_clobbers.genblk1.gen_levels[1].gen_level[0].sel}) | ||
| 172 | issue_stage_i.i_scoreboard.gen_sel_clobbers[4].i_sel_fpr_clobbers.genblk1.gnt_nodes[14:0] , issue_stage_i.i_scoreboard.gen_sel_clobbers[4].i_sel_fpr_clobbers.clk_i , issue_stage_i.i_scoreboard.gen_sel_clobbers[4].i_sel_fpr_clobbers.rst_ni , issue_stage_i.i_scoreboard.gen_sel_clobbers[4].i_sel_fpr_clobbers.flush_i , ... | ||||
| unclassified | assert | unprocessed | $onehot(issue_stage_i.i_scoreboard.gen_sel_clobbers[4].i_sel_fpr_clobbers.idx_o) | ||
| 208 | issue_stage_i.i_scoreboard.gen_sel_clobbers[8].i_sel_fpr_clobbers.data_i[7][3:0] , issue_stage_i.i_scoreboard.gen_sel_clobbers[8].i_sel_fpr_clobbers.genblk1.req_d[8:0] , issue_stage_i.i_scoreboard.gen_sel_clobbers[8].i_sel_fpr_clobbers.data_i[6][3:0] , issue_stage_i.i_scoreboard.gen_sel_clobbers[8].i_sel_fpr_clobbers.data_i[5][3:0] , ... | ||||
| unclassified | assert | unprocessed | $onehot0(issue_stage_i.i_scoreboard.gen_sel_clobbers[8].i_sel_fpr_clobbers.idx_o) | ||
| 209 | issue_stage_i.i_scoreboard.gen_sel_clobbers[8].i_sel_gpr_clobbers.data_i[8][3:0] , issue_stage_i.i_scoreboard.gen_sel_clobbers[8].i_sel_gpr_clobbers.genblk1.rr_q[3:0] , issue_stage_i.i_scoreboard.gen_sel_clobbers[8].i_sel_gpr_clobbers.data_i[7][3:0] , issue_stage_i.i_scoreboard.gen_sel_clobbers[8].i_sel_gpr_clobbers.genblk1.req_d[8:0] , ... | ||||
| unclassified | assert | unprocessed | $onehot0({~issue_stage_i.i_scoreboard.gen_sel_clobbers[8].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[3].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[8].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[2].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[8].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[1].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[8].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[0].sel}) | ||
| unclassified | assert | unprocessed | $onehot0({~issue_stage_i.i_scoreboard.gen_sel_clobbers[8].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[3].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[8].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[2].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[8].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[1].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[8].i_sel_gpr_clobbers.genblk1.gen_levels[2].gen_level[0].sel}) | ||
| unclassified | assert | unprocessed | $onehot0({~issue_stage_i.i_scoreboard.gen_sel_clobbers[8].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[3].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[8].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[2].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[8].i_sel_gpr_clobbers.genblk1.gen_levels[1].gen_level[0].sel}) | ||
| unclassified | assert | unprocessed | $onehot0({~issue_stage_i.i_scoreboard.gen_sel_clobbers[8].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[3].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[8].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[1].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[8].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[0].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[8].i_sel_gpr_clobbers.genblk1.gen_levels[2].gen_level[1].sel}) | ||
| unclassified | assert | unprocessed | $onehot0({~issue_stage_i.i_scoreboard.gen_sel_clobbers[8].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[3].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[8].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[1].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[8].i_sel_gpr_clobbers.genblk1.gen_levels[2].gen_level[1].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[8].i_sel_gpr_clobbers.genblk1.gen_levels[2].gen_level[0].sel}) | ||
| unclassified | assert | unprocessed | $onehot0({~issue_stage_i.i_scoreboard.gen_sel_clobbers[8].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[3].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[8].i_sel_gpr_clobbers.genblk1.gen_levels[2].gen_level[1].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[8].i_sel_gpr_clobbers.genblk1.gen_levels[1].gen_level[0].sel}) | ||
| 210 | issue_stage_i.i_scoreboard.gen_sel_clobbers[9].i_sel_fpr_clobbers.data_i[5][3:0] , issue_stage_i.i_scoreboard.gen_sel_clobbers[9].i_sel_fpr_clobbers.genblk1.gen_levels[0].gen_level[0].sel , issue_stage_i.i_scoreboard.gen_sel_clobbers[9].i_sel_fpr_clobbers.data_i[4][3:0] , ... | ||||
| unclassified | assert | unprocessed | $onehot(issue_stage_i.i_scoreboard.gen_sel_clobbers[9].i_sel_fpr_clobbers.idx_o) | ||
| 211 | issue_stage_i.i_scoreboard.gen_sel_clobbers[9].i_sel_gpr_clobbers.data_i[6][3:0] , issue_stage_i.i_scoreboard.gen_sel_clobbers[9].i_sel_gpr_clobbers.data_i[5][3:0] , issue_stage_i.i_scoreboard.gen_sel_clobbers[9].i_sel_gpr_clobbers.genblk1.gen_levels[0].gen_level[0].sel , ... | ||||
| unclassified | assert | unprocessed | (($stable(~issue_stage_i.i_scoreboard.gen_sel_clobbers[9].i_sel_gpr_clobbers.genblk1.gen_levels[1].gen_level[0].sel) & ~issue_stage_i.i_scoreboard.gen_sel_clobbers[9].i_sel_gpr_clobbers.genblk1.gen_levels[1].gen_level[0].sel) | ($stable(~issue_stage_i.i_scoreboard.gen_sel_clobbers[9].i_sel_gpr_clobbers.genblk1.gen_levels[2].gen_level[0].sel) & ~issue_stage_i.i_scoreboard.gen_sel_clobbers[9].i_sel_gpr_clobbers.genblk1.gen_levels[2].gen_level[0].sel) | ($stable(~issue_stage_i.i_scoreboard.gen_sel_clobbers[9].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[0].sel) & ~issue_stage_i.i_scoreboard.gen_sel_clobbers[9].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[0].sel)) |-> $past(~issue_stage_i.i_scoreboard.gen_sel_clobbers[9].i_sel_gpr_clobbers.genblk1.gen_levels[0].gen_level[0].sel) | ||
| unclassified | assert | unprocessed | (($stable(~issue_stage_i.i_scoreboard.gen_sel_clobbers[9].i_sel_gpr_clobbers.genblk1.gen_levels[2].gen_level[0].sel) & ~issue_stage_i.i_scoreboard.gen_sel_clobbers[9].i_sel_gpr_clobbers.genblk1.gen_levels[2].gen_level[0].sel) | ($stable(~issue_stage_i.i_scoreboard.gen_sel_clobbers[9].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[0].sel) & ~issue_stage_i.i_scoreboard.gen_sel_clobbers[9].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[0].sel)) |-> $past(~issue_stage_i.i_scoreboard.gen_sel_clobbers[9].i_sel_gpr_clobbers.genblk1.gen_levels[1].gen_level[0].sel) | ||
| unclassified | assert | unprocessed | $onehot0({~issue_stage_i.i_scoreboard.gen_sel_clobbers[9].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[3].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[9].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[0].sel}) | ||
| unclassified | assert | unprocessed | $onehot0({~issue_stage_i.i_scoreboard.gen_sel_clobbers[9].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[3].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[9].i_sel_gpr_clobbers.genblk1.gen_levels[2].gen_level[0].sel}) | ||
| unclassified | assert | unprocessed | $onehot0({~issue_stage_i.i_scoreboard.gen_sel_clobbers[9].i_sel_gpr_clobbers.genblk1.gen_levels[3].gen_level[3].sel, ~issue_stage_i.i_scoreboard.gen_sel_clobbers[9].i_sel_gpr_clobbers.genblk1.gen_levels[1].gen_level[0].sel}) | ||
| 212 | issue_stage_i.i_scoreboard.i_sel_rs1.genblk1.data_nodes[0][63:0] , issue_stage_i.i_scoreboard.i_sel_rs1.genblk1.data_nodes[3][63:0] , issue_stage_i.i_scoreboard.i_sel_rs1.genblk1.data_nodes[6][63:0] , issue_stage_i.i_scoreboard.i_sel_rs1.genblk1.data_nodes[9][63:0] , ... | ||||
| unclassified | assert | unprocessed | $onehot0({~issue_stage_i.i_scoreboard.i_sel_rs1.genblk1.gen_levels[3].gen_level[4].sel, ~issue_stage_i.i_scoreboard.i_sel_rs1.genblk1.gen_levels[3].gen_level[2].sel}) | ||
| unclassified | assert | unprocessed | $onehot0({~issue_stage_i.i_scoreboard.i_sel_rs1.genblk1.gen_levels[3].gen_level[2].sel, ~issue_stage_i.i_scoreboard.i_sel_rs1.genblk1.gen_levels[2].gen_level[2].sel}) | ||
| unclassified | assert | unprocessed | $onehot0({~issue_stage_i.i_scoreboard.i_sel_rs1.genblk1.gen_levels[3].gen_level[5].sel, ~issue_stage_i.i_scoreboard.i_sel_rs1.genblk1.gen_levels[3].gen_level[3].sel, ~issue_stage_i.i_scoreboard.i_sel_rs1.genblk1.gen_levels[3].gen_level[1].sel}) | ||
| unclassified | assert | unprocessed | $onehot0({~issue_stage_i.i_scoreboard.i_sel_rs1.genblk1.gen_levels[3].gen_level[4].sel, ~issue_stage_i.i_scoreboard.i_sel_rs1.genblk1.gen_levels[3].gen_level[3].sel, ~issue_stage_i.i_scoreboard.i_sel_rs1.genblk1.gen_levels[3].gen_level[1].sel}) | ||
| unclassified | assert | unprocessed | $onehot0({~issue_stage_i.i_scoreboard.i_sel_rs1.genblk1.gen_levels[3].gen_level[3].sel, ~issue_stage_i.i_scoreboard.i_sel_rs1.genblk1.gen_levels[3].gen_level[1].sel, ~issue_stage_i.i_scoreboard.i_sel_rs1.genblk1.gen_levels[2].gen_level[2].sel}) | ||
| unclassified | assert | unprocessed | $onehot0({~issue_stage_i.i_scoreboard.i_sel_rs1.genblk1.gen_levels[3].gen_level[3].sel, ~issue_stage_i.i_scoreboard.i_sel_rs1.genblk1.gen_levels[3].gen_level[1].sel, ~issue_stage_i.i_scoreboard.i_sel_rs1.genblk1.gen_levels[1].gen_level[1].sel}) | ||
| unclassified | assert | unprocessed | $onehot0({~issue_stage_i.i_scoreboard.i_sel_rs1.genblk1.gen_levels[3].gen_level[1].sel, ~issue_stage_i.i_scoreboard.i_sel_rs1.genblk1.gen_levels[2].gen_level[0].sel}) | ||
| unclassified | assert | unprocessed | $onehot0({~issue_stage_i.i_scoreboard.i_sel_rs1.genblk1.gen_levels[3].gen_level[4].sel, ~issue_stage_i.i_scoreboard.i_sel_rs1.genblk1.gen_levels[2].gen_level[1].sel}) | ||
| unclassified | assert | unprocessed | $onehot0({~issue_stage_i.i_scoreboard.i_sel_rs1.genblk1.gen_levels[2].gen_level[2].sel, ~issue_stage_i.i_scoreboard.i_sel_rs1.genblk1.gen_levels[2].gen_level[1].sel}) | ||
| 213 | issue_stage_i.i_scoreboard.i_sel_rs2.genblk1.data_nodes[0][63:0] , issue_stage_i.i_scoreboard.i_sel_rs2.genblk1.data_nodes[3][63:0] , issue_stage_i.i_scoreboard.i_sel_rs2.genblk1.data_nodes[6][63:0] , issue_stage_i.i_scoreboard.i_sel_rs2.genblk1.data_nodes[9][63:0] , ... | ||||
| unclassified | assert | unprocessed | ~issue_stage_i.i_scoreboard.i_sel_rs2.genblk1.gen_levels[3].gen_level[1].sel |=> issue_stage_i.i_scoreboard.i_sel_rs2.genblk1.gen_levels[3].gen_level[1].sel | ||
| unclassified | assert | unprocessed | $onehot0({~issue_stage_i.i_scoreboard.i_sel_rs2.genblk1.gen_levels[3].gen_level[5].sel, ~issue_stage_i.i_scoreboard.i_sel_rs2.genblk1.gen_levels[3].gen_level[3].sel, ~issue_stage_i.i_scoreboard.i_sel_rs2.genblk1.gen_levels[3].gen_level[2].sel, ~issue_stage_i.i_scoreboard.i_sel_rs2.genblk1.gen_levels[3].gen_level[1].sel}) | ||
| unclassified | assert | unprocessed | $onehot0({~issue_stage_i.i_scoreboard.i_sel_rs2.genblk1.gen_levels[3].gen_level[4].sel, ~issue_stage_i.i_scoreboard.i_sel_rs2.genblk1.gen_levels[3].gen_level[3].sel, ~issue_stage_i.i_scoreboard.i_sel_rs2.genblk1.gen_levels[3].gen_level[2].sel, ~issue_stage_i.i_scoreboard.i_sel_rs2.genblk1.gen_levels[3].gen_level[1].sel}) | ||
| unclassified | assert | unprocessed | $onehot0({~issue_stage_i.i_scoreboard.i_sel_rs2.genblk1.gen_levels[3].gen_level[3].sel, ~issue_stage_i.i_scoreboard.i_sel_rs2.genblk1.gen_levels[3].gen_level[2].sel, ~issue_stage_i.i_scoreboard.i_sel_rs2.genblk1.gen_levels[3].gen_level[1].sel, ~issue_stage_i.i_scoreboard.i_sel_rs2.genblk1.gen_levels[2].gen_level[2].sel}) | ||
| unclassified | assert | unprocessed | $onehot0({~issue_stage_i.i_scoreboard.i_sel_rs2.genblk1.gen_levels[3].gen_level[3].sel, ~issue_stage_i.i_scoreboard.i_sel_rs2.genblk1.gen_levels[3].gen_level[1].sel, ~issue_stage_i.i_scoreboard.i_sel_rs2.genblk1.gen_levels[1].gen_level[1].sel}) | ||
| unclassified | assert | unprocessed | $onehot0({~issue_stage_i.i_scoreboard.i_sel_rs2.genblk1.gen_levels[3].gen_level[1].sel, ~issue_stage_i.i_scoreboard.i_sel_rs2.genblk1.gen_levels[2].gen_level[0].sel}) | ||
| unclassified | assert | unprocessed | $onehot0({~issue_stage_i.i_scoreboard.i_sel_rs2.genblk1.gen_levels[3].gen_level[5].sel, ~issue_stage_i.i_scoreboard.i_sel_rs2.genblk1.gen_levels[2].gen_level[1].sel}) | ||
| unclassified | assert | unprocessed | $onehot0({~issue_stage_i.i_scoreboard.i_sel_rs2.genblk1.gen_levels[3].gen_level[4].sel, ~issue_stage_i.i_scoreboard.i_sel_rs2.genblk1.gen_levels[2].gen_level[1].sel}) | ||
| unclassified | assert | unprocessed | $onehot0({~issue_stage_i.i_scoreboard.i_sel_rs2.genblk1.gen_levels[2].gen_level[2].sel, ~issue_stage_i.i_scoreboard.i_sel_rs2.genblk1.gen_levels[2].gen_level[1].sel}) | ||
| 214 | issue_stage_i.i_scoreboard.i_sel_rs3.genblk1.data_nodes[0][63:0] , issue_stage_i.i_scoreboard.i_sel_rs3.genblk1.data_nodes[3][63:0] , issue_stage_i.i_scoreboard.i_sel_rs3.genblk1.data_nodes[6][63:0] , issue_stage_i.i_scoreboard.i_sel_rs3.genblk1.data_nodes[9][63:0] , ... | ||||
| unclassified | assert | unprocessed | ~issue_stage_i.i_scoreboard.i_sel_rs3.genblk1.gen_levels[3].gen_level[1].sel |=> issue_stage_i.i_scoreboard.i_sel_rs3.genblk1.gen_levels[3].gen_level[1].sel | ||
| unclassified | assert | unprocessed | $onehot0({~issue_stage_i.i_scoreboard.i_sel_rs3.genblk1.gen_levels[3].gen_level[5].sel, ~issue_stage_i.i_scoreboard.i_sel_rs3.genblk1.gen_levels[3].gen_level[3].sel, ~issue_stage_i.i_scoreboard.i_sel_rs3.genblk1.gen_levels[3].gen_level[2].sel}) | ||
| unclassified | assert | unprocessed | $onehot0({~issue_stage_i.i_scoreboard.i_sel_rs3.genblk1.gen_levels[3].gen_level[4].sel, ~issue_stage_i.i_scoreboard.i_sel_rs3.genblk1.gen_levels[3].gen_level[3].sel, ~issue_stage_i.i_scoreboard.i_sel_rs3.genblk1.gen_levels[3].gen_level[2].sel}) | ||
| unclassified | assert | unprocessed | $onehot0({~issue_stage_i.i_scoreboard.i_sel_rs3.genblk1.gen_levels[3].gen_level[3].sel, ~issue_stage_i.i_scoreboard.i_sel_rs3.genblk1.gen_levels[3].gen_level[2].sel, ~issue_stage_i.i_scoreboard.i_sel_rs3.genblk1.gen_levels[2].gen_level[2].sel}) | ||
| unclassified | assert | unprocessed | $onehot0({~issue_stage_i.i_scoreboard.i_sel_rs3.genblk1.gen_levels[3].gen_level[5].sel, ~issue_stage_i.i_scoreboard.i_sel_rs3.genblk1.gen_levels[3].gen_level[3].sel, ~issue_stage_i.i_scoreboard.i_sel_rs3.genblk1.gen_levels[2].gen_level[1].sel}) | ||
| unclassified | assert | unprocessed | $onehot0({~issue_stage_i.i_scoreboard.i_sel_rs3.genblk1.gen_levels[3].gen_level[4].sel, ~issue_stage_i.i_scoreboard.i_sel_rs3.genblk1.gen_levels[3].gen_level[3].sel, ~issue_stage_i.i_scoreboard.i_sel_rs3.genblk1.gen_levels[2].gen_level[1].sel}) | ||
| unclassified | assert | unprocessed | $onehot0({~issue_stage_i.i_scoreboard.i_sel_rs3.genblk1.gen_levels[3].gen_level[3].sel, ~issue_stage_i.i_scoreboard.i_sel_rs3.genblk1.gen_levels[2].gen_level[2].sel, ~issue_stage_i.i_scoreboard.i_sel_rs3.genblk1.gen_levels[2].gen_level[1].sel}) | ||
| unclassified | assert | unprocessed | $onehot0({~issue_stage_i.i_scoreboard.i_sel_rs3.genblk1.gen_levels[3].gen_level[3].sel, ~issue_stage_i.i_scoreboard.i_sel_rs3.genblk1.gen_levels[1].gen_level[1].sel}) | ||
| -- | |||||
| module: ariane | create date: Apr 30 14:09:08 EDT 2026 | filter: class in ( unclassified ) and rank = high and progress state in ( new, hole, covered, covered_now_hole, assert, violated, certified_hole, certified_assert ) |