diff options
author | Clifford Wolf <clifford@clifford.at> | 2016-09-13 23:21:31 +0200 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2016-09-13 23:21:31 +0200 |
commit | c209c016b35a085ccc6044dead7e0b8461b239ca (patch) | |
tree | 720e631550bf54050acf8b02a18ccafb21f52311 /picorv32.v | |
parent | 5bea3f99171812bc6758d8fe846312afee709c75 (diff) | |
download | picorv32-c209c016b35a085ccc6044dead7e0b8461b239ca.tar.gz picorv32-c209c016b35a085ccc6044dead7e0b8461b239ca.zip |
More fixes related to assertpmux checks
Diffstat (limited to 'picorv32.v')
-rw-r--r-- | picorv32.v | 11 |
1 files changed, 9 insertions, 2 deletions
@@ -1043,6 +1043,13 @@ module picorv32 #( is_beq_bne_blt_bge_bltu_bgeu <= 0; is_compare <= 0; + instr_beq <= 0; + instr_bne <= 0; + instr_blt <= 0; + instr_bge <= 0; + instr_bltu <= 0; + instr_bgeu <= 0; + instr_addi <= 0; instr_slti <= 0; instr_sltiu <= 0; @@ -1155,9 +1162,9 @@ module picorv32 #( alu_out_0 = !alu_lts; instr_bgeu: alu_out_0 = !alu_ltu; - is_slti_blt_slt: + is_slti_blt_slt && (!TWO_CYCLE_COMPARE || !{instr_beq,instr_bne,instr_bge,instr_bgeu}): alu_out_0 = alu_lts; - is_sltiu_bltu_sltu: + is_sltiu_bltu_sltu && (!TWO_CYCLE_COMPARE || !{instr_beq,instr_bne,instr_bge,instr_bgeu}): alu_out_0 = alu_ltu; endcase |