tests/units_formal: implement tests for rest of AddSub[I] instructions
#133 -Commit
fb0b07fbb2
pushed by
programmerjake
tests/units_formal: implement tests for rest of AddSub[I] instructions
#132 -Commit
fb0b07fbb2
pushed by
programmerjake
tests/units_formal: split up tests in hopes of making them run faster
#131 -Commit
b6bbc97990
pushed by
programmerjake
formal proof works! also add test_power_isa_add_sim
#125 -Commit
ef30d325d5
pushed by
programmerjake
unit::alu_branch::compare: implement CmpRBOne/CmpRBTwo/CmpEqB
#121 -Commit
7acfaebfde
pushed by
programmerjake
unit::alu_branch::compare: implement CmpRBOne/CmpRBTwo/CmpEqB
#120 -Commit
7acfaebfde
pushed by
programmerjake
redo ShiftRotateMOp and write actual operation definition in doc comment
#119 -Commit
7481d079d5
pushed by
programmerjake
unit::alu_branch: convert *MOp functions to hdl_module
#118 -Commit
a3898e8c13
pushed by
programmerjake
unit::alu_branch: implement for LogicalFlagsMOp
#117 -Commit
b25448a275
pushed by
programmerjake
unit::alu_branch: implement for LogicalFlagsMOp
#116 -Commit
3bff2bd224
pushed by
programmerjake
rename_execute_retire: add reference counting for L1 registers
#113 -Commit
151683fbda
pushed by
programmerjake
rename_execute_retire: add reference counting for L1 registers
#112 -Commit
151683fbda
pushed by
programmerjake
rename_execute_retire: add reference counting for L2 registers
#111 -Commit
e0dc5d486b
pushed by
programmerjake
WIP fixing deadlock when running rename_execute_retire_save_restore_gprs
#108 -Commit
ed331a3a96
pushed by
programmerjake
tests/rename_execute_retire: add and use mock_combinational_unit
#106 -Commit
0d69666b00
pushed by
programmerjake