Jasper® Apps Behavioral Property SynthesisReport

module: ariane create date: May 10 21:26:13 EDT 2026 filter: class in ( unclassified ) and rank = high and type in ( assert ) and progress state in ( new, hole, covered, covered_now_hole, assert, violated, certified_hole, certified_assert )

DESIGN INFORMATION SUMMARY:

Flops	1668 (22383) (0 property flop bits)	RTL Lines	23908
Latches	7 (256)	RTL Instances	233
Gates	46994 (422353)	Embedded Assumptions	0
Nets	50153	Embedded Assertions	0
Ports	10	Embedded Covers	0

PROPERTY SYNTHESIS SUMMARY:

POI Type	Number of POIs	Exercised Behaviors	Coverage Holes
User-defined	1	1383	0

POI#	Signals
User-defined
	Classification	Type	Status	Property
1	issue_stage_i.alu_valid_o , issue_stage_i.branch_valid_o , issue_stage_i.commit_ack_i[0] , issue_stage_i.commit_ack_i[1] , issue_stage_i.commit_instr_o[0].ex.valid , issue_stage_i.commit_instr_o[0].is_compressed , issue_stage_i.commit_instr_o[0].use_imm , issue_stage_i.commit_instr_o[0].use_pc , ...
	unclassified	assert	cex	issue_stage_i.alu_valid_o \|=> issue_stage_i.flu_ready_i
	unclassified	assert	cex	issue_stage_i.alu_valid_o \|=> issue_stage_i.i_issue_read_operands.flu_ready_i
	unclassified	assert	cex	issue_stage_i.branch_valid_o \|=> issue_stage_i.commit_instr_o[0].use_imm
	unclassified	assert	cex	issue_stage_i.branch_valid_o \|=> issue_stage_i.flu_ready_i
	unclassified	assert	cex	issue_stage_i.branch_valid_o \|=> issue_stage_i.i_issue_read_operands.flu_ready_i
	unclassified	assert	cex	issue_stage_i.branch_valid_o \|=> issue_stage_i.i_scoreboard.commit_instr_o[0].use_imm
	unclassified	assert	cex	issue_stage_i.commit_instr_o[0].ex.valid \|=> issue_stage_i.flu_ready_i
	unclassified	assert	cex	issue_stage_i.commit_instr_o[0].ex.valid \|=> issue_stage_i.i_issue_read_operands.flu_ready_i
	unclassified	assert	cex	issue_stage_i.commit_instr_o[0].ex.valid \|=> issue_stage_i.i_issue_read_operands.lsu_ready_i
	unclassified	assert	cex	issue_stage_i.commit_instr_o[0].ex.valid \|=> issue_stage_i.lsu_ready_i
	unclassified	assert	cex	issue_stage_i.commit_instr_o[0].use_pc \|=> issue_stage_i.i_issue_read_operands.lsu_ready_i
	unclassified	assert	cex	issue_stage_i.commit_instr_o[0].use_pc \|=> issue_stage_i.lsu_ready_i
	unclassified	assert	cex	issue_stage_i.commit_instr_o[1].ex.valid \|=> issue_stage_i.commit_instr_o[1].use_imm
	unclassified	assert	cex	issue_stage_i.commit_instr_o[1].ex.valid \|=> issue_stage_i.i_issue_read_operands.lsu_ready_i
	unclassified	assert	cex	issue_stage_i.commit_instr_o[1].ex.valid \|=> issue_stage_i.i_scoreboard.commit_instr_o[1].use_imm
	unclassified	assert	cex	issue_stage_i.commit_instr_o[1].ex.valid \|=> issue_stage_i.lsu_ready_i
	unclassified	assert	cex	issue_stage_i.commit_instr_o[1].use_pc \|=> issue_stage_i.i_issue_read_operands.lsu_ready_i
	unclassified	assert	cex	issue_stage_i.commit_instr_o[1].use_pc \|=> issue_stage_i.lsu_ready_i
	unclassified	assert	cex	issue_stage_i.csr_valid_o \|=> issue_stage_i.commit_instr_o[0].valid
	unclassified	assert	cex	issue_stage_i.csr_valid_o \|=> issue_stage_i.i_issue_read_operands.we_gpr_i[0]
	unclassified	assert	cex	issue_stage_i.csr_valid_o \|=> issue_stage_i.i_issue_read_operands.we_pack[0]
	unclassified	assert	cex	issue_stage_i.csr_valid_o \|=> issue_stage_i.i_scoreboard.commit_instr_o[0].valid
	unclassified	assert	cex	issue_stage_i.csr_valid_o \|=> issue_stage_i.we_gpr_i[0]
	unclassified	assert	proven	issue_stage_i.decoded_instr_i.is_compressed \|=> issue_stage_i.i_issue_read_operands.is_compressed_instr_o
	unclassified	assert	proven	issue_stage_i.decoded_instr_i.is_compressed \|=> issue_stage_i.is_compressed_instr_o
	unclassified	assert	cex	issue_stage_i.decoded_instr_i.use_pc \|=> issue_stage_i.decoded_instr_i.use_imm
	unclassified	assert	cex	issue_stage_i.decoded_instr_i.use_pc \|=> issue_stage_i.flu_ready_i
	unclassified	assert	cex	issue_stage_i.decoded_instr_i.use_pc \|=> issue_stage_i.i_issue_read_operands.flu_ready_i
	unclassified	assert	cex	issue_stage_i.decoded_instr_i.use_pc \|=> issue_stage_i.i_issue_read_operands.issue_instr_i.use_imm
	unclassified	assert	cex	issue_stage_i.decoded_instr_i.use_pc \|=> issue_stage_i.i_re_name.issue_instr_i.use_imm
	unclassified	assert	cex	issue_stage_i.decoded_instr_i.use_pc \|=> issue_stage_i.i_re_name.issue_instr_o.use_imm
	unclassified	assert	cex	issue_stage_i.decoded_instr_i.use_pc \|=> issue_stage_i.i_scoreboard.decoded_instr_i.use_imm
	unclassified	assert	cex	issue_stage_i.decoded_instr_i.use_pc \|=> issue_stage_i.i_scoreboard.issue_instr_o.use_imm
	unclassified	assert	cex	issue_stage_i.decoded_instr_i.use_pc \|=> issue_stage_i.issue_instr_rename_sb.use_imm
	unclassified	assert	cex	issue_stage_i.decoded_instr_i.use_pc \|=> issue_stage_i.issue_instr_sb_iro.use_imm
	unclassified	assert	proven	issue_stage_i.flush_i \|=> issue_stage_i.flu_ready_i
	unclassified	assert	proven	issue_stage_i.flush_i \|=> issue_stage_i.i_issue_read_operands.flu_ready_i
	unclassified	assert	proven	issue_stage_i.flush_i \|=> issue_stage_i.i_issue_read_operands.lsu_ready_i
	unclassified	assert	proven	issue_stage_i.flush_i \|=> issue_stage_i.lsu_ready_i
	unclassified	assert	cex	issue_stage_i.flush_unissued_instr_i \|=> issue_stage_i.flu_ready_i
	unclassified	assert	cex	issue_stage_i.flush_unissued_instr_i \|=> issue_stage_i.i_issue_read_operands.flu_ready_i
	unclassified	assert	cex	issue_stage_i.fpu_valid_o \|=> issue_stage_i.flu_ready_i
	unclassified	assert	cex	issue_stage_i.fpu_valid_o \|=> issue_stage_i.i_issue_read_operands.flu_ready_i
	unclassified	assert	cex	issue_stage_i.fpu_valid_o \|=> issue_stage_i.i_issue_read_operands.lsu_ready_i
	unclassified	assert	cex	issue_stage_i.fpu_valid_o \|=> issue_stage_i.lsu_ready_i
	unclassified	assert	cex	issue_stage_i.i_issue_read_operands.alu_valid_o \|=> issue_stage_i.flu_ready_i
	unclassified	assert	cex	issue_stage_i.i_issue_read_operands.alu_valid_o \|=> issue_stage_i.i_issue_read_operands.flu_ready_i
	unclassified	assert	cex	issue_stage_i.i_issue_read_operands.alu_valid_q \|=> issue_stage_i.flu_ready_i
	unclassified	assert	cex	issue_stage_i.i_issue_read_operands.alu_valid_q \|=> issue_stage_i.i_issue_read_operands.flu_ready_i
	unclassified	assert	cex	issue_stage_i.i_issue_read_operands.branch_valid_o \|=> issue_stage_i.commit_instr_o[0].use_imm
	unclassified	assert	cex	issue_stage_i.i_issue_read_operands.branch_valid_o \|=> issue_stage_i.flu_ready_i
	unclassified	assert	cex	issue_stage_i.i_issue_read_operands.branch_valid_o \|=> issue_stage_i.i_issue_read_operands.flu_ready_i
	unclassified	assert	cex	issue_stage_i.i_issue_read_operands.branch_valid_o \|=> issue_stage_i.i_scoreboard.commit_instr_o[0].use_imm
	unclassified	assert	cex	issue_stage_i.i_issue_read_operands.branch_valid_q \|=> issue_stage_i.commit_instr_o[0].use_imm
	unclassified	assert	cex	issue_stage_i.i_issue_read_operands.branch_valid_q \|=> issue_stage_i.flu_ready_i
	unclassified	assert	cex	issue_stage_i.i_issue_read_operands.branch_valid_q \|=> issue_stage_i.i_issue_read_operands.flu_ready_i
	unclassified	assert	cex	issue_stage_i.i_issue_read_operands.branch_valid_q \|=> issue_stage_i.i_scoreboard.commit_instr_o[0].use_imm
	unclassified	assert	cex	issue_stage_i.i_issue_read_operands.csr_valid_o \|=> issue_stage_i.commit_instr_o[0].valid
	unclassified	assert	cex	issue_stage_i.i_issue_read_operands.csr_valid_o \|=> issue_stage_i.i_issue_read_operands.we_gpr_i[0]
	unclassified	assert	cex	issue_stage_i.i_issue_read_operands.csr_valid_o \|=> issue_stage_i.i_issue_read_operands.we_pack[0]
	unclassified	assert	cex	issue_stage_i.i_issue_read_operands.csr_valid_o \|=> issue_stage_i.i_scoreboard.commit_instr_o[0].valid
	unclassified	assert	cex	issue_stage_i.i_issue_read_operands.csr_valid_o \|=> issue_stage_i.we_gpr_i[0]
	unclassified	assert	cex	issue_stage_i.i_issue_read_operands.csr_valid_q \|=> issue_stage_i.commit_instr_o[0].valid
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.csr_valid_q \|=> issue_stage_i.i_issue_read_operands.we_gpr_i[0]
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.csr_valid_q \|=> issue_stage_i.i_issue_read_operands.we_pack[0]
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.csr_valid_q \|=> issue_stage_i.i_scoreboard.commit_instr_o[0].valid
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.csr_valid_q \|=> issue_stage_i.we_gpr_i[0]
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.flush_i \|=> issue_stage_i.flu_ready_i
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.flush_i \|=> issue_stage_i.i_issue_read_operands.flu_ready_i
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.fpu_valid_o \|=> issue_stage_i.flu_ready_i
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.fpu_valid_o \|=> issue_stage_i.i_issue_read_operands.flu_ready_i
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.fpu_valid_o \|=> issue_stage_i.i_issue_read_operands.lsu_ready_i
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.fpu_valid_o \|=> issue_stage_i.lsu_ready_i
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.fpu_valid_q \|=> issue_stage_i.flu_ready_i
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.fpu_valid_q \|=> issue_stage_i.i_issue_read_operands.flu_ready_i
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.fpu_valid_q \|=> issue_stage_i.i_issue_read_operands.lsu_ready_i
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.fpu_valid_q \|=> issue_stage_i.lsu_ready_i
unclassified	assert	proven	issue_stage_i.i_issue_read_operands.issue_instr_i.is_compressed \|=> issue_stage_i.i_issue_read_operands.is_compressed_instr_o
unclassified	assert	proven	issue_stage_i.i_issue_read_operands.issue_instr_i.is_compressed \|=> issue_stage_i.is_compressed_instr_o
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.issue_instr_i.use_pc \|=> issue_stage_i.decoded_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.issue_instr_i.use_pc \|=> issue_stage_i.flu_ready_i
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.issue_instr_i.use_pc \|=> issue_stage_i.i_issue_read_operands.flu_ready_i
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.issue_instr_i.use_pc \|=> issue_stage_i.i_issue_read_operands.issue_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.issue_instr_i.use_pc \|=> issue_stage_i.i_re_name.issue_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.issue_instr_i.use_pc \|=> issue_stage_i.i_re_name.issue_instr_o.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.issue_instr_i.use_pc \|=> issue_stage_i.i_scoreboard.decoded_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.issue_instr_i.use_pc \|=> issue_stage_i.i_scoreboard.issue_instr_o.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.issue_instr_i.use_pc \|=> issue_stage_i.issue_instr_rename_sb.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.issue_instr_i.use_pc \|=> issue_stage_i.issue_instr_sb_iro.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.mult_valid_o \|=> issue_stage_i.decoded_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.mult_valid_o \|=> issue_stage_i.decoded_instr_valid_i
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.mult_valid_o \|=> issue_stage_i.i_issue_read_operands.issue_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.mult_valid_o \|=> issue_stage_i.i_issue_read_operands.issue_instr_valid_i
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.mult_valid_o \|=> issue_stage_i.i_issue_read_operands.lsu_ready_i
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.mult_valid_o \|=> issue_stage_i.i_re_name.issue_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.mult_valid_o \|=> issue_stage_i.i_re_name.issue_instr_o.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.mult_valid_o \|=> issue_stage_i.i_re_name.issue_instr_valid_i
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.mult_valid_o \|=> issue_stage_i.i_re_name.issue_instr_valid_o
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.mult_valid_o \|=> issue_stage_i.i_scoreboard.decoded_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.mult_valid_o \|=> issue_stage_i.i_scoreboard.decoded_instr_valid_i
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.mult_valid_o \|=> issue_stage_i.i_scoreboard.issue_instr_o.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.mult_valid_o \|=> issue_stage_i.i_scoreboard.issue_instr_valid_o
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.mult_valid_o \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.mult_valid_o \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.mult_valid_o \|=> issue_stage_i.i_scoreboard.wt_valid_i[3]
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.mult_valid_o \|=> issue_stage_i.issue_instr_rename_sb.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.mult_valid_o \|=> issue_stage_i.issue_instr_sb_iro.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.mult_valid_o \|=> issue_stage_i.issue_instr_valid_rename_sb
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.mult_valid_o \|=> issue_stage_i.issue_instr_valid_sb_iro
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.mult_valid_o \|=> issue_stage_i.lsu_ready_i
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.mult_valid_o \|=> issue_stage_i.wt_valid_i[3]
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.mult_valid_q \|=> issue_stage_i.decoded_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.mult_valid_q \|=> issue_stage_i.decoded_instr_valid_i
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.mult_valid_q \|=> issue_stage_i.i_issue_read_operands.issue_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.mult_valid_q \|=> issue_stage_i.i_issue_read_operands.issue_instr_valid_i
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.mult_valid_q \|=> issue_stage_i.i_issue_read_operands.lsu_ready_i
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.mult_valid_q \|=> issue_stage_i.i_re_name.issue_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.mult_valid_q \|=> issue_stage_i.i_re_name.issue_instr_o.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.mult_valid_q \|=> issue_stage_i.i_re_name.issue_instr_valid_i
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.mult_valid_q \|=> issue_stage_i.i_re_name.issue_instr_valid_o
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.mult_valid_q \|=> issue_stage_i.i_scoreboard.decoded_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.mult_valid_q \|=> issue_stage_i.i_scoreboard.decoded_instr_valid_i
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.mult_valid_q \|=> issue_stage_i.i_scoreboard.issue_instr_o.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.mult_valid_q \|=> issue_stage_i.i_scoreboard.issue_instr_valid_o
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.mult_valid_q \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.mult_valid_q \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.mult_valid_q \|=> issue_stage_i.i_scoreboard.wt_valid_i[3]
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.mult_valid_q \|=> issue_stage_i.issue_instr_rename_sb.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.mult_valid_q \|=> issue_stage_i.issue_instr_sb_iro.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.mult_valid_q \|=> issue_stage_i.issue_instr_valid_rename_sb
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.mult_valid_q \|=> issue_stage_i.issue_instr_valid_sb_iro
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.mult_valid_q \|=> issue_stage_i.lsu_ready_i
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.mult_valid_q \|=> issue_stage_i.wt_valid_i[3]
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.we_fpr_i[0] \|=> issue_stage_i.flu_ready_i
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.we_fpr_i[0] \|=> issue_stage_i.i_issue_read_operands.flu_ready_i
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.we_fpr_i[0] \|=> issue_stage_i.i_issue_read_operands.lsu_ready_i
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.we_fpr_i[0] \|=> issue_stage_i.lsu_ready_i
unclassified	assert	proven	issue_stage_i.i_re_name.flush_i \|=> issue_stage_i.flu_ready_i
unclassified	assert	proven	issue_stage_i.i_re_name.flush_i \|=> issue_stage_i.i_issue_read_operands.flu_ready_i
unclassified	assert	proven	issue_stage_i.i_re_name.flush_i \|=> issue_stage_i.i_issue_read_operands.lsu_ready_i
unclassified	assert	proven	issue_stage_i.i_re_name.flush_i \|=> issue_stage_i.lsu_ready_i
unclassified	assert	cex	issue_stage_i.i_re_name.flush_unissied_instr_i \|=> issue_stage_i.flu_ready_i
unclassified	assert	cex	issue_stage_i.i_re_name.flush_unissied_instr_i \|=> issue_stage_i.i_issue_read_operands.flu_ready_i
unclassified	assert	proven	issue_stage_i.i_re_name.issue_instr_i.is_compressed \|=> issue_stage_i.i_issue_read_operands.is_compressed_instr_o
unclassified	assert	proven	issue_stage_i.i_re_name.issue_instr_i.is_compressed \|=> issue_stage_i.is_compressed_instr_o
unclassified	assert	cex	issue_stage_i.i_re_name.issue_instr_i.use_pc \|=> issue_stage_i.decoded_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.i_re_name.issue_instr_i.use_pc \|=> issue_stage_i.flu_ready_i
unclassified	assert	cex	issue_stage_i.i_re_name.issue_instr_i.use_pc \|=> issue_stage_i.i_issue_read_operands.flu_ready_i
unclassified	assert	cex	issue_stage_i.i_re_name.issue_instr_i.use_pc \|=> issue_stage_i.i_issue_read_operands.issue_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.i_re_name.issue_instr_i.use_pc \|=> issue_stage_i.i_re_name.issue_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.i_re_name.issue_instr_i.use_pc \|=> issue_stage_i.i_re_name.issue_instr_o.use_imm
unclassified	assert	cex	issue_stage_i.i_re_name.issue_instr_i.use_pc \|=> issue_stage_i.i_scoreboard.decoded_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.i_re_name.issue_instr_i.use_pc \|=> issue_stage_i.i_scoreboard.issue_instr_o.use_imm
unclassified	assert	cex	issue_stage_i.i_re_name.issue_instr_i.use_pc \|=> issue_stage_i.issue_instr_rename_sb.use_imm
unclassified	assert	cex	issue_stage_i.i_re_name.issue_instr_i.use_pc \|=> issue_stage_i.issue_instr_sb_iro.use_imm
unclassified	assert	proven	issue_stage_i.i_re_name.issue_instr_o.is_compressed \|=> issue_stage_i.i_issue_read_operands.is_compressed_instr_o
unclassified	assert	proven	issue_stage_i.i_re_name.issue_instr_o.is_compressed \|=> issue_stage_i.is_compressed_instr_o
unclassified	assert	cex	issue_stage_i.i_re_name.issue_instr_o.use_pc \|=> issue_stage_i.decoded_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.i_re_name.issue_instr_o.use_pc \|=> issue_stage_i.flu_ready_i
unclassified	assert	cex	issue_stage_i.i_re_name.issue_instr_o.use_pc \|=> issue_stage_i.i_issue_read_operands.flu_ready_i
unclassified	assert	cex	issue_stage_i.i_re_name.issue_instr_o.use_pc \|=> issue_stage_i.i_issue_read_operands.issue_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.i_re_name.issue_instr_o.use_pc \|=> issue_stage_i.i_re_name.issue_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.i_re_name.issue_instr_o.use_pc \|=> issue_stage_i.i_re_name.issue_instr_o.use_imm
unclassified	assert	cex	issue_stage_i.i_re_name.issue_instr_o.use_pc \|=> issue_stage_i.i_scoreboard.decoded_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.i_re_name.issue_instr_o.use_pc \|=> issue_stage_i.i_scoreboard.issue_instr_o.use_imm
unclassified	assert	cex	issue_stage_i.i_re_name.issue_instr_o.use_pc \|=> issue_stage_i.issue_instr_rename_sb.use_imm
unclassified	assert	cex	issue_stage_i.i_re_name.issue_instr_o.use_pc \|=> issue_stage_i.issue_instr_sb_iro.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.commit_instr_o[0].ex.valid \|=> issue_stage_i.flu_ready_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.commit_instr_o[0].ex.valid \|=> issue_stage_i.i_issue_read_operands.flu_ready_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.commit_instr_o[0].ex.valid \|=> issue_stage_i.i_issue_read_operands.lsu_ready_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.commit_instr_o[0].ex.valid \|=> issue_stage_i.lsu_ready_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.commit_instr_o[0].use_pc \|=> issue_stage_i.i_issue_read_operands.lsu_ready_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.commit_instr_o[0].use_pc \|=> issue_stage_i.lsu_ready_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.commit_instr_o[1].ex.valid \|=> issue_stage_i.commit_instr_o[1].use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.commit_instr_o[1].ex.valid \|=> issue_stage_i.i_issue_read_operands.lsu_ready_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.commit_instr_o[1].ex.valid \|=> issue_stage_i.i_scoreboard.commit_instr_o[1].use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.commit_instr_o[1].ex.valid \|=> issue_stage_i.lsu_ready_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.commit_instr_o[1].use_pc \|=> issue_stage_i.i_issue_read_operands.lsu_ready_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.commit_instr_o[1].use_pc \|=> issue_stage_i.lsu_ready_i
unclassified	assert	proven	issue_stage_i.i_scoreboard.decoded_instr_i.is_compressed \|=> issue_stage_i.i_issue_read_operands.is_compressed_instr_o
unclassified	assert	proven	issue_stage_i.i_scoreboard.decoded_instr_i.is_compressed \|=> issue_stage_i.is_compressed_instr_o
unclassified	assert	cex	issue_stage_i.i_scoreboard.decoded_instr_i.use_pc \|=> issue_stage_i.decoded_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.decoded_instr_i.use_pc \|=> issue_stage_i.flu_ready_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.decoded_instr_i.use_pc \|=> issue_stage_i.i_issue_read_operands.flu_ready_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.decoded_instr_i.use_pc \|=> issue_stage_i.i_issue_read_operands.issue_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.decoded_instr_i.use_pc \|=> issue_stage_i.i_re_name.issue_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.decoded_instr_i.use_pc \|=> issue_stage_i.i_re_name.issue_instr_o.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.decoded_instr_i.use_pc \|=> issue_stage_i.i_scoreboard.decoded_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.decoded_instr_i.use_pc \|=> issue_stage_i.i_scoreboard.issue_instr_o.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.decoded_instr_i.use_pc \|=> issue_stage_i.issue_instr_rename_sb.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.decoded_instr_i.use_pc \|=> issue_stage_i.issue_instr_sb_iro.use_imm
unclassified	assert	proven	issue_stage_i.i_scoreboard.flush_i \|=> issue_stage_i.flu_ready_i
unclassified	assert	proven	issue_stage_i.i_scoreboard.flush_i \|=> issue_stage_i.i_issue_read_operands.flu_ready_i
unclassified	assert	proven	issue_stage_i.i_scoreboard.flush_i \|=> issue_stage_i.i_issue_read_operands.lsu_ready_i
unclassified	assert	proven	issue_stage_i.i_scoreboard.flush_i \|=> issue_stage_i.lsu_ready_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.flush_unissued_instr_i \|=> issue_stage_i.flu_ready_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.flush_unissued_instr_i \|=> issue_stage_i.i_issue_read_operands.flu_ready_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_full \|=> issue_stage_i.commit_ack_i[0]
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_full \|=> issue_stage_i.commit_ack_i[1]
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_full \|=> issue_stage_i.commit_instr_o[0].is_compressed
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_full \|=> issue_stage_i.commit_instr_o[0].valid
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_full \|=> issue_stage_i.commit_instr_o[1].use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_full \|=> issue_stage_i.commit_instr_o[1].valid
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_full \|=> issue_stage_i.decoded_instr_ack_o
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_full \|=> issue_stage_i.decoded_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_full \|=> issue_stage_i.decoded_instr_valid_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_full \|=> issue_stage_i.flu_ready_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_full \|=> issue_stage_i.i_issue_read_operands.flu_ready_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_full \|=> issue_stage_i.i_issue_read_operands.issue_ack_o
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_full \|=> issue_stage_i.i_issue_read_operands.issue_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_full \|=> issue_stage_i.i_issue_read_operands.issue_instr_valid_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_full \|=> issue_stage_i.i_issue_read_operands.lsu_ready_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_full \|=> issue_stage_i.i_issue_read_operands.we_gpr_i[0]
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_full \|=> issue_stage_i.i_issue_read_operands.we_gpr_i[1]
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_full \|=> issue_stage_i.i_issue_read_operands.we_pack[0]
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_full \|=> issue_stage_i.i_issue_read_operands.we_pack[1]
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_full \|=> issue_stage_i.i_re_name.issue_ack_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_full \|=> issue_stage_i.i_re_name.issue_ack_o
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_full \|=> issue_stage_i.i_re_name.issue_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_full \|=> issue_stage_i.i_re_name.issue_instr_o.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_full \|=> issue_stage_i.i_re_name.issue_instr_valid_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_full \|=> issue_stage_i.i_re_name.issue_instr_valid_o
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_full \|=> issue_stage_i.i_scoreboard.commit_ack_i[0]
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_full \|=> issue_stage_i.i_scoreboard.commit_ack_i[1]
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_full \|=> issue_stage_i.i_scoreboard.commit_instr_o[0].is_compressed
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_full \|=> issue_stage_i.i_scoreboard.commit_instr_o[0].valid
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_full \|=> issue_stage_i.i_scoreboard.commit_instr_o[1].use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_full \|=> issue_stage_i.i_scoreboard.commit_instr_o[1].valid
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_full \|=> issue_stage_i.i_scoreboard.decoded_instr_ack_o
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_full \|=> issue_stage_i.i_scoreboard.decoded_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_full \|=> issue_stage_i.i_scoreboard.decoded_instr_valid_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_full \|=> issue_stage_i.i_scoreboard.i_popcount.data_i[0]
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_full \|=> issue_stage_i.i_scoreboard.i_popcount.data_i[1]
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_full \|=> issue_stage_i.i_scoreboard.i_popcount.left_child_result
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_full \|=> issue_stage_i.i_scoreboard.i_popcount.padded_input[0]
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_full \|=> issue_stage_i.i_scoreboard.i_popcount.padded_input[1]
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_full \|=> issue_stage_i.i_scoreboard.i_popcount.popcount_o[1]
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_full \|=> issue_stage_i.i_scoreboard.i_popcount.right_child_result
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_full \|=> issue_stage_i.i_scoreboard.issue_ack_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_full \|=> issue_stage_i.i_scoreboard.issue_en
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_full \|=> issue_stage_i.i_scoreboard.issue_instr_o.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_full \|=> issue_stage_i.i_scoreboard.issue_instr_valid_o
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_full \|=> issue_stage_i.i_scoreboard.mem_n[0].issued
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_full \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.is_compressed
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_full \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_full \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.valid
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_full \|=> issue_stage_i.i_scoreboard.mem_q[0].issued
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_full \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.is_compressed
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_full \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_full \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.valid
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_full \|=> issue_stage_i.i_scoreboard.num_commit[1]
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_full \|=> issue_stage_i.issue_ack_iro_sb
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_full \|=> issue_stage_i.issue_ack_sb_rename
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_full \|=> issue_stage_i.issue_instr_rename_sb.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_full \|=> issue_stage_i.issue_instr_sb_iro.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_full \|=> issue_stage_i.issue_instr_valid_rename_sb
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_full \|=> issue_stage_i.issue_instr_valid_sb_iro
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_full \|=> issue_stage_i.lsu_ready_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_full \|=> issue_stage_i.we_gpr_i[0]
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_full \|=> issue_stage_i.we_gpr_i[1]
unclassified	assert	proven	issue_stage_i.i_scoreboard.issue_instr_o.is_compressed \|=> issue_stage_i.i_issue_read_operands.is_compressed_instr_o
unclassified	assert	proven	issue_stage_i.i_scoreboard.issue_instr_o.is_compressed \|=> issue_stage_i.is_compressed_instr_o
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_instr_o.use_pc \|=> issue_stage_i.decoded_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_instr_o.use_pc \|=> issue_stage_i.flu_ready_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_instr_o.use_pc \|=> issue_stage_i.i_issue_read_operands.flu_ready_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_instr_o.use_pc \|=> issue_stage_i.i_issue_read_operands.issue_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_instr_o.use_pc \|=> issue_stage_i.i_re_name.issue_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_instr_o.use_pc \|=> issue_stage_i.i_re_name.issue_instr_o.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_instr_o.use_pc \|=> issue_stage_i.i_scoreboard.decoded_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_instr_o.use_pc \|=> issue_stage_i.i_scoreboard.issue_instr_o.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_instr_o.use_pc \|=> issue_stage_i.issue_instr_rename_sb.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_instr_o.use_pc \|=> issue_stage_i.issue_instr_sb_iro.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_n[0].is_rd_fpr_flag \|=> issue_stage_i.flu_ready_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_n[0].is_rd_fpr_flag \|=> issue_stage_i.i_issue_read_operands.flu_ready_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_n[0].is_rd_fpr_flag \|=> issue_stage_i.i_issue_read_operands.lsu_ready_i
unclassified	assert	proven	issue_stage_i.i_scoreboard.mem_n[0].is_rd_fpr_flag \|=> issue_stage_i.i_scoreboard.mem_q[0].is_rd_fpr_flag
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_n[0].is_rd_fpr_flag \|=> issue_stage_i.lsu_ready_i
unclassified	assert	proven	issue_stage_i.i_scoreboard.mem_n[0].issued \|=> issue_stage_i.i_scoreboard.mem_q[0].issued
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_n[0].sbe.ex.valid \|=> issue_stage_i.commit_instr_o[1].use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_n[0].sbe.ex.valid \|=> issue_stage_i.decoded_instr_i.ex.valid
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_n[0].sbe.ex.valid \|=> issue_stage_i.decoded_instr_i.valid
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_n[0].sbe.ex.valid \|=> issue_stage_i.i_issue_read_operands.issue_instr_i.ex.valid
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_n[0].sbe.ex.valid \|=> issue_stage_i.i_issue_read_operands.issue_instr_i.valid
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_n[0].sbe.ex.valid \|=> issue_stage_i.i_issue_read_operands.lsu_ready_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_n[0].sbe.ex.valid \|=> issue_stage_i.i_re_name.issue_instr_i.ex.valid
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_n[0].sbe.ex.valid \|=> issue_stage_i.i_re_name.issue_instr_i.valid
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_n[0].sbe.ex.valid \|=> issue_stage_i.i_re_name.issue_instr_o.ex.valid
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_n[0].sbe.ex.valid \|=> issue_stage_i.i_re_name.issue_instr_o.valid
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_n[0].sbe.ex.valid \|=> issue_stage_i.i_scoreboard.commit_instr_o[1].use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_n[0].sbe.ex.valid \|=> issue_stage_i.i_scoreboard.decoded_instr_i.ex.valid
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_n[0].sbe.ex.valid \|=> issue_stage_i.i_scoreboard.decoded_instr_i.valid
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_n[0].sbe.ex.valid \|=> issue_stage_i.i_scoreboard.issue_instr_o.ex.valid
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_n[0].sbe.ex.valid \|=> issue_stage_i.i_scoreboard.issue_instr_o.valid
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_n[0].sbe.ex.valid \|=> issue_stage_i.i_scoreboard.mem_q[0].issued
unclassified	assert	proven	issue_stage_i.i_scoreboard.mem_n[0].sbe.ex.valid \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.ex.valid
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_n[0].sbe.ex.valid \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.valid
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_n[0].sbe.ex.valid \|=> issue_stage_i.issue_instr_rename_sb.ex.valid
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_n[0].sbe.ex.valid \|=> issue_stage_i.issue_instr_rename_sb.valid
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_n[0].sbe.ex.valid \|=> issue_stage_i.issue_instr_sb_iro.ex.valid
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_n[0].sbe.ex.valid \|=> issue_stage_i.issue_instr_sb_iro.valid
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_n[0].sbe.ex.valid \|=> issue_stage_i.lsu_ready_i
unclassified	assert	proven	issue_stage_i.i_scoreboard.mem_n[0].sbe.is_compressed \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.is_compressed
unclassified	assert	proven	issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_n[0].sbe.use_pc \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	proven	issue_stage_i.i_scoreboard.mem_n[0].sbe.use_pc \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	proven	issue_stage_i.i_scoreboard.mem_n[0].sbe.use_pc \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_pc
unclassified	assert	proven	issue_stage_i.i_scoreboard.mem_n[0].sbe.valid \|=> issue_stage_i.i_scoreboard.mem_q[0].issued
unclassified	assert	proven	issue_stage_i.i_scoreboard.mem_n[0].sbe.valid \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.valid
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_q[0].is_rd_fpr_flag \|=> issue_stage_i.flu_ready_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_q[0].is_rd_fpr_flag \|=> issue_stage_i.i_issue_read_operands.flu_ready_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_q[0].is_rd_fpr_flag \|=> issue_stage_i.i_issue_read_operands.lsu_ready_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_q[0].is_rd_fpr_flag \|=> issue_stage_i.lsu_ready_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_q[0].sbe.ex.valid \|=> issue_stage_i.decoded_instr_i.ex.valid
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_q[0].sbe.ex.valid \|=> issue_stage_i.decoded_instr_i.valid
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_q[0].sbe.ex.valid \|=> issue_stage_i.i_issue_read_operands.issue_instr_i.ex.valid
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_q[0].sbe.ex.valid \|=> issue_stage_i.i_issue_read_operands.issue_instr_i.valid
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_q[0].sbe.ex.valid \|=> issue_stage_i.i_issue_read_operands.lsu_ready_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_q[0].sbe.ex.valid \|=> issue_stage_i.i_re_name.issue_instr_i.ex.valid
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_q[0].sbe.ex.valid \|=> issue_stage_i.i_re_name.issue_instr_i.valid
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_q[0].sbe.ex.valid \|=> issue_stage_i.i_re_name.issue_instr_o.ex.valid
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_q[0].sbe.ex.valid \|=> issue_stage_i.i_re_name.issue_instr_o.valid
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_q[0].sbe.ex.valid \|=> issue_stage_i.i_scoreboard.decoded_instr_i.ex.valid
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_q[0].sbe.ex.valid \|=> issue_stage_i.i_scoreboard.decoded_instr_i.valid
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_q[0].sbe.ex.valid \|=> issue_stage_i.i_scoreboard.issue_instr_o.ex.valid
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_q[0].sbe.ex.valid \|=> issue_stage_i.i_scoreboard.issue_instr_o.valid
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_q[0].sbe.ex.valid \|=> issue_stage_i.issue_instr_rename_sb.ex.valid
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_q[0].sbe.ex.valid \|=> issue_stage_i.issue_instr_rename_sb.valid
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_q[0].sbe.ex.valid \|=> issue_stage_i.issue_instr_sb_iro.ex.valid
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_q[0].sbe.ex.valid \|=> issue_stage_i.issue_instr_sb_iro.valid
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_q[0].sbe.ex.valid \|=> issue_stage_i.lsu_ready_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_q[0].sbe.use_pc \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_q[0].sbe.use_pc \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.resolved_branch_i.is_mispredict \|=> issue_stage_i.commit_instr_o[0].use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.resolved_branch_i.is_mispredict \|=> issue_stage_i.flu_ready_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.resolved_branch_i.is_mispredict \|=> issue_stage_i.i_issue_read_operands.flu_ready_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.resolved_branch_i.is_mispredict \|=> issue_stage_i.i_scoreboard.commit_instr_o[0].use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.resolved_branch_i.is_taken \|=> issue_stage_i.commit_instr_o[0].use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.resolved_branch_i.is_taken \|=> issue_stage_i.flu_ready_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.resolved_branch_i.is_taken \|=> issue_stage_i.i_issue_read_operands.flu_ready_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.resolved_branch_i.is_taken \|=> issue_stage_i.i_scoreboard.commit_instr_o[0].use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.resolved_branch_i.valid \|=> issue_stage_i.commit_instr_o[0].use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.resolved_branch_i.valid \|=> issue_stage_i.flu_ready_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.resolved_branch_i.valid \|=> issue_stage_i.i_issue_read_operands.flu_ready_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.resolved_branch_i.valid \|=> issue_stage_i.i_scoreboard.commit_instr_o[0].use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.sb_full_o \|=> issue_stage_i.commit_ack_i[0]
unclassified	assert	cex	issue_stage_i.i_scoreboard.sb_full_o \|=> issue_stage_i.commit_ack_i[1]
unclassified	assert	cex	issue_stage_i.i_scoreboard.sb_full_o \|=> issue_stage_i.commit_instr_o[0].is_compressed
unclassified	assert	cex	issue_stage_i.i_scoreboard.sb_full_o \|=> issue_stage_i.commit_instr_o[0].valid
unclassified	assert	cex	issue_stage_i.i_scoreboard.sb_full_o \|=> issue_stage_i.commit_instr_o[1].use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.sb_full_o \|=> issue_stage_i.commit_instr_o[1].valid
unclassified	assert	cex	issue_stage_i.i_scoreboard.sb_full_o \|=> issue_stage_i.decoded_instr_ack_o
unclassified	assert	cex	issue_stage_i.i_scoreboard.sb_full_o \|=> issue_stage_i.decoded_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.sb_full_o \|=> issue_stage_i.decoded_instr_valid_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.sb_full_o \|=> issue_stage_i.flu_ready_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.sb_full_o \|=> issue_stage_i.i_issue_read_operands.flu_ready_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.sb_full_o \|=> issue_stage_i.i_issue_read_operands.issue_ack_o
unclassified	assert	cex	issue_stage_i.i_scoreboard.sb_full_o \|=> issue_stage_i.i_issue_read_operands.issue_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.sb_full_o \|=> issue_stage_i.i_issue_read_operands.issue_instr_valid_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.sb_full_o \|=> issue_stage_i.i_issue_read_operands.lsu_ready_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.sb_full_o \|=> issue_stage_i.i_issue_read_operands.we_gpr_i[0]
unclassified	assert	cex	issue_stage_i.i_scoreboard.sb_full_o \|=> issue_stage_i.i_issue_read_operands.we_gpr_i[1]
unclassified	assert	cex	issue_stage_i.i_scoreboard.sb_full_o \|=> issue_stage_i.i_issue_read_operands.we_pack[0]
unclassified	assert	cex	issue_stage_i.i_scoreboard.sb_full_o \|=> issue_stage_i.i_issue_read_operands.we_pack[1]
unclassified	assert	cex	issue_stage_i.i_scoreboard.sb_full_o \|=> issue_stage_i.i_re_name.issue_ack_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.sb_full_o \|=> issue_stage_i.i_re_name.issue_ack_o
unclassified	assert	cex	issue_stage_i.i_scoreboard.sb_full_o \|=> issue_stage_i.i_re_name.issue_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.sb_full_o \|=> issue_stage_i.i_re_name.issue_instr_o.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.sb_full_o \|=> issue_stage_i.i_re_name.issue_instr_valid_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.sb_full_o \|=> issue_stage_i.i_re_name.issue_instr_valid_o
unclassified	assert	cex	issue_stage_i.i_scoreboard.sb_full_o \|=> issue_stage_i.i_scoreboard.commit_ack_i[0]
unclassified	assert	cex	issue_stage_i.i_scoreboard.sb_full_o \|=> issue_stage_i.i_scoreboard.commit_ack_i[1]
unclassified	assert	cex	issue_stage_i.i_scoreboard.sb_full_o \|=> issue_stage_i.i_scoreboard.commit_instr_o[0].is_compressed
unclassified	assert	cex	issue_stage_i.i_scoreboard.sb_full_o \|=> issue_stage_i.i_scoreboard.commit_instr_o[0].valid
unclassified	assert	cex	issue_stage_i.i_scoreboard.sb_full_o \|=> issue_stage_i.i_scoreboard.commit_instr_o[1].use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.sb_full_o \|=> issue_stage_i.i_scoreboard.commit_instr_o[1].valid
unclassified	assert	cex	issue_stage_i.i_scoreboard.sb_full_o \|=> issue_stage_i.i_scoreboard.decoded_instr_ack_o
unclassified	assert	cex	issue_stage_i.i_scoreboard.sb_full_o \|=> issue_stage_i.i_scoreboard.decoded_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.sb_full_o \|=> issue_stage_i.i_scoreboard.decoded_instr_valid_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.sb_full_o \|=> issue_stage_i.i_scoreboard.i_popcount.data_i[0]
unclassified	assert	cex	issue_stage_i.i_scoreboard.sb_full_o \|=> issue_stage_i.i_scoreboard.i_popcount.data_i[1]
unclassified	assert	cex	issue_stage_i.i_scoreboard.sb_full_o \|=> issue_stage_i.i_scoreboard.i_popcount.left_child_result
unclassified	assert	cex	issue_stage_i.i_scoreboard.sb_full_o \|=> issue_stage_i.i_scoreboard.i_popcount.padded_input[0]
unclassified	assert	cex	issue_stage_i.i_scoreboard.sb_full_o \|=> issue_stage_i.i_scoreboard.i_popcount.padded_input[1]
unclassified	assert	cex	issue_stage_i.i_scoreboard.sb_full_o \|=> issue_stage_i.i_scoreboard.i_popcount.popcount_o[1]
unclassified	assert	cex	issue_stage_i.i_scoreboard.sb_full_o \|=> issue_stage_i.i_scoreboard.i_popcount.right_child_result
unclassified	assert	cex	issue_stage_i.i_scoreboard.sb_full_o \|=> issue_stage_i.i_scoreboard.issue_ack_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.sb_full_o \|=> issue_stage_i.i_scoreboard.issue_en
unclassified	assert	cex	issue_stage_i.i_scoreboard.sb_full_o \|=> issue_stage_i.i_scoreboard.issue_instr_o.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.sb_full_o \|=> issue_stage_i.i_scoreboard.issue_instr_valid_o
unclassified	assert	cex	issue_stage_i.i_scoreboard.sb_full_o \|=> issue_stage_i.i_scoreboard.mem_n[0].issued
unclassified	assert	cex	issue_stage_i.i_scoreboard.sb_full_o \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.is_compressed
unclassified	assert	cex	issue_stage_i.i_scoreboard.sb_full_o \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.sb_full_o \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.valid
unclassified	assert	cex	issue_stage_i.i_scoreboard.sb_full_o \|=> issue_stage_i.i_scoreboard.mem_q[0].issued
unclassified	assert	cex	issue_stage_i.i_scoreboard.sb_full_o \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.is_compressed
unclassified	assert	cex	issue_stage_i.i_scoreboard.sb_full_o \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.sb_full_o \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.valid
unclassified	assert	cex	issue_stage_i.i_scoreboard.sb_full_o \|=> issue_stage_i.i_scoreboard.num_commit[1]
unclassified	assert	cex	issue_stage_i.i_scoreboard.sb_full_o \|=> issue_stage_i.issue_ack_iro_sb
unclassified	assert	cex	issue_stage_i.i_scoreboard.sb_full_o \|=> issue_stage_i.issue_ack_sb_rename
unclassified	assert	cex	issue_stage_i.i_scoreboard.sb_full_o \|=> issue_stage_i.issue_instr_rename_sb.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.sb_full_o \|=> issue_stage_i.issue_instr_sb_iro.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.sb_full_o \|=> issue_stage_i.issue_instr_valid_rename_sb
unclassified	assert	cex	issue_stage_i.i_scoreboard.sb_full_o \|=> issue_stage_i.issue_instr_valid_sb_iro
unclassified	assert	cex	issue_stage_i.i_scoreboard.sb_full_o \|=> issue_stage_i.lsu_ready_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.sb_full_o \|=> issue_stage_i.we_gpr_i[0]
unclassified	assert	cex	issue_stage_i.i_scoreboard.sb_full_o \|=> issue_stage_i.we_gpr_i[1]
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[0] \|=> issue_stage_i.commit_ack_i[0]
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[0] \|=> issue_stage_i.commit_instr_o[0].valid
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[0] \|=> issue_stage_i.flu_ready_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[0] \|=> issue_stage_i.i_issue_read_operands.flu_ready_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[0] \|=> issue_stage_i.i_issue_read_operands.lsu_ready_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[0] \|=> issue_stage_i.i_issue_read_operands.we_fpr_i[0]
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[0] \|=> issue_stage_i.i_scoreboard.commit_ack_i[0]
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[0] \|=> issue_stage_i.i_scoreboard.commit_instr_o[0].valid
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[0] \|=> issue_stage_i.i_scoreboard.i_popcount.data_i[0]
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[0] \|=> issue_stage_i.i_scoreboard.i_popcount.padded_input[0]
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[0] \|=> issue_stage_i.i_scoreboard.i_popcount.right_child_result
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[0] \|=> issue_stage_i.lsu_ready_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[0] \|=> issue_stage_i.we_fpr_i[0]
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[1] \|=> issue_stage_i.commit_instr_o[0].valid
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[1] \|=> issue_stage_i.i_issue_read_operands.we_gpr_i[0]
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[1] \|=> issue_stage_i.i_issue_read_operands.we_pack[0]
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[1] \|=> issue_stage_i.i_scoreboard.commit_instr_o[0].valid
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[1] \|=> issue_stage_i.we_gpr_i[0]
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[2] \|=> issue_stage_i.commit_ack_i[0]
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[2] \|=> issue_stage_i.commit_instr_o[0].use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[2] \|=> issue_stage_i.commit_instr_o[0].valid
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[2] \|=> issue_stage_i.i_issue_read_operands.we_gpr_i[0]
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[2] \|=> issue_stage_i.i_issue_read_operands.we_pack[0]
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[2] \|=> issue_stage_i.i_scoreboard.commit_ack_i[0]
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[2] \|=> issue_stage_i.i_scoreboard.commit_instr_o[0].use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[2] \|=> issue_stage_i.i_scoreboard.commit_instr_o[0].valid
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[2] \|=> issue_stage_i.i_scoreboard.i_popcount.data_i[0]
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[2] \|=> issue_stage_i.i_scoreboard.i_popcount.padded_input[0]
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[2] \|=> issue_stage_i.i_scoreboard.i_popcount.right_child_result
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[2] \|=> issue_stage_i.we_gpr_i[0]
unclassified	assert	proven	issue_stage_i.issue_instr_rename_sb.is_compressed \|=> issue_stage_i.i_issue_read_operands.is_compressed_instr_o
unclassified	assert	proven	issue_stage_i.issue_instr_rename_sb.is_compressed \|=> issue_stage_i.is_compressed_instr_o
unclassified	assert	cex	issue_stage_i.issue_instr_rename_sb.use_pc \|=> issue_stage_i.decoded_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.issue_instr_rename_sb.use_pc \|=> issue_stage_i.flu_ready_i
unclassified	assert	cex	issue_stage_i.issue_instr_rename_sb.use_pc \|=> issue_stage_i.i_issue_read_operands.flu_ready_i
unclassified	assert	cex	issue_stage_i.issue_instr_rename_sb.use_pc \|=> issue_stage_i.i_issue_read_operands.issue_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.issue_instr_rename_sb.use_pc \|=> issue_stage_i.i_re_name.issue_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.issue_instr_rename_sb.use_pc \|=> issue_stage_i.i_re_name.issue_instr_o.use_imm
unclassified	assert	cex	issue_stage_i.issue_instr_rename_sb.use_pc \|=> issue_stage_i.i_scoreboard.decoded_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.issue_instr_rename_sb.use_pc \|=> issue_stage_i.i_scoreboard.issue_instr_o.use_imm
unclassified	assert	cex	issue_stage_i.issue_instr_rename_sb.use_pc \|=> issue_stage_i.issue_instr_rename_sb.use_imm
unclassified	assert	cex	issue_stage_i.issue_instr_rename_sb.use_pc \|=> issue_stage_i.issue_instr_sb_iro.use_imm
unclassified	assert	proven	issue_stage_i.issue_instr_sb_iro.is_compressed \|=> issue_stage_i.i_issue_read_operands.is_compressed_instr_o
unclassified	assert	proven	issue_stage_i.issue_instr_sb_iro.is_compressed \|=> issue_stage_i.is_compressed_instr_o
unclassified	assert	cex	issue_stage_i.issue_instr_sb_iro.use_pc \|=> issue_stage_i.decoded_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.issue_instr_sb_iro.use_pc \|=> issue_stage_i.flu_ready_i
unclassified	assert	cex	issue_stage_i.issue_instr_sb_iro.use_pc \|=> issue_stage_i.i_issue_read_operands.flu_ready_i
unclassified	assert	cex	issue_stage_i.issue_instr_sb_iro.use_pc \|=> issue_stage_i.i_issue_read_operands.issue_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.issue_instr_sb_iro.use_pc \|=> issue_stage_i.i_re_name.issue_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.issue_instr_sb_iro.use_pc \|=> issue_stage_i.i_re_name.issue_instr_o.use_imm
unclassified	assert	cex	issue_stage_i.issue_instr_sb_iro.use_pc \|=> issue_stage_i.i_scoreboard.decoded_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.issue_instr_sb_iro.use_pc \|=> issue_stage_i.i_scoreboard.issue_instr_o.use_imm
unclassified	assert	cex	issue_stage_i.issue_instr_sb_iro.use_pc \|=> issue_stage_i.issue_instr_rename_sb.use_imm
unclassified	assert	cex	issue_stage_i.issue_instr_sb_iro.use_pc \|=> issue_stage_i.issue_instr_sb_iro.use_imm
unclassified	assert	cex	issue_stage_i.mult_valid_o \|=> issue_stage_i.decoded_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.mult_valid_o \|=> issue_stage_i.decoded_instr_valid_i
unclassified	assert	cex	issue_stage_i.mult_valid_o \|=> issue_stage_i.i_issue_read_operands.issue_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.mult_valid_o \|=> issue_stage_i.i_issue_read_operands.issue_instr_valid_i
unclassified	assert	cex	issue_stage_i.mult_valid_o \|=> issue_stage_i.i_issue_read_operands.lsu_ready_i
unclassified	assert	cex	issue_stage_i.mult_valid_o \|=> issue_stage_i.i_re_name.issue_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.mult_valid_o \|=> issue_stage_i.i_re_name.issue_instr_o.use_imm
unclassified	assert	cex	issue_stage_i.mult_valid_o \|=> issue_stage_i.i_re_name.issue_instr_valid_i
unclassified	assert	cex	issue_stage_i.mult_valid_o \|=> issue_stage_i.i_re_name.issue_instr_valid_o
unclassified	assert	cex	issue_stage_i.mult_valid_o \|=> issue_stage_i.i_scoreboard.decoded_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.mult_valid_o \|=> issue_stage_i.i_scoreboard.decoded_instr_valid_i
unclassified	assert	cex	issue_stage_i.mult_valid_o \|=> issue_stage_i.i_scoreboard.issue_instr_o.use_imm
unclassified	assert	cex	issue_stage_i.mult_valid_o \|=> issue_stage_i.i_scoreboard.issue_instr_valid_o
unclassified	assert	cex	issue_stage_i.mult_valid_o \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.mult_valid_o \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.mult_valid_o \|=> issue_stage_i.i_scoreboard.wt_valid_i[3]
unclassified	assert	cex	issue_stage_i.mult_valid_o \|=> issue_stage_i.issue_instr_rename_sb.use_imm
unclassified	assert	cex	issue_stage_i.mult_valid_o \|=> issue_stage_i.issue_instr_sb_iro.use_imm
unclassified	assert	cex	issue_stage_i.mult_valid_o \|=> issue_stage_i.issue_instr_valid_rename_sb
unclassified	assert	cex	issue_stage_i.mult_valid_o \|=> issue_stage_i.issue_instr_valid_sb_iro
unclassified	assert	cex	issue_stage_i.mult_valid_o \|=> issue_stage_i.lsu_ready_i
unclassified	assert	cex	issue_stage_i.mult_valid_o \|=> issue_stage_i.wt_valid_i[3]
unclassified	assert	cex	issue_stage_i.resolve_branch_i \|=> issue_stage_i.commit_instr_o[0].use_imm
unclassified	assert	cex	issue_stage_i.resolve_branch_i \|=> issue_stage_i.flu_ready_i
unclassified	assert	cex	issue_stage_i.resolve_branch_i \|=> issue_stage_i.i_issue_read_operands.flu_ready_i
unclassified	assert	cex	issue_stage_i.resolve_branch_i \|=> issue_stage_i.i_scoreboard.commit_instr_o[0].use_imm
unclassified	assert	cex	issue_stage_i.resolved_branch_i.is_mispredict \|=> issue_stage_i.commit_instr_o[0].use_imm
unclassified	assert	cex	issue_stage_i.resolved_branch_i.is_mispredict \|=> issue_stage_i.flu_ready_i
unclassified	assert	cex	issue_stage_i.resolved_branch_i.is_mispredict \|=> issue_stage_i.i_issue_read_operands.flu_ready_i
unclassified	assert	cex	issue_stage_i.resolved_branch_i.is_mispredict \|=> issue_stage_i.i_scoreboard.commit_instr_o[0].use_imm
unclassified	assert	cex	issue_stage_i.resolved_branch_i.is_taken \|=> issue_stage_i.commit_instr_o[0].use_imm
unclassified	assert	cex	issue_stage_i.resolved_branch_i.is_taken \|=> issue_stage_i.flu_ready_i
unclassified	assert	cex	issue_stage_i.resolved_branch_i.is_taken \|=> issue_stage_i.i_issue_read_operands.flu_ready_i
unclassified	assert	cex	issue_stage_i.resolved_branch_i.is_taken \|=> issue_stage_i.i_scoreboard.commit_instr_o[0].use_imm
unclassified	assert	cex	issue_stage_i.resolved_branch_i.valid \|=> issue_stage_i.commit_instr_o[0].use_imm
unclassified	assert	cex	issue_stage_i.resolved_branch_i.valid \|=> issue_stage_i.flu_ready_i
unclassified	assert	cex	issue_stage_i.resolved_branch_i.valid \|=> issue_stage_i.i_issue_read_operands.flu_ready_i
unclassified	assert	cex	issue_stage_i.resolved_branch_i.valid \|=> issue_stage_i.i_scoreboard.commit_instr_o[0].use_imm
unclassified	assert	cex	issue_stage_i.sb_full_o \|=> issue_stage_i.commit_ack_i[0]
unclassified	assert	cex	issue_stage_i.sb_full_o \|=> issue_stage_i.commit_ack_i[1]
unclassified	assert	cex	issue_stage_i.sb_full_o \|=> issue_stage_i.commit_instr_o[0].is_compressed
unclassified	assert	cex	issue_stage_i.sb_full_o \|=> issue_stage_i.commit_instr_o[0].valid
unclassified	assert	cex	issue_stage_i.sb_full_o \|=> issue_stage_i.commit_instr_o[1].use_imm
unclassified	assert	cex	issue_stage_i.sb_full_o \|=> issue_stage_i.commit_instr_o[1].valid
unclassified	assert	cex	issue_stage_i.sb_full_o \|=> issue_stage_i.decoded_instr_ack_o
unclassified	assert	cex	issue_stage_i.sb_full_o \|=> issue_stage_i.decoded_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.sb_full_o \|=> issue_stage_i.decoded_instr_valid_i
unclassified	assert	cex	issue_stage_i.sb_full_o \|=> issue_stage_i.flu_ready_i
unclassified	assert	cex	issue_stage_i.sb_full_o \|=> issue_stage_i.i_issue_read_operands.flu_ready_i
unclassified	assert	cex	issue_stage_i.sb_full_o \|=> issue_stage_i.i_issue_read_operands.issue_ack_o
unclassified	assert	cex	issue_stage_i.sb_full_o \|=> issue_stage_i.i_issue_read_operands.issue_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.sb_full_o \|=> issue_stage_i.i_issue_read_operands.issue_instr_valid_i
unclassified	assert	cex	issue_stage_i.sb_full_o \|=> issue_stage_i.i_issue_read_operands.lsu_ready_i
unclassified	assert	cex	issue_stage_i.sb_full_o \|=> issue_stage_i.i_issue_read_operands.we_gpr_i[0]
unclassified	assert	cex	issue_stage_i.sb_full_o \|=> issue_stage_i.i_issue_read_operands.we_gpr_i[1]
unclassified	assert	cex	issue_stage_i.sb_full_o \|=> issue_stage_i.i_issue_read_operands.we_pack[0]
unclassified	assert	cex	issue_stage_i.sb_full_o \|=> issue_stage_i.i_issue_read_operands.we_pack[1]
unclassified	assert	cex	issue_stage_i.sb_full_o \|=> issue_stage_i.i_re_name.issue_ack_i
unclassified	assert	cex	issue_stage_i.sb_full_o \|=> issue_stage_i.i_re_name.issue_ack_o
unclassified	assert	cex	issue_stage_i.sb_full_o \|=> issue_stage_i.i_re_name.issue_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.sb_full_o \|=> issue_stage_i.i_re_name.issue_instr_o.use_imm
unclassified	assert	cex	issue_stage_i.sb_full_o \|=> issue_stage_i.i_re_name.issue_instr_valid_i
unclassified	assert	cex	issue_stage_i.sb_full_o \|=> issue_stage_i.i_re_name.issue_instr_valid_o
unclassified	assert	cex	issue_stage_i.sb_full_o \|=> issue_stage_i.i_scoreboard.commit_ack_i[0]
unclassified	assert	cex	issue_stage_i.sb_full_o \|=> issue_stage_i.i_scoreboard.commit_ack_i[1]
unclassified	assert	cex	issue_stage_i.sb_full_o \|=> issue_stage_i.i_scoreboard.commit_instr_o[0].is_compressed
unclassified	assert	cex	issue_stage_i.sb_full_o \|=> issue_stage_i.i_scoreboard.commit_instr_o[0].valid
unclassified	assert	cex	issue_stage_i.sb_full_o \|=> issue_stage_i.i_scoreboard.commit_instr_o[1].use_imm
unclassified	assert	cex	issue_stage_i.sb_full_o \|=> issue_stage_i.i_scoreboard.commit_instr_o[1].valid
unclassified	assert	cex	issue_stage_i.sb_full_o \|=> issue_stage_i.i_scoreboard.decoded_instr_ack_o
unclassified	assert	cex	issue_stage_i.sb_full_o \|=> issue_stage_i.i_scoreboard.decoded_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.sb_full_o \|=> issue_stage_i.i_scoreboard.decoded_instr_valid_i
unclassified	assert	cex	issue_stage_i.sb_full_o \|=> issue_stage_i.i_scoreboard.i_popcount.data_i[0]
unclassified	assert	cex	issue_stage_i.sb_full_o \|=> issue_stage_i.i_scoreboard.i_popcount.data_i[1]
unclassified	assert	cex	issue_stage_i.sb_full_o \|=> issue_stage_i.i_scoreboard.i_popcount.left_child_result
unclassified	assert	cex	issue_stage_i.sb_full_o \|=> issue_stage_i.i_scoreboard.i_popcount.padded_input[0]
unclassified	assert	cex	issue_stage_i.sb_full_o \|=> issue_stage_i.i_scoreboard.i_popcount.padded_input[1]
unclassified	assert	cex	issue_stage_i.sb_full_o \|=> issue_stage_i.i_scoreboard.i_popcount.popcount_o[1]
unclassified	assert	cex	issue_stage_i.sb_full_o \|=> issue_stage_i.i_scoreboard.i_popcount.right_child_result
unclassified	assert	cex	issue_stage_i.sb_full_o \|=> issue_stage_i.i_scoreboard.issue_ack_i
unclassified	assert	cex	issue_stage_i.sb_full_o \|=> issue_stage_i.i_scoreboard.issue_en
unclassified	assert	cex	issue_stage_i.sb_full_o \|=> issue_stage_i.i_scoreboard.issue_instr_o.use_imm
unclassified	assert	cex	issue_stage_i.sb_full_o \|=> issue_stage_i.i_scoreboard.issue_instr_valid_o
unclassified	assert	cex	issue_stage_i.sb_full_o \|=> issue_stage_i.i_scoreboard.mem_n[0].issued
unclassified	assert	cex	issue_stage_i.sb_full_o \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.is_compressed
unclassified	assert	cex	issue_stage_i.sb_full_o \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.sb_full_o \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.valid
unclassified	assert	cex	issue_stage_i.sb_full_o \|=> issue_stage_i.i_scoreboard.mem_q[0].issued
unclassified	assert	cex	issue_stage_i.sb_full_o \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.is_compressed
unclassified	assert	cex	issue_stage_i.sb_full_o \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.sb_full_o \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.valid
unclassified	assert	cex	issue_stage_i.sb_full_o \|=> issue_stage_i.i_scoreboard.num_commit[1]
unclassified	assert	cex	issue_stage_i.sb_full_o \|=> issue_stage_i.issue_ack_iro_sb
unclassified	assert	cex	issue_stage_i.sb_full_o \|=> issue_stage_i.issue_ack_sb_rename
unclassified	assert	cex	issue_stage_i.sb_full_o \|=> issue_stage_i.issue_instr_rename_sb.use_imm
unclassified	assert	cex	issue_stage_i.sb_full_o \|=> issue_stage_i.issue_instr_sb_iro.use_imm
unclassified	assert	cex	issue_stage_i.sb_full_o \|=> issue_stage_i.issue_instr_valid_rename_sb
unclassified	assert	cex	issue_stage_i.sb_full_o \|=> issue_stage_i.issue_instr_valid_sb_iro
unclassified	assert	cex	issue_stage_i.sb_full_o \|=> issue_stage_i.lsu_ready_i
unclassified	assert	cex	issue_stage_i.sb_full_o \|=> issue_stage_i.we_gpr_i[0]
unclassified	assert	cex	issue_stage_i.sb_full_o \|=> issue_stage_i.we_gpr_i[1]
unclassified	assert	cex	issue_stage_i.we_fpr_i[0] \|=> issue_stage_i.flu_ready_i
unclassified	assert	cex	issue_stage_i.we_fpr_i[0] \|=> issue_stage_i.i_issue_read_operands.flu_ready_i
unclassified	assert	cex	issue_stage_i.we_fpr_i[0] \|=> issue_stage_i.i_issue_read_operands.lsu_ready_i
unclassified	assert	cex	issue_stage_i.we_fpr_i[0] \|=> issue_stage_i.lsu_ready_i
unclassified	assert	cex	issue_stage_i.wt_valid_i[0] \|=> issue_stage_i.commit_ack_i[0]
unclassified	assert	cex	issue_stage_i.wt_valid_i[0] \|=> issue_stage_i.commit_instr_o[0].valid
unclassified	assert	cex	issue_stage_i.wt_valid_i[0] \|=> issue_stage_i.flu_ready_i
unclassified	assert	cex	issue_stage_i.wt_valid_i[0] \|=> issue_stage_i.i_issue_read_operands.flu_ready_i
unclassified	assert	cex	issue_stage_i.wt_valid_i[0] \|=> issue_stage_i.i_issue_read_operands.lsu_ready_i
unclassified	assert	cex	issue_stage_i.wt_valid_i[0] \|=> issue_stage_i.i_issue_read_operands.we_fpr_i[0]
unclassified	assert	cex	issue_stage_i.wt_valid_i[0] \|=> issue_stage_i.i_scoreboard.commit_ack_i[0]
unclassified	assert	cex	issue_stage_i.wt_valid_i[0] \|=> issue_stage_i.i_scoreboard.commit_instr_o[0].valid
unclassified	assert	cex	issue_stage_i.wt_valid_i[0] \|=> issue_stage_i.i_scoreboard.i_popcount.data_i[0]
unclassified	assert	cex	issue_stage_i.wt_valid_i[0] \|=> issue_stage_i.i_scoreboard.i_popcount.padded_input[0]
unclassified	assert	cex	issue_stage_i.wt_valid_i[0] \|=> issue_stage_i.i_scoreboard.i_popcount.right_child_result
unclassified	assert	cex	issue_stage_i.wt_valid_i[0] \|=> issue_stage_i.lsu_ready_i
unclassified	assert	cex	issue_stage_i.wt_valid_i[0] \|=> issue_stage_i.we_fpr_i[0]
unclassified	assert	cex	issue_stage_i.wt_valid_i[1] \|=> issue_stage_i.commit_instr_o[0].valid
unclassified	assert	cex	issue_stage_i.wt_valid_i[1] \|=> issue_stage_i.i_issue_read_operands.we_gpr_i[0]
unclassified	assert	cex	issue_stage_i.wt_valid_i[1] \|=> issue_stage_i.i_issue_read_operands.we_pack[0]
unclassified	assert	cex	issue_stage_i.wt_valid_i[1] \|=> issue_stage_i.i_scoreboard.commit_instr_o[0].valid
unclassified	assert	cex	issue_stage_i.wt_valid_i[1] \|=> issue_stage_i.we_gpr_i[0]
unclassified	assert	cex	issue_stage_i.wt_valid_i[2] \|=> issue_stage_i.commit_ack_i[0]
unclassified	assert	cex	issue_stage_i.wt_valid_i[2] \|=> issue_stage_i.commit_instr_o[0].use_imm
unclassified	assert	cex	issue_stage_i.wt_valid_i[2] \|=> issue_stage_i.commit_instr_o[0].valid
unclassified	assert	cex	issue_stage_i.wt_valid_i[2] \|=> issue_stage_i.i_issue_read_operands.we_gpr_i[0]
unclassified	assert	cex	issue_stage_i.wt_valid_i[2] \|=> issue_stage_i.i_issue_read_operands.we_pack[0]
unclassified	assert	cex	issue_stage_i.wt_valid_i[2] \|=> issue_stage_i.i_scoreboard.commit_ack_i[0]
unclassified	assert	cex	issue_stage_i.wt_valid_i[2] \|=> issue_stage_i.i_scoreboard.commit_instr_o[0].use_imm
unclassified	assert	cex	issue_stage_i.wt_valid_i[2] \|=> issue_stage_i.i_scoreboard.commit_instr_o[0].valid
unclassified	assert	cex	issue_stage_i.wt_valid_i[2] \|=> issue_stage_i.i_scoreboard.i_popcount.data_i[0]
unclassified	assert	cex	issue_stage_i.wt_valid_i[2] \|=> issue_stage_i.i_scoreboard.i_popcount.padded_input[0]
unclassified	assert	cex	issue_stage_i.wt_valid_i[2] \|=> issue_stage_i.i_scoreboard.i_popcount.right_child_result
unclassified	assert	cex	issue_stage_i.wt_valid_i[2] \|=> issue_stage_i.we_gpr_i[0]
unclassified	assert	cex	issue_stage_i.alu_valid_o \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.alu_valid_o \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.branch_valid_o \|=> issue_stage_i.commit_ack_i[0]
unclassified	assert	cex	issue_stage_i.branch_valid_o \|=> issue_stage_i.commit_instr_o[0].valid
unclassified	assert	cex	issue_stage_i.branch_valid_o \|=> issue_stage_i.i_issue_read_operands.we_gpr_i[0]
unclassified	assert	cex	issue_stage_i.branch_valid_o \|=> issue_stage_i.i_issue_read_operands.we_pack[0]
unclassified	assert	cex	issue_stage_i.branch_valid_o \|=> issue_stage_i.i_scoreboard.commit_ack_i[0]
unclassified	assert	cex	issue_stage_i.branch_valid_o \|=> issue_stage_i.i_scoreboard.commit_instr_o[0].valid
unclassified	assert	cex	issue_stage_i.branch_valid_o \|=> issue_stage_i.i_scoreboard.i_popcount.data_i[0]
unclassified	assert	cex	issue_stage_i.branch_valid_o \|=> issue_stage_i.i_scoreboard.i_popcount.padded_input[0]
unclassified	assert	cex	issue_stage_i.branch_valid_o \|=> issue_stage_i.i_scoreboard.i_popcount.popcount_o[0]
unclassified	assert	cex	issue_stage_i.branch_valid_o \|=> issue_stage_i.i_scoreboard.i_popcount.right_child_result
unclassified	assert	cex	issue_stage_i.branch_valid_o \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.branch_valid_o \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.branch_valid_o \|=> issue_stage_i.i_scoreboard.num_commit[0]
unclassified	assert	cex	issue_stage_i.branch_valid_o \|=> issue_stage_i.we_gpr_i[0]
unclassified	assert	cex	issue_stage_i.commit_ack_i[1] \|=> issue_stage_i.commit_instr_o[1].use_imm
unclassified	assert	cex	issue_stage_i.commit_ack_i[1] \|=> issue_stage_i.i_scoreboard.commit_instr_o[1].use_imm
unclassified	assert	cex	issue_stage_i.commit_instr_o[0].ex.valid \|=> issue_stage_i.decoded_instr_i.ex.valid
unclassified	assert	cex	issue_stage_i.commit_instr_o[0].ex.valid \|=> issue_stage_i.decoded_instr_i.valid
unclassified	assert	cex	issue_stage_i.commit_instr_o[0].ex.valid \|=> issue_stage_i.i_issue_read_operands.issue_instr_i.ex.valid
unclassified	assert	cex	issue_stage_i.commit_instr_o[0].ex.valid \|=> issue_stage_i.i_issue_read_operands.issue_instr_i.valid
unclassified	assert	cex	issue_stage_i.commit_instr_o[0].ex.valid \|=> issue_stage_i.i_re_name.issue_instr_i.ex.valid
unclassified	assert	cex	issue_stage_i.commit_instr_o[0].ex.valid \|=> issue_stage_i.i_re_name.issue_instr_i.valid
unclassified	assert	cex	issue_stage_i.commit_instr_o[0].ex.valid \|=> issue_stage_i.i_re_name.issue_instr_o.ex.valid
unclassified	assert	cex	issue_stage_i.commit_instr_o[0].ex.valid \|=> issue_stage_i.i_re_name.issue_instr_o.valid
unclassified	assert	cex	issue_stage_i.commit_instr_o[0].ex.valid \|=> issue_stage_i.i_scoreboard.decoded_instr_i.ex.valid
unclassified	assert	cex	issue_stage_i.commit_instr_o[0].ex.valid \|=> issue_stage_i.i_scoreboard.decoded_instr_i.valid
unclassified	assert	cex	issue_stage_i.commit_instr_o[0].ex.valid \|=> issue_stage_i.i_scoreboard.issue_instr_o.ex.valid
unclassified	assert	cex	issue_stage_i.commit_instr_o[0].ex.valid \|=> issue_stage_i.i_scoreboard.issue_instr_o.valid
unclassified	assert	cex	issue_stage_i.commit_instr_o[0].ex.valid \|=> issue_stage_i.issue_instr_rename_sb.ex.valid
unclassified	assert	cex	issue_stage_i.commit_instr_o[0].ex.valid \|=> issue_stage_i.issue_instr_rename_sb.valid
unclassified	assert	cex	issue_stage_i.commit_instr_o[0].ex.valid \|=> issue_stage_i.issue_instr_sb_iro.ex.valid
unclassified	assert	cex	issue_stage_i.commit_instr_o[0].ex.valid \|=> issue_stage_i.issue_instr_sb_iro.valid
unclassified	assert	cex	issue_stage_i.commit_instr_o[0].is_compressed \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.commit_instr_o[0].is_compressed \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.commit_instr_o[0].use_pc \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.commit_instr_o[0].use_pc \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.commit_instr_o[1].is_compressed \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.commit_instr_o[1].is_compressed \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.commit_instr_o[1].use_pc \|=> issue_stage_i.commit_instr_o[0].use_imm
unclassified	assert	cex	issue_stage_i.commit_instr_o[1].use_pc \|=> issue_stage_i.commit_instr_o[1].use_imm
unclassified	assert	cex	issue_stage_i.commit_instr_o[1].use_pc \|=> issue_stage_i.i_scoreboard.commit_instr_o[0].use_imm
unclassified	assert	cex	issue_stage_i.commit_instr_o[1].use_pc \|=> issue_stage_i.i_scoreboard.commit_instr_o[1].use_imm
unclassified	assert	cex	issue_stage_i.commit_instr_o[1].use_pc \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.commit_instr_o[1].use_pc \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.commit_instr_o[1].valid \|=> issue_stage_i.commit_instr_o[1].use_imm
unclassified	assert	cex	issue_stage_i.commit_instr_o[1].valid \|=> issue_stage_i.i_scoreboard.commit_instr_o[1].use_imm
unclassified	assert	cex	issue_stage_i.csr_valid_o \|=> issue_stage_i.commit_ack_i[0]
unclassified	assert	cex	issue_stage_i.csr_valid_o \|=> issue_stage_i.i_scoreboard.commit_ack_i[0]
unclassified	assert	cex	issue_stage_i.csr_valid_o \|=> issue_stage_i.i_scoreboard.i_popcount.data_i[0]
unclassified	assert	cex	issue_stage_i.csr_valid_o \|=> issue_stage_i.i_scoreboard.i_popcount.padded_input[0]
unclassified	assert	cex	issue_stage_i.csr_valid_o \|=> issue_stage_i.i_scoreboard.i_popcount.popcount_o[0]
unclassified	assert	cex	issue_stage_i.csr_valid_o \|=> issue_stage_i.i_scoreboard.i_popcount.right_child_result
unclassified	assert	cex	issue_stage_i.csr_valid_o \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.csr_valid_o \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.csr_valid_o \|=> issue_stage_i.i_scoreboard.num_commit[0]
unclassified	assert	cex	issue_stage_i.decoded_instr_i.is_compressed \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.decoded_instr_i.is_compressed \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.decoded_instr_i.use_imm \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.decoded_instr_i.use_pc \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.decoded_instr_i.use_pc \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.alu_valid_o \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.alu_valid_o \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.alu_valid_q \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.alu_valid_q \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.branch_valid_o \|=> issue_stage_i.commit_ack_i[0]
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.branch_valid_o \|=> issue_stage_i.commit_instr_o[0].valid
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.branch_valid_o \|=> issue_stage_i.i_issue_read_operands.we_gpr_i[0]
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.branch_valid_o \|=> issue_stage_i.i_issue_read_operands.we_pack[0]
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.branch_valid_o \|=> issue_stage_i.i_scoreboard.commit_ack_i[0]
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.branch_valid_o \|=> issue_stage_i.i_scoreboard.commit_instr_o[0].valid
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.branch_valid_o \|=> issue_stage_i.i_scoreboard.i_popcount.data_i[0]
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.branch_valid_o \|=> issue_stage_i.i_scoreboard.i_popcount.padded_input[0]
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.branch_valid_o \|=> issue_stage_i.i_scoreboard.i_popcount.popcount_o[0]
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.branch_valid_o \|=> issue_stage_i.i_scoreboard.i_popcount.right_child_result
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.branch_valid_o \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.branch_valid_o \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.branch_valid_o \|=> issue_stage_i.i_scoreboard.num_commit[0]
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.branch_valid_o \|=> issue_stage_i.we_gpr_i[0]
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.branch_valid_q \|=> issue_stage_i.commit_ack_i[0]
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.branch_valid_q \|=> issue_stage_i.commit_instr_o[0].valid
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.branch_valid_q \|=> issue_stage_i.i_issue_read_operands.we_gpr_i[0]
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.branch_valid_q \|=> issue_stage_i.i_issue_read_operands.we_pack[0]
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.branch_valid_q \|=> issue_stage_i.i_scoreboard.commit_ack_i[0]
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.branch_valid_q \|=> issue_stage_i.i_scoreboard.commit_instr_o[0].valid
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.branch_valid_q \|=> issue_stage_i.i_scoreboard.i_popcount.data_i[0]
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.branch_valid_q \|=> issue_stage_i.i_scoreboard.i_popcount.padded_input[0]
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.branch_valid_q \|=> issue_stage_i.i_scoreboard.i_popcount.popcount_o[0]
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.branch_valid_q \|=> issue_stage_i.i_scoreboard.i_popcount.right_child_result
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.branch_valid_q \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.branch_valid_q \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.branch_valid_q \|=> issue_stage_i.i_scoreboard.num_commit[0]
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.branch_valid_q \|=> issue_stage_i.we_gpr_i[0]
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.csr_valid_o \|=> issue_stage_i.commit_ack_i[0]
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.csr_valid_o \|=> issue_stage_i.i_scoreboard.commit_ack_i[0]
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.csr_valid_o \|=> issue_stage_i.i_scoreboard.i_popcount.data_i[0]
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.csr_valid_o \|=> issue_stage_i.i_scoreboard.i_popcount.padded_input[0]
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.csr_valid_o \|=> issue_stage_i.i_scoreboard.i_popcount.popcount_o[0]
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.csr_valid_o \|=> issue_stage_i.i_scoreboard.i_popcount.right_child_result
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.csr_valid_o \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.csr_valid_o \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.csr_valid_o \|=> issue_stage_i.i_scoreboard.num_commit[0]
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.csr_valid_q \|=> issue_stage_i.commit_ack_i[0]
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.csr_valid_q \|=> issue_stage_i.i_scoreboard.commit_ack_i[0]
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.csr_valid_q \|=> issue_stage_i.i_scoreboard.i_popcount.data_i[0]
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.csr_valid_q \|=> issue_stage_i.i_scoreboard.i_popcount.padded_input[0]
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.csr_valid_q \|=> issue_stage_i.i_scoreboard.i_popcount.popcount_o[0]
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.csr_valid_q \|=> issue_stage_i.i_scoreboard.i_popcount.right_child_result
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.csr_valid_q \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.csr_valid_q \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.csr_valid_q \|=> issue_stage_i.i_scoreboard.num_commit[0]
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.is_compressed_instr_o \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.is_compressed_instr_o \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.issue_instr_i.is_compressed \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.issue_instr_i.is_compressed \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.issue_instr_i.use_imm \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.issue_instr_i.use_pc \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.issue_instr_i.use_pc \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.lsu_valid_o \|=> issue_stage_i.commit_instr_o[0].use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.lsu_valid_o \|=> issue_stage_i.decoded_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.lsu_valid_o \|=> issue_stage_i.flu_ready_i
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.lsu_valid_o \|=> issue_stage_i.i_issue_read_operands.flu_ready_i
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.lsu_valid_o \|=> issue_stage_i.i_issue_read_operands.issue_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.lsu_valid_o \|=> issue_stage_i.i_re_name.issue_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.lsu_valid_o \|=> issue_stage_i.i_re_name.issue_instr_o.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.lsu_valid_o \|=> issue_stage_i.i_scoreboard.commit_instr_o[0].use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.lsu_valid_o \|=> issue_stage_i.i_scoreboard.decoded_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.lsu_valid_o \|=> issue_stage_i.i_scoreboard.issue_instr_o.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.lsu_valid_o \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.lsu_valid_o \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.lsu_valid_o \|=> issue_stage_i.issue_instr_rename_sb.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.lsu_valid_o \|=> issue_stage_i.issue_instr_sb_iro.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.lsu_valid_q \|=> issue_stage_i.commit_instr_o[0].use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.lsu_valid_q \|=> issue_stage_i.decoded_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.lsu_valid_q \|=> issue_stage_i.flu_ready_i
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.lsu_valid_q \|=> issue_stage_i.i_issue_read_operands.flu_ready_i
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.lsu_valid_q \|=> issue_stage_i.i_issue_read_operands.issue_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.lsu_valid_q \|=> issue_stage_i.i_re_name.issue_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.lsu_valid_q \|=> issue_stage_i.i_re_name.issue_instr_o.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.lsu_valid_q \|=> issue_stage_i.i_scoreboard.commit_instr_o[0].use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.lsu_valid_q \|=> issue_stage_i.i_scoreboard.decoded_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.lsu_valid_q \|=> issue_stage_i.i_scoreboard.issue_instr_o.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.lsu_valid_q \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.lsu_valid_q \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.lsu_valid_q \|=> issue_stage_i.issue_instr_rename_sb.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.lsu_valid_q \|=> issue_stage_i.issue_instr_sb_iro.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.stall \|=> issue_stage_i.commit_instr_o[0].use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.stall \|=> issue_stage_i.commit_instr_o[1].use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.stall \|=> issue_stage_i.decoded_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.stall \|=> issue_stage_i.flu_ready_i
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.stall \|=> issue_stage_i.i_issue_read_operands.flu_ready_i
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.stall \|=> issue_stage_i.i_issue_read_operands.issue_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.stall \|=> issue_stage_i.i_re_name.issue_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.stall \|=> issue_stage_i.i_re_name.issue_instr_o.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.stall \|=> issue_stage_i.i_scoreboard.commit_instr_o[0].use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.stall \|=> issue_stage_i.i_scoreboard.commit_instr_o[1].use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.stall \|=> issue_stage_i.i_scoreboard.decoded_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.stall \|=> issue_stage_i.i_scoreboard.issue_instr_o.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.stall \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.stall \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.stall \|=> issue_stage_i.issue_instr_rename_sb.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.stall \|=> issue_stage_i.issue_instr_sb_iro.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.we_gpr_i[1] \|=> issue_stage_i.commit_instr_o[1].use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.we_gpr_i[1] \|=> issue_stage_i.i_scoreboard.commit_instr_o[1].use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.we_pack[1] \|=> issue_stage_i.commit_instr_o[1].use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.we_pack[1] \|=> issue_stage_i.i_scoreboard.commit_instr_o[1].use_imm
unclassified	assert	cex	issue_stage_i.i_re_name.issue_instr_i.is_compressed \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_re_name.issue_instr_i.is_compressed \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_re_name.issue_instr_i.use_imm \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_re_name.issue_instr_i.use_pc \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_re_name.issue_instr_i.use_pc \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_re_name.issue_instr_o.is_compressed \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_re_name.issue_instr_o.is_compressed \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_re_name.issue_instr_o.use_imm \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_re_name.issue_instr_o.use_pc \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_re_name.issue_instr_o.use_pc \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.commit_ack_i[1] \|=> issue_stage_i.commit_instr_o[1].use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.commit_ack_i[1] \|=> issue_stage_i.i_scoreboard.commit_instr_o[1].use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.commit_instr_o[0].ex.valid \|=> issue_stage_i.decoded_instr_i.ex.valid
unclassified	assert	cex	issue_stage_i.i_scoreboard.commit_instr_o[0].ex.valid \|=> issue_stage_i.decoded_instr_i.valid
unclassified	assert	cex	issue_stage_i.i_scoreboard.commit_instr_o[0].ex.valid \|=> issue_stage_i.i_issue_read_operands.issue_instr_i.ex.valid
unclassified	assert	cex	issue_stage_i.i_scoreboard.commit_instr_o[0].ex.valid \|=> issue_stage_i.i_issue_read_operands.issue_instr_i.valid
unclassified	assert	cex	issue_stage_i.i_scoreboard.commit_instr_o[0].ex.valid \|=> issue_stage_i.i_re_name.issue_instr_i.ex.valid
unclassified	assert	cex	issue_stage_i.i_scoreboard.commit_instr_o[0].ex.valid \|=> issue_stage_i.i_re_name.issue_instr_i.valid
unclassified	assert	cex	issue_stage_i.i_scoreboard.commit_instr_o[0].ex.valid \|=> issue_stage_i.i_re_name.issue_instr_o.ex.valid
unclassified	assert	cex	issue_stage_i.i_scoreboard.commit_instr_o[0].ex.valid \|=> issue_stage_i.i_re_name.issue_instr_o.valid
unclassified	assert	cex	issue_stage_i.i_scoreboard.commit_instr_o[0].ex.valid \|=> issue_stage_i.i_scoreboard.decoded_instr_i.ex.valid
unclassified	assert	cex	issue_stage_i.i_scoreboard.commit_instr_o[0].ex.valid \|=> issue_stage_i.i_scoreboard.decoded_instr_i.valid
unclassified	assert	cex	issue_stage_i.i_scoreboard.commit_instr_o[0].ex.valid \|=> issue_stage_i.i_scoreboard.issue_instr_o.ex.valid
unclassified	assert	cex	issue_stage_i.i_scoreboard.commit_instr_o[0].ex.valid \|=> issue_stage_i.i_scoreboard.issue_instr_o.valid
unclassified	assert	cex	issue_stage_i.i_scoreboard.commit_instr_o[0].ex.valid \|=> issue_stage_i.issue_instr_rename_sb.ex.valid
unclassified	assert	cex	issue_stage_i.i_scoreboard.commit_instr_o[0].ex.valid \|=> issue_stage_i.issue_instr_rename_sb.valid
unclassified	assert	cex	issue_stage_i.i_scoreboard.commit_instr_o[0].ex.valid \|=> issue_stage_i.issue_instr_sb_iro.ex.valid
unclassified	assert	cex	issue_stage_i.i_scoreboard.commit_instr_o[0].ex.valid \|=> issue_stage_i.issue_instr_sb_iro.valid
unclassified	assert	cex	issue_stage_i.i_scoreboard.commit_instr_o[0].is_compressed \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.commit_instr_o[0].is_compressed \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.commit_instr_o[0].use_pc \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.commit_instr_o[0].use_pc \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.commit_instr_o[1].is_compressed \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.commit_instr_o[1].is_compressed \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.commit_instr_o[1].use_pc \|=> issue_stage_i.commit_instr_o[0].use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.commit_instr_o[1].use_pc \|=> issue_stage_i.commit_instr_o[1].use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.commit_instr_o[1].use_pc \|=> issue_stage_i.i_scoreboard.commit_instr_o[0].use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.commit_instr_o[1].use_pc \|=> issue_stage_i.i_scoreboard.commit_instr_o[1].use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.commit_instr_o[1].use_pc \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.commit_instr_o[1].use_pc \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.commit_instr_o[1].valid \|=> issue_stage_i.commit_instr_o[1].use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.commit_instr_o[1].valid \|=> issue_stage_i.i_scoreboard.commit_instr_o[1].use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.decoded_instr_i.is_compressed \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.decoded_instr_i.is_compressed \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.decoded_instr_i.use_imm \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.decoded_instr_i.use_pc \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.decoded_instr_i.use_pc \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.i_popcount.data_i[1] \|=> issue_stage_i.commit_instr_o[1].use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.i_popcount.data_i[1] \|=> issue_stage_i.i_scoreboard.commit_instr_o[1].use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.i_popcount.left_child_result \|=> issue_stage_i.commit_instr_o[1].use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.i_popcount.left_child_result \|=> issue_stage_i.i_scoreboard.commit_instr_o[1].use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.i_popcount.padded_input[1] \|=> issue_stage_i.commit_instr_o[1].use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.i_popcount.padded_input[1] \|=> issue_stage_i.i_scoreboard.commit_instr_o[1].use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.i_popcount.popcount_o[0] \|=> issue_stage_i.flu_ready_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.i_popcount.popcount_o[0] \|=> issue_stage_i.i_issue_read_operands.flu_ready_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.i_popcount.popcount_o[0] \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.i_popcount.popcount_o[0] \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.i_popcount.popcount_o[1] \|=> issue_stage_i.commit_instr_o[1].use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.i_popcount.popcount_o[1] \|=> issue_stage_i.i_scoreboard.commit_instr_o[1].use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_instr_o.is_compressed \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_instr_o.is_compressed \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_instr_o.use_imm \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_instr_o.use_pc \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_instr_o.use_pc \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_n[0].sbe.ex.valid \|=> issue_stage_i.commit_instr_o[0].ex.valid
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_n[0].sbe.ex.valid \|=> issue_stage_i.commit_instr_o[0].valid
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_n[0].sbe.ex.valid \|=> issue_stage_i.flush_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_n[0].sbe.ex.valid \|=> issue_stage_i.flush_unissued_instr_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_n[0].sbe.ex.valid \|=> issue_stage_i.i_issue_read_operands.flush_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_n[0].sbe.ex.valid \|=> issue_stage_i.i_re_name.flush_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_n[0].sbe.ex.valid \|=> issue_stage_i.i_re_name.flush_unissied_instr_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_n[0].sbe.ex.valid \|=> issue_stage_i.i_scoreboard.commit_instr_o[0].ex.valid
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_n[0].sbe.ex.valid \|=> issue_stage_i.i_scoreboard.commit_instr_o[0].valid
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_n[0].sbe.ex.valid \|=> issue_stage_i.i_scoreboard.flush_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_n[0].sbe.ex.valid \|=> issue_stage_i.i_scoreboard.flush_unissued_instr_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_n[0].sbe.is_compressed \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_n[0].sbe.is_compressed \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_n[0].sbe.valid \|=> issue_stage_i.commit_instr_o[0].valid
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_n[0].sbe.valid \|=> issue_stage_i.i_scoreboard.commit_instr_o[0].valid
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_q[0].issued \|=> issue_stage_i.flu_ready_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_q[0].issued \|=> issue_stage_i.i_issue_read_operands.flu_ready_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_q[0].sbe.ex.valid \|=> issue_stage_i.flu_ready_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_q[0].sbe.ex.valid \|=> issue_stage_i.i_issue_read_operands.flu_ready_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_q[0].sbe.is_compressed \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_q[0].sbe.is_compressed \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_q[0].sbe.valid \|=> issue_stage_i.flu_ready_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_q[0].sbe.valid \|=> issue_stage_i.i_issue_read_operands.flu_ready_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.num_commit[0] \|=> issue_stage_i.flu_ready_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.num_commit[0] \|=> issue_stage_i.i_issue_read_operands.flu_ready_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.num_commit[0] \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.num_commit[0] \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.num_commit[1] \|=> issue_stage_i.commit_instr_o[1].use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.num_commit[1] \|=> issue_stage_i.i_scoreboard.commit_instr_o[1].use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.resolved_branch_i.is_mispredict \|=> issue_stage_i.commit_ack_i[0]
unclassified	assert	cex	issue_stage_i.i_scoreboard.resolved_branch_i.is_mispredict \|=> issue_stage_i.commit_instr_o[0].valid
unclassified	assert	cex	issue_stage_i.i_scoreboard.resolved_branch_i.is_mispredict \|=> issue_stage_i.i_issue_read_operands.we_gpr_i[0]
unclassified	assert	cex	issue_stage_i.i_scoreboard.resolved_branch_i.is_mispredict \|=> issue_stage_i.i_issue_read_operands.we_pack[0]
unclassified	assert	cex	issue_stage_i.i_scoreboard.resolved_branch_i.is_mispredict \|=> issue_stage_i.i_scoreboard.commit_ack_i[0]
unclassified	assert	cex	issue_stage_i.i_scoreboard.resolved_branch_i.is_mispredict \|=> issue_stage_i.i_scoreboard.commit_instr_o[0].valid
unclassified	assert	cex	issue_stage_i.i_scoreboard.resolved_branch_i.is_mispredict \|=> issue_stage_i.i_scoreboard.i_popcount.data_i[0]
unclassified	assert	cex	issue_stage_i.i_scoreboard.resolved_branch_i.is_mispredict \|=> issue_stage_i.i_scoreboard.i_popcount.padded_input[0]
unclassified	assert	cex	issue_stage_i.i_scoreboard.resolved_branch_i.is_mispredict \|=> issue_stage_i.i_scoreboard.i_popcount.popcount_o[0]
unclassified	assert	cex	issue_stage_i.i_scoreboard.resolved_branch_i.is_mispredict \|=> issue_stage_i.i_scoreboard.i_popcount.right_child_result
unclassified	assert	cex	issue_stage_i.i_scoreboard.resolved_branch_i.is_mispredict \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.resolved_branch_i.is_mispredict \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.resolved_branch_i.is_mispredict \|=> issue_stage_i.i_scoreboard.num_commit[0]
unclassified	assert	cex	issue_stage_i.i_scoreboard.resolved_branch_i.is_mispredict \|=> issue_stage_i.we_gpr_i[0]
unclassified	assert	cex	issue_stage_i.i_scoreboard.resolved_branch_i.is_taken \|=> issue_stage_i.commit_ack_i[0]
unclassified	assert	cex	issue_stage_i.i_scoreboard.resolved_branch_i.is_taken \|=> issue_stage_i.commit_instr_o[0].valid
unclassified	assert	cex	issue_stage_i.i_scoreboard.resolved_branch_i.is_taken \|=> issue_stage_i.i_issue_read_operands.we_gpr_i[0]
unclassified	assert	cex	issue_stage_i.i_scoreboard.resolved_branch_i.is_taken \|=> issue_stage_i.i_issue_read_operands.we_pack[0]
unclassified	assert	cex	issue_stage_i.i_scoreboard.resolved_branch_i.is_taken \|=> issue_stage_i.i_scoreboard.commit_ack_i[0]
unclassified	assert	cex	issue_stage_i.i_scoreboard.resolved_branch_i.is_taken \|=> issue_stage_i.i_scoreboard.commit_instr_o[0].valid
unclassified	assert	cex	issue_stage_i.i_scoreboard.resolved_branch_i.is_taken \|=> issue_stage_i.i_scoreboard.i_popcount.data_i[0]
unclassified	assert	cex	issue_stage_i.i_scoreboard.resolved_branch_i.is_taken \|=> issue_stage_i.i_scoreboard.i_popcount.padded_input[0]
unclassified	assert	cex	issue_stage_i.i_scoreboard.resolved_branch_i.is_taken \|=> issue_stage_i.i_scoreboard.i_popcount.popcount_o[0]
unclassified	assert	cex	issue_stage_i.i_scoreboard.resolved_branch_i.is_taken \|=> issue_stage_i.i_scoreboard.i_popcount.right_child_result
unclassified	assert	cex	issue_stage_i.i_scoreboard.resolved_branch_i.is_taken \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.resolved_branch_i.is_taken \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.resolved_branch_i.is_taken \|=> issue_stage_i.i_scoreboard.num_commit[0]
unclassified	assert	cex	issue_stage_i.i_scoreboard.resolved_branch_i.is_taken \|=> issue_stage_i.we_gpr_i[0]
unclassified	assert	cex	issue_stage_i.i_scoreboard.resolved_branch_i.valid \|=> issue_stage_i.commit_ack_i[0]
unclassified	assert	cex	issue_stage_i.i_scoreboard.resolved_branch_i.valid \|=> issue_stage_i.commit_instr_o[0].valid
unclassified	assert	cex	issue_stage_i.i_scoreboard.resolved_branch_i.valid \|=> issue_stage_i.i_issue_read_operands.we_gpr_i[0]
unclassified	assert	cex	issue_stage_i.i_scoreboard.resolved_branch_i.valid \|=> issue_stage_i.i_issue_read_operands.we_pack[0]
unclassified	assert	cex	issue_stage_i.i_scoreboard.resolved_branch_i.valid \|=> issue_stage_i.i_scoreboard.commit_ack_i[0]
unclassified	assert	cex	issue_stage_i.i_scoreboard.resolved_branch_i.valid \|=> issue_stage_i.i_scoreboard.commit_instr_o[0].valid
unclassified	assert	cex	issue_stage_i.i_scoreboard.resolved_branch_i.valid \|=> issue_stage_i.i_scoreboard.i_popcount.data_i[0]
unclassified	assert	cex	issue_stage_i.i_scoreboard.resolved_branch_i.valid \|=> issue_stage_i.i_scoreboard.i_popcount.padded_input[0]
unclassified	assert	cex	issue_stage_i.i_scoreboard.resolved_branch_i.valid \|=> issue_stage_i.i_scoreboard.i_popcount.popcount_o[0]
unclassified	assert	cex	issue_stage_i.i_scoreboard.resolved_branch_i.valid \|=> issue_stage_i.i_scoreboard.i_popcount.right_child_result
unclassified	assert	cex	issue_stage_i.i_scoreboard.resolved_branch_i.valid \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.resolved_branch_i.valid \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.resolved_branch_i.valid \|=> issue_stage_i.i_scoreboard.num_commit[0]
unclassified	assert	cex	issue_stage_i.i_scoreboard.resolved_branch_i.valid \|=> issue_stage_i.we_gpr_i[0]
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[1] \|=> issue_stage_i.commit_ack_i[0]
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[1] \|=> issue_stage_i.commit_instr_o[0].use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[1] \|=> issue_stage_i.decoded_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[1] \|=> issue_stage_i.flu_ready_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[1] \|=> issue_stage_i.i_issue_read_operands.flu_ready_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[1] \|=> issue_stage_i.i_issue_read_operands.issue_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[1] \|=> issue_stage_i.i_re_name.issue_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[1] \|=> issue_stage_i.i_re_name.issue_instr_o.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[1] \|=> issue_stage_i.i_scoreboard.commit_ack_i[0]
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[1] \|=> issue_stage_i.i_scoreboard.commit_instr_o[0].use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[1] \|=> issue_stage_i.i_scoreboard.decoded_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[1] \|=> issue_stage_i.i_scoreboard.i_popcount.data_i[0]
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[1] \|=> issue_stage_i.i_scoreboard.i_popcount.padded_input[0]
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[1] \|=> issue_stage_i.i_scoreboard.i_popcount.popcount_o[0]
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[1] \|=> issue_stage_i.i_scoreboard.i_popcount.right_child_result
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[1] \|=> issue_stage_i.i_scoreboard.issue_instr_o.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[1] \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[1] \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[1] \|=> issue_stage_i.i_scoreboard.num_commit[0]
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[1] \|=> issue_stage_i.issue_instr_rename_sb.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[1] \|=> issue_stage_i.issue_instr_sb_iro.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[2] \|=> issue_stage_i.commit_instr_o[1].use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[2] \|=> issue_stage_i.flu_ready_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[2] \|=> issue_stage_i.i_issue_read_operands.flu_ready_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[2] \|=> issue_stage_i.i_scoreboard.commit_instr_o[1].use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[2] \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[3] \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[3] \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.is_compressed_instr_o \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.is_compressed_instr_o \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.is_ctrl_flow_i \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.is_ctrl_flow_i \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.issue_instr_rename_sb.is_compressed \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.issue_instr_rename_sb.is_compressed \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.issue_instr_rename_sb.use_imm \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.issue_instr_rename_sb.use_pc \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.issue_instr_rename_sb.use_pc \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.issue_instr_sb_iro.is_compressed \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.issue_instr_sb_iro.is_compressed \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.issue_instr_sb_iro.use_imm \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.issue_instr_sb_iro.use_pc \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.issue_instr_sb_iro.use_pc \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.lsu_valid_o \|=> issue_stage_i.commit_instr_o[0].use_imm
unclassified	assert	cex	issue_stage_i.lsu_valid_o \|=> issue_stage_i.decoded_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.lsu_valid_o \|=> issue_stage_i.flu_ready_i
unclassified	assert	cex	issue_stage_i.lsu_valid_o \|=> issue_stage_i.i_issue_read_operands.flu_ready_i
unclassified	assert	cex	issue_stage_i.lsu_valid_o \|=> issue_stage_i.i_issue_read_operands.issue_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.lsu_valid_o \|=> issue_stage_i.i_re_name.issue_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.lsu_valid_o \|=> issue_stage_i.i_re_name.issue_instr_o.use_imm
unclassified	assert	cex	issue_stage_i.lsu_valid_o \|=> issue_stage_i.i_scoreboard.commit_instr_o[0].use_imm
unclassified	assert	cex	issue_stage_i.lsu_valid_o \|=> issue_stage_i.i_scoreboard.decoded_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.lsu_valid_o \|=> issue_stage_i.i_scoreboard.issue_instr_o.use_imm
unclassified	assert	cex	issue_stage_i.lsu_valid_o \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.lsu_valid_o \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.lsu_valid_o \|=> issue_stage_i.issue_instr_rename_sb.use_imm
unclassified	assert	cex	issue_stage_i.lsu_valid_o \|=> issue_stage_i.issue_instr_sb_iro.use_imm
unclassified	assert	cex	issue_stage_i.resolve_branch_i \|=> issue_stage_i.commit_ack_i[0]
unclassified	assert	cex	issue_stage_i.resolve_branch_i \|=> issue_stage_i.commit_instr_o[0].valid
unclassified	assert	cex	issue_stage_i.resolve_branch_i \|=> issue_stage_i.i_issue_read_operands.we_gpr_i[0]
unclassified	assert	cex	issue_stage_i.resolve_branch_i \|=> issue_stage_i.i_issue_read_operands.we_pack[0]
unclassified	assert	cex	issue_stage_i.resolve_branch_i \|=> issue_stage_i.i_scoreboard.commit_ack_i[0]
unclassified	assert	cex	issue_stage_i.resolve_branch_i \|=> issue_stage_i.i_scoreboard.commit_instr_o[0].valid
unclassified	assert	cex	issue_stage_i.resolve_branch_i \|=> issue_stage_i.i_scoreboard.i_popcount.data_i[0]
unclassified	assert	cex	issue_stage_i.resolve_branch_i \|=> issue_stage_i.i_scoreboard.i_popcount.padded_input[0]
unclassified	assert	cex	issue_stage_i.resolve_branch_i \|=> issue_stage_i.i_scoreboard.i_popcount.popcount_o[0]
unclassified	assert	cex	issue_stage_i.resolve_branch_i \|=> issue_stage_i.i_scoreboard.i_popcount.right_child_result
unclassified	assert	cex	issue_stage_i.resolve_branch_i \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.resolve_branch_i \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.resolve_branch_i \|=> issue_stage_i.i_scoreboard.num_commit[0]
unclassified	assert	cex	issue_stage_i.resolve_branch_i \|=> issue_stage_i.we_gpr_i[0]
unclassified	assert	cex	issue_stage_i.resolved_branch_i.is_mispredict \|=> issue_stage_i.commit_ack_i[0]
unclassified	assert	cex	issue_stage_i.resolved_branch_i.is_mispredict \|=> issue_stage_i.commit_instr_o[0].valid
unclassified	assert	cex	issue_stage_i.resolved_branch_i.is_mispredict \|=> issue_stage_i.i_issue_read_operands.we_gpr_i[0]
unclassified	assert	cex	issue_stage_i.resolved_branch_i.is_mispredict \|=> issue_stage_i.i_issue_read_operands.we_pack[0]
unclassified	assert	cex	issue_stage_i.resolved_branch_i.is_mispredict \|=> issue_stage_i.i_scoreboard.commit_ack_i[0]
unclassified	assert	cex	issue_stage_i.resolved_branch_i.is_mispredict \|=> issue_stage_i.i_scoreboard.commit_instr_o[0].valid
unclassified	assert	cex	issue_stage_i.resolved_branch_i.is_mispredict \|=> issue_stage_i.i_scoreboard.i_popcount.data_i[0]
unclassified	assert	cex	issue_stage_i.resolved_branch_i.is_mispredict \|=> issue_stage_i.i_scoreboard.i_popcount.padded_input[0]
unclassified	assert	cex	issue_stage_i.resolved_branch_i.is_mispredict \|=> issue_stage_i.i_scoreboard.i_popcount.popcount_o[0]
unclassified	assert	cex	issue_stage_i.resolved_branch_i.is_mispredict \|=> issue_stage_i.i_scoreboard.i_popcount.right_child_result
unclassified	assert	cex	issue_stage_i.resolved_branch_i.is_mispredict \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.resolved_branch_i.is_mispredict \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.resolved_branch_i.is_mispredict \|=> issue_stage_i.i_scoreboard.num_commit[0]
unclassified	assert	cex	issue_stage_i.resolved_branch_i.is_mispredict \|=> issue_stage_i.we_gpr_i[0]
unclassified	assert	cex	issue_stage_i.resolved_branch_i.is_taken \|=> issue_stage_i.commit_ack_i[0]
unclassified	assert	cex	issue_stage_i.resolved_branch_i.is_taken \|=> issue_stage_i.commit_instr_o[0].valid
unclassified	assert	cex	issue_stage_i.resolved_branch_i.is_taken \|=> issue_stage_i.i_issue_read_operands.we_gpr_i[0]
unclassified	assert	cex	issue_stage_i.resolved_branch_i.is_taken \|=> issue_stage_i.i_issue_read_operands.we_pack[0]
unclassified	assert	cex	issue_stage_i.resolved_branch_i.is_taken \|=> issue_stage_i.i_scoreboard.commit_ack_i[0]
unclassified	assert	cex	issue_stage_i.resolved_branch_i.is_taken \|=> issue_stage_i.i_scoreboard.commit_instr_o[0].valid
unclassified	assert	cex	issue_stage_i.resolved_branch_i.is_taken \|=> issue_stage_i.i_scoreboard.i_popcount.data_i[0]
unclassified	assert	cex	issue_stage_i.resolved_branch_i.is_taken \|=> issue_stage_i.i_scoreboard.i_popcount.padded_input[0]
unclassified	assert	cex	issue_stage_i.resolved_branch_i.is_taken \|=> issue_stage_i.i_scoreboard.i_popcount.popcount_o[0]
unclassified	assert	cex	issue_stage_i.resolved_branch_i.is_taken \|=> issue_stage_i.i_scoreboard.i_popcount.right_child_result
unclassified	assert	cex	issue_stage_i.resolved_branch_i.is_taken \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.resolved_branch_i.is_taken \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.resolved_branch_i.is_taken \|=> issue_stage_i.i_scoreboard.num_commit[0]
unclassified	assert	cex	issue_stage_i.resolved_branch_i.is_taken \|=> issue_stage_i.we_gpr_i[0]
unclassified	assert	cex	issue_stage_i.resolved_branch_i.valid \|=> issue_stage_i.commit_ack_i[0]
unclassified	assert	cex	issue_stage_i.resolved_branch_i.valid \|=> issue_stage_i.commit_instr_o[0].valid
unclassified	assert	cex	issue_stage_i.resolved_branch_i.valid \|=> issue_stage_i.i_issue_read_operands.we_gpr_i[0]
unclassified	assert	cex	issue_stage_i.resolved_branch_i.valid \|=> issue_stage_i.i_issue_read_operands.we_pack[0]
unclassified	assert	cex	issue_stage_i.resolved_branch_i.valid \|=> issue_stage_i.i_scoreboard.commit_ack_i[0]
unclassified	assert	cex	issue_stage_i.resolved_branch_i.valid \|=> issue_stage_i.i_scoreboard.commit_instr_o[0].valid
unclassified	assert	cex	issue_stage_i.resolved_branch_i.valid \|=> issue_stage_i.i_scoreboard.i_popcount.data_i[0]
unclassified	assert	cex	issue_stage_i.resolved_branch_i.valid \|=> issue_stage_i.i_scoreboard.i_popcount.padded_input[0]
unclassified	assert	cex	issue_stage_i.resolved_branch_i.valid \|=> issue_stage_i.i_scoreboard.i_popcount.popcount_o[0]
unclassified	assert	cex	issue_stage_i.resolved_branch_i.valid \|=> issue_stage_i.i_scoreboard.i_popcount.right_child_result
unclassified	assert	cex	issue_stage_i.resolved_branch_i.valid \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.resolved_branch_i.valid \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.resolved_branch_i.valid \|=> issue_stage_i.i_scoreboard.num_commit[0]
unclassified	assert	cex	issue_stage_i.resolved_branch_i.valid \|=> issue_stage_i.we_gpr_i[0]
unclassified	assert	cex	issue_stage_i.we_gpr_i[1] \|=> issue_stage_i.commit_instr_o[1].use_imm
unclassified	assert	cex	issue_stage_i.we_gpr_i[1] \|=> issue_stage_i.i_scoreboard.commit_instr_o[1].use_imm
unclassified	assert	cex	issue_stage_i.wt_valid_i[1] \|=> issue_stage_i.commit_ack_i[0]
unclassified	assert	cex	issue_stage_i.wt_valid_i[1] \|=> issue_stage_i.commit_instr_o[0].use_imm
unclassified	assert	cex	issue_stage_i.wt_valid_i[1] \|=> issue_stage_i.decoded_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.wt_valid_i[1] \|=> issue_stage_i.flu_ready_i
unclassified	assert	cex	issue_stage_i.wt_valid_i[1] \|=> issue_stage_i.i_issue_read_operands.flu_ready_i
unclassified	assert	cex	issue_stage_i.wt_valid_i[1] \|=> issue_stage_i.i_issue_read_operands.issue_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.wt_valid_i[1] \|=> issue_stage_i.i_re_name.issue_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.wt_valid_i[1] \|=> issue_stage_i.i_re_name.issue_instr_o.use_imm
unclassified	assert	cex	issue_stage_i.wt_valid_i[1] \|=> issue_stage_i.i_scoreboard.commit_ack_i[0]
unclassified	assert	cex	issue_stage_i.wt_valid_i[1] \|=> issue_stage_i.i_scoreboard.commit_instr_o[0].use_imm
unclassified	assert	cex	issue_stage_i.wt_valid_i[1] \|=> issue_stage_i.i_scoreboard.decoded_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.wt_valid_i[1] \|=> issue_stage_i.i_scoreboard.i_popcount.data_i[0]
unclassified	assert	cex	issue_stage_i.wt_valid_i[1] \|=> issue_stage_i.i_scoreboard.i_popcount.padded_input[0]
unclassified	assert	cex	issue_stage_i.wt_valid_i[1] \|=> issue_stage_i.i_scoreboard.i_popcount.popcount_o[0]
unclassified	assert	cex	issue_stage_i.wt_valid_i[1] \|=> issue_stage_i.i_scoreboard.i_popcount.right_child_result
unclassified	assert	cex	issue_stage_i.wt_valid_i[1] \|=> issue_stage_i.i_scoreboard.issue_instr_o.use_imm
unclassified	assert	cex	issue_stage_i.wt_valid_i[1] \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.wt_valid_i[1] \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.wt_valid_i[1] \|=> issue_stage_i.i_scoreboard.num_commit[0]
unclassified	assert	cex	issue_stage_i.wt_valid_i[1] \|=> issue_stage_i.issue_instr_rename_sb.use_imm
unclassified	assert	cex	issue_stage_i.wt_valid_i[1] \|=> issue_stage_i.issue_instr_sb_iro.use_imm
unclassified	assert	cex	issue_stage_i.wt_valid_i[2] \|=> issue_stage_i.commit_instr_o[1].use_imm
unclassified	assert	cex	issue_stage_i.wt_valid_i[2] \|=> issue_stage_i.flu_ready_i
unclassified	assert	cex	issue_stage_i.wt_valid_i[2] \|=> issue_stage_i.i_issue_read_operands.flu_ready_i
unclassified	assert	cex	issue_stage_i.wt_valid_i[2] \|=> issue_stage_i.i_scoreboard.commit_instr_o[1].use_imm
unclassified	assert	cex	issue_stage_i.wt_valid_i[2] \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.wt_valid_i[3] \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.wt_valid_i[3] \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.alu_valid_o \|=> issue_stage_i.commit_ack_i[0]
unclassified	assert	cex	issue_stage_i.alu_valid_o \|=> issue_stage_i.commit_instr_o[0].valid
unclassified	assert	cex	issue_stage_i.alu_valid_o \|=> issue_stage_i.i_issue_read_operands.we_gpr_i[0]
unclassified	assert	cex	issue_stage_i.alu_valid_o \|=> issue_stage_i.i_issue_read_operands.we_pack[0]
unclassified	assert	cex	issue_stage_i.alu_valid_o \|=> issue_stage_i.i_scoreboard.commit_ack_i[0]
unclassified	assert	cex	issue_stage_i.alu_valid_o \|=> issue_stage_i.i_scoreboard.commit_instr_o[0].valid
unclassified	assert	cex	issue_stage_i.alu_valid_o \|=> issue_stage_i.i_scoreboard.i_popcount.data_i[0]
unclassified	assert	cex	issue_stage_i.alu_valid_o \|=> issue_stage_i.i_scoreboard.i_popcount.padded_input[0]
unclassified	assert	cex	issue_stage_i.alu_valid_o \|=> issue_stage_i.i_scoreboard.i_popcount.popcount_o[0]
unclassified	assert	cex	issue_stage_i.alu_valid_o \|=> issue_stage_i.i_scoreboard.i_popcount.right_child_result
unclassified	assert	cex	issue_stage_i.alu_valid_o \|=> issue_stage_i.i_scoreboard.num_commit[0]
unclassified	assert	cex	issue_stage_i.alu_valid_o \|=> issue_stage_i.we_gpr_i[0]
unclassified	assert	cex	issue_stage_i.commit_ack_i[0] \|=> issue_stage_i.flu_ready_i
unclassified	assert	cex	issue_stage_i.commit_ack_i[0] \|=> issue_stage_i.i_issue_read_operands.flu_ready_i
unclassified	assert	cex	issue_stage_i.commit_ack_i[0] \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.commit_ack_i[0] \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.commit_instr_o[0].ex.valid \|=> issue_stage_i.commit_instr_o[0].use_imm
unclassified	assert	cex	issue_stage_i.commit_instr_o[0].ex.valid \|=> issue_stage_i.commit_instr_o[1].use_imm
unclassified	assert	cex	issue_stage_i.commit_instr_o[0].ex.valid \|=> issue_stage_i.i_scoreboard.commit_instr_o[0].use_imm
unclassified	assert	cex	issue_stage_i.commit_instr_o[0].ex.valid \|=> issue_stage_i.i_scoreboard.commit_instr_o[1].use_imm
unclassified	assert	cex	issue_stage_i.commit_instr_o[0].ex.valid \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.commit_instr_o[0].ex.valid \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.commit_instr_o[0].use_imm \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.commit_instr_o[0].use_imm \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.commit_instr_o[0].valid \|=> issue_stage_i.flu_ready_i
unclassified	assert	cex	issue_stage_i.commit_instr_o[0].valid \|=> issue_stage_i.i_issue_read_operands.flu_ready_i
unclassified	assert	cex	issue_stage_i.commit_instr_o[0].valid \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.commit_instr_o[0].valid \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.commit_instr_o[1].use_imm \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.commit_instr_o[1].use_imm \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.decoded_instr_ack_o \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.decoded_instr_ack_o \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.decoded_instr_i.ex.valid \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.decoded_instr_i.ex.valid \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.decoded_instr_i.use_imm \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.decoded_instr_i.valid \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.decoded_instr_i.valid \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.decoded_instr_valid_i \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.decoded_instr_valid_i \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.flush_i \|=> issue_stage_i.commit_instr_o[0].use_imm
unclassified	assert	cex	issue_stage_i.flush_i \|=> issue_stage_i.commit_instr_o[1].use_imm
unclassified	assert	cex	issue_stage_i.flush_i \|=> issue_stage_i.i_scoreboard.commit_instr_o[0].use_imm
unclassified	assert	cex	issue_stage_i.flush_i \|=> issue_stage_i.i_scoreboard.commit_instr_o[1].use_imm
unclassified	assert	cex	issue_stage_i.flush_i \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.flush_i \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.flush_unissued_instr_i \|=> issue_stage_i.commit_instr_o[0].use_imm
unclassified	assert	cex	issue_stage_i.flush_unissued_instr_i \|=> issue_stage_i.i_scoreboard.commit_instr_o[0].use_imm
unclassified	assert	cex	issue_stage_i.flush_unissued_instr_i \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.flush_unissued_instr_i \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.alu_valid_o \|=> issue_stage_i.commit_ack_i[0]
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.alu_valid_o \|=> issue_stage_i.commit_instr_o[0].valid
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.alu_valid_o \|=> issue_stage_i.i_issue_read_operands.we_gpr_i[0]
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.alu_valid_o \|=> issue_stage_i.i_issue_read_operands.we_pack[0]
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.alu_valid_o \|=> issue_stage_i.i_scoreboard.commit_ack_i[0]
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.alu_valid_o \|=> issue_stage_i.i_scoreboard.commit_instr_o[0].valid
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.alu_valid_o \|=> issue_stage_i.i_scoreboard.i_popcount.data_i[0]
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.alu_valid_o \|=> issue_stage_i.i_scoreboard.i_popcount.padded_input[0]
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.alu_valid_o \|=> issue_stage_i.i_scoreboard.i_popcount.popcount_o[0]
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.alu_valid_o \|=> issue_stage_i.i_scoreboard.i_popcount.right_child_result
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.alu_valid_o \|=> issue_stage_i.i_scoreboard.num_commit[0]
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.alu_valid_o \|=> issue_stage_i.we_gpr_i[0]
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.alu_valid_q \|=> issue_stage_i.commit_ack_i[0]
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.alu_valid_q \|=> issue_stage_i.commit_instr_o[0].valid
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.alu_valid_q \|=> issue_stage_i.i_issue_read_operands.we_gpr_i[0]
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.alu_valid_q \|=> issue_stage_i.i_issue_read_operands.we_pack[0]
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.alu_valid_q \|=> issue_stage_i.i_scoreboard.commit_ack_i[0]
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.alu_valid_q \|=> issue_stage_i.i_scoreboard.commit_instr_o[0].valid
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.alu_valid_q \|=> issue_stage_i.i_scoreboard.i_popcount.data_i[0]
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.alu_valid_q \|=> issue_stage_i.i_scoreboard.i_popcount.padded_input[0]
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.alu_valid_q \|=> issue_stage_i.i_scoreboard.i_popcount.popcount_o[0]
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.alu_valid_q \|=> issue_stage_i.i_scoreboard.i_popcount.right_child_result
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.alu_valid_q \|=> issue_stage_i.i_scoreboard.num_commit[0]
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.alu_valid_q \|=> issue_stage_i.we_gpr_i[0]
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.flush_i \|=> issue_stage_i.commit_instr_o[0].use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.flush_i \|=> issue_stage_i.i_scoreboard.commit_instr_o[0].use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.flush_i \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.flush_i \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.issue_ack_o \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.issue_ack_o \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.issue_instr_i.ex.valid \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.issue_instr_i.ex.valid \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.issue_instr_i.use_imm \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.issue_instr_i.valid \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.issue_instr_i.valid \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.issue_instr_valid_i \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.issue_instr_valid_i \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.we_gpr_i[0] \|=> issue_stage_i.flu_ready_i
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.we_gpr_i[0] \|=> issue_stage_i.i_issue_read_operands.flu_ready_i
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.we_gpr_i[0] \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.we_gpr_i[0] \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.we_pack[0] \|=> issue_stage_i.flu_ready_i
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.we_pack[0] \|=> issue_stage_i.i_issue_read_operands.flu_ready_i
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.we_pack[0] \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_issue_read_operands.we_pack[0] \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_re_name.flush_i \|=> issue_stage_i.commit_instr_o[0].use_imm
unclassified	assert	cex	issue_stage_i.i_re_name.flush_i \|=> issue_stage_i.commit_instr_o[1].use_imm
unclassified	assert	cex	issue_stage_i.i_re_name.flush_i \|=> issue_stage_i.i_scoreboard.commit_instr_o[0].use_imm
unclassified	assert	cex	issue_stage_i.i_re_name.flush_i \|=> issue_stage_i.i_scoreboard.commit_instr_o[1].use_imm
unclassified	assert	cex	issue_stage_i.i_re_name.flush_i \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_re_name.flush_i \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_re_name.flush_unissied_instr_i \|=> issue_stage_i.commit_instr_o[0].use_imm
unclassified	assert	cex	issue_stage_i.i_re_name.flush_unissied_instr_i \|=> issue_stage_i.i_scoreboard.commit_instr_o[0].use_imm
unclassified	assert	cex	issue_stage_i.i_re_name.flush_unissied_instr_i \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_re_name.flush_unissied_instr_i \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_re_name.issue_ack_i \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_re_name.issue_ack_i \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_re_name.issue_ack_o \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_re_name.issue_ack_o \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_re_name.issue_instr_i.ex.valid \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_re_name.issue_instr_i.ex.valid \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_re_name.issue_instr_i.use_imm \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_re_name.issue_instr_i.valid \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_re_name.issue_instr_i.valid \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_re_name.issue_instr_o.ex.valid \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_re_name.issue_instr_o.ex.valid \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_re_name.issue_instr_o.use_imm \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_re_name.issue_instr_o.valid \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_re_name.issue_instr_o.valid \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_re_name.issue_instr_valid_i \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_re_name.issue_instr_valid_i \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_re_name.issue_instr_valid_o \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_re_name.issue_instr_valid_o \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.commit_ack_i[0] \|=> issue_stage_i.flu_ready_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.commit_ack_i[0] \|=> issue_stage_i.i_issue_read_operands.flu_ready_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.commit_ack_i[0] \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.commit_ack_i[0] \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.commit_instr_o[0].ex.valid \|=> issue_stage_i.commit_instr_o[0].use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.commit_instr_o[0].ex.valid \|=> issue_stage_i.commit_instr_o[1].use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.commit_instr_o[0].ex.valid \|=> issue_stage_i.i_scoreboard.commit_instr_o[0].use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.commit_instr_o[0].ex.valid \|=> issue_stage_i.i_scoreboard.commit_instr_o[1].use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.commit_instr_o[0].ex.valid \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.commit_instr_o[0].ex.valid \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.commit_instr_o[0].use_imm \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.commit_instr_o[0].use_imm \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.commit_instr_o[0].valid \|=> issue_stage_i.flu_ready_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.commit_instr_o[0].valid \|=> issue_stage_i.i_issue_read_operands.flu_ready_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.commit_instr_o[0].valid \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.commit_instr_o[0].valid \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.commit_instr_o[1].use_imm \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.commit_instr_o[1].use_imm \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.decoded_instr_ack_o \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.decoded_instr_ack_o \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.decoded_instr_i.ex.valid \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.decoded_instr_i.ex.valid \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.decoded_instr_i.use_imm \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.decoded_instr_i.valid \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.decoded_instr_i.valid \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.decoded_instr_valid_i \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.decoded_instr_valid_i \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.flush_i \|=> issue_stage_i.commit_instr_o[0].use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.flush_i \|=> issue_stage_i.commit_instr_o[1].use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.flush_i \|=> issue_stage_i.i_scoreboard.commit_instr_o[0].use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.flush_i \|=> issue_stage_i.i_scoreboard.commit_instr_o[1].use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.flush_i \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.flush_i \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.flush_unissued_instr_i \|=> issue_stage_i.commit_instr_o[0].use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.flush_unissued_instr_i \|=> issue_stage_i.i_scoreboard.commit_instr_o[0].use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.flush_unissued_instr_i \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.flush_unissued_instr_i \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.i_popcount.data_i[0] \|=> issue_stage_i.flu_ready_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.i_popcount.data_i[0] \|=> issue_stage_i.i_issue_read_operands.flu_ready_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.i_popcount.data_i[0] \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.i_popcount.data_i[0] \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.i_popcount.padded_input[0] \|=> issue_stage_i.flu_ready_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.i_popcount.padded_input[0] \|=> issue_stage_i.i_issue_read_operands.flu_ready_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.i_popcount.padded_input[0] \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.i_popcount.padded_input[0] \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.i_popcount.right_child_result \|=> issue_stage_i.flu_ready_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.i_popcount.right_child_result \|=> issue_stage_i.i_issue_read_operands.flu_ready_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.i_popcount.right_child_result \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.i_popcount.right_child_result \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_ack_i \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_ack_i \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_en \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_en \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_instr_o.ex.valid \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_instr_o.ex.valid \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_instr_o.use_imm \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_instr_o.valid \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_instr_o.valid \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_instr_valid_o \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.issue_instr_valid_o \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_n[0].issued \|=> issue_stage_i.commit_instr_o[0].use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_n[0].issued \|=> issue_stage_i.decoded_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_n[0].issued \|=> issue_stage_i.i_issue_read_operands.issue_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_n[0].issued \|=> issue_stage_i.i_re_name.issue_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_n[0].issued \|=> issue_stage_i.i_re_name.issue_instr_o.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_n[0].issued \|=> issue_stage_i.i_scoreboard.commit_instr_o[0].use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_n[0].issued \|=> issue_stage_i.i_scoreboard.decoded_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_n[0].issued \|=> issue_stage_i.i_scoreboard.issue_instr_o.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_n[0].issued \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_n[0].issued \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_n[0].issued \|=> issue_stage_i.issue_instr_rename_sb.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_n[0].issued \|=> issue_stage_i.issue_instr_sb_iro.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_n[0].sbe.valid \|=> issue_stage_i.commit_ack_i[0]
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_n[0].sbe.valid \|=> issue_stage_i.commit_instr_o[0].use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_n[0].sbe.valid \|=> issue_stage_i.decoded_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_n[0].sbe.valid \|=> issue_stage_i.flu_ready_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_n[0].sbe.valid \|=> issue_stage_i.i_issue_read_operands.flu_ready_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_n[0].sbe.valid \|=> issue_stage_i.i_issue_read_operands.issue_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_n[0].sbe.valid \|=> issue_stage_i.i_issue_read_operands.we_gpr_i[0]
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_n[0].sbe.valid \|=> issue_stage_i.i_issue_read_operands.we_pack[0]
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_n[0].sbe.valid \|=> issue_stage_i.i_re_name.issue_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_n[0].sbe.valid \|=> issue_stage_i.i_re_name.issue_instr_o.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_n[0].sbe.valid \|=> issue_stage_i.i_scoreboard.commit_ack_i[0]
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_n[0].sbe.valid \|=> issue_stage_i.i_scoreboard.commit_instr_o[0].use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_n[0].sbe.valid \|=> issue_stage_i.i_scoreboard.decoded_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_n[0].sbe.valid \|=> issue_stage_i.i_scoreboard.i_popcount.data_i[0]
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_n[0].sbe.valid \|=> issue_stage_i.i_scoreboard.i_popcount.padded_input[0]
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_n[0].sbe.valid \|=> issue_stage_i.i_scoreboard.i_popcount.popcount_o[0]
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_n[0].sbe.valid \|=> issue_stage_i.i_scoreboard.i_popcount.right_child_result
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_n[0].sbe.valid \|=> issue_stage_i.i_scoreboard.issue_instr_o.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_n[0].sbe.valid \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_n[0].sbe.valid \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_n[0].sbe.valid \|=> issue_stage_i.i_scoreboard.num_commit[0]
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_n[0].sbe.valid \|=> issue_stage_i.issue_instr_rename_sb.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_n[0].sbe.valid \|=> issue_stage_i.issue_instr_sb_iro.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_n[0].sbe.valid \|=> issue_stage_i.we_gpr_i[0]
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_q[0].issued \|=> issue_stage_i.decoded_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_q[0].issued \|=> issue_stage_i.i_issue_read_operands.issue_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_q[0].issued \|=> issue_stage_i.i_re_name.issue_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_q[0].issued \|=> issue_stage_i.i_re_name.issue_instr_o.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_q[0].issued \|=> issue_stage_i.i_scoreboard.decoded_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_q[0].issued \|=> issue_stage_i.i_scoreboard.issue_instr_o.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_q[0].issued \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_q[0].issued \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_q[0].issued \|=> issue_stage_i.issue_instr_rename_sb.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_q[0].issued \|=> issue_stage_i.issue_instr_sb_iro.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_q[0].sbe.valid \|=> issue_stage_i.decoded_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_q[0].sbe.valid \|=> issue_stage_i.i_issue_read_operands.issue_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_q[0].sbe.valid \|=> issue_stage_i.i_re_name.issue_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_q[0].sbe.valid \|=> issue_stage_i.i_re_name.issue_instr_o.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_q[0].sbe.valid \|=> issue_stage_i.i_scoreboard.decoded_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_q[0].sbe.valid \|=> issue_stage_i.i_scoreboard.issue_instr_o.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_q[0].sbe.valid \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_q[0].sbe.valid \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_q[0].sbe.valid \|=> issue_stage_i.issue_instr_rename_sb.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.mem_q[0].sbe.valid \|=> issue_stage_i.issue_instr_sb_iro.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[2] \|=> issue_stage_i.decoded_instr_ack_o
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[2] \|=> issue_stage_i.decoded_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[2] \|=> issue_stage_i.decoded_instr_valid_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[2] \|=> issue_stage_i.i_issue_read_operands.issue_ack_o
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[2] \|=> issue_stage_i.i_issue_read_operands.issue_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[2] \|=> issue_stage_i.i_issue_read_operands.issue_instr_valid_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[2] \|=> issue_stage_i.i_re_name.issue_ack_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[2] \|=> issue_stage_i.i_re_name.issue_ack_o
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[2] \|=> issue_stage_i.i_re_name.issue_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[2] \|=> issue_stage_i.i_re_name.issue_instr_o.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[2] \|=> issue_stage_i.i_re_name.issue_instr_valid_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[2] \|=> issue_stage_i.i_re_name.issue_instr_valid_o
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[2] \|=> issue_stage_i.i_scoreboard.decoded_instr_ack_o
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[2] \|=> issue_stage_i.i_scoreboard.decoded_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[2] \|=> issue_stage_i.i_scoreboard.decoded_instr_valid_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[2] \|=> issue_stage_i.i_scoreboard.i_popcount.popcount_o[0]
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[2] \|=> issue_stage_i.i_scoreboard.issue_ack_i
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[2] \|=> issue_stage_i.i_scoreboard.issue_en
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[2] \|=> issue_stage_i.i_scoreboard.issue_instr_o.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[2] \|=> issue_stage_i.i_scoreboard.issue_instr_valid_o
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[2] \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[2] \|=> issue_stage_i.i_scoreboard.num_commit[0]
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[2] \|=> issue_stage_i.issue_ack_iro_sb
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[2] \|=> issue_stage_i.issue_ack_sb_rename
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[2] \|=> issue_stage_i.issue_instr_rename_sb.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[2] \|=> issue_stage_i.issue_instr_sb_iro.use_imm
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[2] \|=> issue_stage_i.issue_instr_valid_rename_sb
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[2] \|=> issue_stage_i.issue_instr_valid_sb_iro
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[3] \|=> issue_stage_i.commit_ack_i[0]
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[3] \|=> issue_stage_i.commit_instr_o[0].valid
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[3] \|=> issue_stage_i.i_issue_read_operands.we_gpr_i[0]
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[3] \|=> issue_stage_i.i_issue_read_operands.we_pack[0]
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[3] \|=> issue_stage_i.i_scoreboard.commit_ack_i[0]
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[3] \|=> issue_stage_i.i_scoreboard.commit_instr_o[0].valid
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[3] \|=> issue_stage_i.i_scoreboard.i_popcount.data_i[0]
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[3] \|=> issue_stage_i.i_scoreboard.i_popcount.padded_input[0]
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[3] \|=> issue_stage_i.i_scoreboard.i_popcount.popcount_o[0]
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[3] \|=> issue_stage_i.i_scoreboard.i_popcount.right_child_result
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[3] \|=> issue_stage_i.i_scoreboard.num_commit[0]
unclassified	assert	cex	issue_stage_i.i_scoreboard.wt_valid_i[3] \|=> issue_stage_i.we_gpr_i[0]
unclassified	assert	cex	issue_stage_i.issue_ack_iro_sb \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.issue_ack_iro_sb \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.issue_ack_sb_rename \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.issue_ack_sb_rename \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.issue_instr_rename_sb.ex.valid \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.issue_instr_rename_sb.ex.valid \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.issue_instr_rename_sb.use_imm \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.issue_instr_rename_sb.valid \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.issue_instr_rename_sb.valid \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.issue_instr_sb_iro.ex.valid \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.issue_instr_sb_iro.ex.valid \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.issue_instr_sb_iro.use_imm \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.issue_instr_sb_iro.valid \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.issue_instr_sb_iro.valid \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.issue_instr_valid_rename_sb \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.issue_instr_valid_rename_sb \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.issue_instr_valid_sb_iro \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.issue_instr_valid_sb_iro \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.we_gpr_i[0] \|=> issue_stage_i.flu_ready_i
unclassified	assert	cex	issue_stage_i.we_gpr_i[0] \|=> issue_stage_i.i_issue_read_operands.flu_ready_i
unclassified	assert	cex	issue_stage_i.we_gpr_i[0] \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.we_gpr_i[0] \|=> issue_stage_i.i_scoreboard.mem_q[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.wt_valid_i[2] \|=> issue_stage_i.decoded_instr_ack_o
unclassified	assert	cex	issue_stage_i.wt_valid_i[2] \|=> issue_stage_i.decoded_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.wt_valid_i[2] \|=> issue_stage_i.decoded_instr_valid_i
unclassified	assert	cex	issue_stage_i.wt_valid_i[2] \|=> issue_stage_i.i_issue_read_operands.issue_ack_o
unclassified	assert	cex	issue_stage_i.wt_valid_i[2] \|=> issue_stage_i.i_issue_read_operands.issue_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.wt_valid_i[2] \|=> issue_stage_i.i_issue_read_operands.issue_instr_valid_i
unclassified	assert	cex	issue_stage_i.wt_valid_i[2] \|=> issue_stage_i.i_re_name.issue_ack_i
unclassified	assert	cex	issue_stage_i.wt_valid_i[2] \|=> issue_stage_i.i_re_name.issue_ack_o
unclassified	assert	cex	issue_stage_i.wt_valid_i[2] \|=> issue_stage_i.i_re_name.issue_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.wt_valid_i[2] \|=> issue_stage_i.i_re_name.issue_instr_o.use_imm
unclassified	assert	cex	issue_stage_i.wt_valid_i[2] \|=> issue_stage_i.i_re_name.issue_instr_valid_i
unclassified	assert	cex	issue_stage_i.wt_valid_i[2] \|=> issue_stage_i.i_re_name.issue_instr_valid_o
unclassified	assert	cex	issue_stage_i.wt_valid_i[2] \|=> issue_stage_i.i_scoreboard.decoded_instr_ack_o
unclassified	assert	cex	issue_stage_i.wt_valid_i[2] \|=> issue_stage_i.i_scoreboard.decoded_instr_i.use_imm
unclassified	assert	cex	issue_stage_i.wt_valid_i[2] \|=> issue_stage_i.i_scoreboard.decoded_instr_valid_i
unclassified	assert	cex	issue_stage_i.wt_valid_i[2] \|=> issue_stage_i.i_scoreboard.i_popcount.popcount_o[0]
unclassified	assert	cex	issue_stage_i.wt_valid_i[2] \|=> issue_stage_i.i_scoreboard.issue_ack_i
unclassified	assert	cex	issue_stage_i.wt_valid_i[2] \|=> issue_stage_i.i_scoreboard.issue_en
unclassified	assert	cex	issue_stage_i.wt_valid_i[2] \|=> issue_stage_i.i_scoreboard.issue_instr_o.use_imm
unclassified	assert	cex	issue_stage_i.wt_valid_i[2] \|=> issue_stage_i.i_scoreboard.issue_instr_valid_o
unclassified	assert	cex	issue_stage_i.wt_valid_i[2] \|=> issue_stage_i.i_scoreboard.mem_n[0].sbe.use_imm
unclassified	assert	cex	issue_stage_i.wt_valid_i[2] \|=> issue_stage_i.i_scoreboard.num_commit[0]
unclassified	assert	cex	issue_stage_i.wt_valid_i[2] \|=> issue_stage_i.issue_ack_iro_sb
unclassified	assert	cex	issue_stage_i.wt_valid_i[2] \|=> issue_stage_i.issue_ack_sb_rename
unclassified	assert	cex	issue_stage_i.wt_valid_i[2] \|=> issue_stage_i.issue_instr_rename_sb.use_imm
unclassified	assert	cex	issue_stage_i.wt_valid_i[2] \|=> issue_stage_i.issue_instr_sb_iro.use_imm
unclassified	assert	cex	issue_stage_i.wt_valid_i[2] \|=> issue_stage_i.issue_instr_valid_rename_sb
unclassified	assert	cex	issue_stage_i.wt_valid_i[2] \|=> issue_stage_i.issue_instr_valid_sb_iro
unclassified	assert	cex	issue_stage_i.wt_valid_i[3] \|=> issue_stage_i.commit_ack_i[0]
unclassified	assert	cex	issue_stage_i.wt_valid_i[3] \|=> issue_stage_i.commit_instr_o[0].valid
unclassified	assert	cex	issue_stage_i.wt_valid_i[3] \|=> issue_stage_i.i_issue_read_operands.we_gpr_i[0]
unclassified	assert	cex	issue_stage_i.wt_valid_i[3] \|=> issue_stage_i.i_issue_read_operands.we_pack[0]
unclassified	assert	cex	issue_stage_i.wt_valid_i[3] \|=> issue_stage_i.i_scoreboard.commit_ack_i[0]
unclassified	assert	cex	issue_stage_i.wt_valid_i[3] \|=> issue_stage_i.i_scoreboard.commit_instr_o[0].valid
unclassified	assert	cex	issue_stage_i.wt_valid_i[3] \|=> issue_stage_i.i_scoreboard.i_popcount.data_i[0]
unclassified	assert	cex	issue_stage_i.wt_valid_i[3] \|=> issue_stage_i.i_scoreboard.i_popcount.padded_input[0]
unclassified	assert	cex	issue_stage_i.wt_valid_i[3] \|=> issue_stage_i.i_scoreboard.i_popcount.popcount_o[0]
unclassified	assert	cex	issue_stage_i.wt_valid_i[3] \|=> issue_stage_i.i_scoreboard.i_popcount.right_child_result
unclassified	assert	cex	issue_stage_i.wt_valid_i[3] \|=> issue_stage_i.i_scoreboard.num_commit[0]
unclassified	assert	cex	issue_stage_i.wt_valid_i[3] \|=> issue_stage_i.we_gpr_i[0]
--

module: ariane create date: May 10 21:26:13 EDT 2026 filter: class in ( unclassified ) and rank = high and type in ( assert ) and progress state in ( new, hole, covered, covered_now_hole, assert, violated, certified_hole, certified_assert )

[Jasper 2026.03] [Platform Linux64] [Version 2026.03 FCS 64 bits] [Build date 2026.03.26 12:48:29 UTC]

Jasper® Apps Behavioral Property SynthesisReport

module: arianecreate date: May 10 21:26:13 EDT 2026filter: class in ( unclassified ) and rank = high and type in ( assert ) and progress state in ( new, hole, covered, covered_now_hole, assert, violated, certified_hole, certified_assert )

DESIGN INFORMATION SUMMARY:

PROPERTY SYNTHESIS SUMMARY:

module: arianecreate date: May 10 21:26:13 EDT 2026filter: class in ( unclassified ) and rank = high and type in ( assert ) and progress state in ( new, hole, covered, covered_now_hole, assert, violated, certified_hole, certified_assert )

[Jasper 2026.03] [Platform Linux64] [Version 2026.03 FCS 64 bits] [Build date 2026.03.26 12:48:29 UTC]

module: ariane create date: May 10 21:26:13 EDT 2026 filter: class in ( unclassified ) and rank = high and type in ( assert ) and progress state in ( new, hole, covered, covered_now_hole, assert, violated, certified_hole, certified_assert )

module: ariane create date: May 10 21:26:13 EDT 2026 filter: class in ( unclassified ) and rank = high and type in ( assert ) and progress state in ( new, hole, covered, covered_now_hole, assert, violated, certified_hole, certified_assert )