darbaria axiomise-warpv-formal-6-stage issues

darbaria / axiomise-warpv-formal-6-stage

1 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

REM Instruction not working correctly

#31 shivanishah269 opened 3 years ago
0
REMU Instruction not working correctly

#30 shivanishah269 opened 3 years ago
0
DIV Instruction not working correctly

#29 shivanishah269 opened 3 years ago
0
DIVU Instruction not working correctly

#28 shivanishah269 opened 3 years ago
0
Remainder(rem) when division by 0 case not implemented correctly

#27 shivanishah269 opened 3 years ago
0
Remainder(remu) when division by 0 case not implemented correctly

#26 shivanishah269 opened 3 years ago
0
Division by 0 case not implemented correctly in the design

#25 shivanishah269 opened 3 years ago
0
Division by 0 case not implemented correctly in the design

#24 shivanishah269 opened 3 years ago
0
MULHSU Instruction not working properly

#23 shivanishah269 opened 3 years ago
0
MULHU Instruction not working properly

#22 shivanishah269 opened 3 years ago
0
MULH Instruction not working properly

#21 shivanishah269 opened 3 years ago
0
MUL Instruction not working properly

#20 shivanishah269 opened 3 years ago
13
JALR for misaligned addresses doesn't raise trap

#19 darbaria opened 3 years ago
0
BLTU doesn't raise trap correctly

#18 darbaria opened 3 years ago
1
BLTS doesn't raise trap correctly

#17 darbaria opened 3 years ago
1
BGEU doesn't raise trap correctly

#16 darbaria opened 3 years ago
1
BGES doesn't raise trap correctly

#15 darbaria opened 3 years ago
1
BNE doesn't raise trap correctly

#14 darbaria opened 3 years ago
1
BEQ doesn't raise the trap correctly

#13 darbaria opened 3 years ago
0
JAL for misaligned addresses doesn't raise trap

#12 darbaria opened 3 years ago
1
Load half-word aligned not working as expected

#11 darbaria closed 3 years ago
1
auipc - calculation of pc relative addresses is only restricted to byte-aligned address only

#10 shivanishah269 opened 3 years ago
0
JAL - target address is always computed with byte aligned offset value

#9 shivanishah269 opened 3 years ago
0
BGEU - target address is always computed with byte aligned offset value

#8 shivanishah269 opened 3 years ago
0
BGE - target address is always computed with byte aligned offset value

#7 shivanishah269 opened 3 years ago
0
BLTU - target address is always computed with byte aligned offset value

#6 shivanishah269 opened 3 years ago
0
BLT - target address is always computed with byte aligned offset value

#5 shivanishah269 opened 3 years ago
0
BNE - target address is always computed with byte aligned offset value

#4 shivanishah269 opened 3 years ago
0
BEQ - target address is always computed with byte aligned offset value

#3 shivanishah269 opened 3 years ago
0
JALR return address is restricted to byte-aligned address values only

#2 shivanishah269 opened 3 years ago
0
JAL return address is restricted to byte-aligned address values only

#1 darbaria opened 3 years ago
1