git.libre-soc.org Git - soc.git/search

2020-05-15	Michael Nolan	Add test for cntlz to test_caller	commit \| commitdiff \| tree
2020-05-15	Michael Nolan	Add gitignore to shift_rot and logical formal folders	commit \| commitdiff \| tree
2020-05-15	Michael Nolan	Re-enable popcnt in test_pipe_caller.py	commit \| commitdiff \| tree
2020-05-15	Michael Nolan	Add test for popcnt to test_caller.py	commit \| commitdiff \| tree
2020-05-15	Michael Nolan	Fix prty implementation	commit \| commitdiff \| tree
2020-05-15	Michael Nolan	Add test for prtyw pseudocode	commit \| commitdiff \| tree
2020-05-15	Michael Nolan	Update to latest wiki version, fix bug in prty pseudocode	commit \| commitdiff \| tree
2020-05-14	Michael Nolan	Add patch for cmpb	commit \| commitdiff \| tree
2020-05-14	Michael Nolan	Implement OP_CMP	commit \| commitdiff \| tree
2020-05-14	Michael Nolan	Add OP_CMPB	commit \| commitdiff \| tree
2020-05-14	Michael Nolan	Update to latest wiki version	commit \| commitdiff \| tree
2020-05-14	Michael Nolan	Fix bug in shift_rot, update proof to handle new interface	commit \| commitdiff \| tree
2020-05-13	Michael Nolan	Add test for random rlcd(l/r) instructions	commit \| commitdiff \| tree
2020-05-13	Michael Nolan	Fix bug in rotator preventing use of 64 bit rlcl/r	commit \| commitdiff \| tree
2020-05-13	Michael Nolan	Update to latest wiki version	commit \| commitdiff \| tree
2020-05-13	Michael Nolan	Fix too wide bitfield being selected for opcode 30	commit \| commitdiff \| tree
2020-05-13	Michael Nolan	Fix weirdness with rldicl and friends in test_caller.py	commit \| commitdiff \| tree
2020-05-13	Michael Nolan	Add support for OP_EXTS	commit \| commitdiff \| tree
2020-05-13	Michael Nolan	Add missing input stage and pipe_data	commit \| commitdiff \| tree
2020-05-13	Michael Nolan	Fix bug with ROTL32 helper	commit \| commitdiff \| tree
2020-05-13	Michael Nolan	Somewhat working now?	commit \| commitdiff \| tree
2020-05-13	Michael Nolan	Integrate rotator.py into shift_rot unit	commit \| commitdiff \| tree
2020-05-13	Michael Nolan	Update cmp test in test_caller.py	commit \| commitdiff \| tree
2020-05-13	Michael Nolan	Add assertions to ALU and shift_rot test that the instructio...	commit \| commitdiff \| tree
2020-05-13	Michael Nolan	Add SHIFT_ROT FU	commit \| commitdiff \| tree
2020-05-13	Michael Nolan	Modify alu test to put reg1 OR reg3 into alu input A	commit \| commitdiff \| tree
2020-05-13	Michael Nolan	Update TODO	commit \| commitdiff \| tree
2020-05-12	Michael Nolan	Add new shift_rot FU for shifts and rotates	commit \| commitdiff \| tree
2020-05-12	Michael Nolan	Remove rotates and shifts from alu	commit \| commitdiff \| tree
2020-05-11	Michael Nolan	Massively spead up test_pipe_caller.py	commit \| commitdiff \| tree
2020-05-11	Michael Nolan	Revert "Greatly speed up test_pipe_caller.py"	commit \| commitdiff \| tree
2020-05-11	Michael Nolan	Greatly speed up test_pipe_caller.py	commit \| commitdiff \| tree
2020-05-11	Michael Nolan	Reverse bit order for cr0 in proof	commit \| commitdiff \| tree
2020-05-11	Michael Nolan	Check output of cr0 from alu	commit \| commitdiff \| tree
2020-05-11	Michael Nolan	Add carry in input to alu testbench	commit \| commitdiff \| tree
2020-05-11	Michael Nolan	Add ability to specify initial state for SPRs	commit \| commitdiff \| tree
2020-05-11	Michael Nolan	Fix proof_input_stage.py	commit \| commitdiff \| tree
2020-05-11	Michael Nolan	Fix rlwimi by reordering the inputs again	commit \| commitdiff \| tree
2020-05-11	Michael Nolan	Re-enable rlwinm test	commit \| commitdiff \| tree
2020-05-11	Michael Nolan	Check write register number too	commit \| commitdiff \| tree
2020-05-11	Michael Nolan	Reorder the register reads so the field in read_reg2...	commit \| commitdiff \| tree
2020-05-11	Michael Nolan	Have test_pipe_caller actually read from the registers...	commit \| commitdiff \| tree
2020-05-11	Michael Nolan	Actually implement rlwimi	commit \| commitdiff \| tree
2020-05-10	Michael Nolan	Add test for rlwnm	commit \| commitdiff \| tree
2020-05-10	Michael Nolan	Implement rlwimi as well	commit \| commitdiff \| tree
2020-05-10	Michael Nolan	Implement rlwinm in alu	commit \| commitdiff \| tree
2020-05-10	Michael Nolan	Add test for rlwinm	commit \| commitdiff \| tree
2020-05-10	Michael Nolan	Reduce BMC depth on proof_main_stage.py	commit \| commitdiff \| tree
2020-05-09	Michael Nolan	Add shift left and shift right to main stage proof	commit \| commitdiff \| tree
2020-05-09	Michael Nolan	Handle algebraic shifts too	commit \| commitdiff \| tree
2020-05-09	Michael Nolan	Implement logical shift right	commit \| commitdiff \| tree
2020-05-09	Michael Nolan	Add support for sld	commit \| commitdiff \| tree
2020-05-09	Michael Nolan	Change shift left to be implemented with rotate and...	commit \| commitdiff \| tree
2020-05-09	Michael Nolan	Add mask generator for shift class instructions	commit \| commitdiff \| tree
2020-05-09	Michael Nolan	Add shift left opcode to main_stage	commit \| commitdiff \| tree
2020-05-09	Michael Nolan	Fix broken mask when x == y	commit \| commitdiff \| tree
2020-05-09	Michael Nolan	Add right shift test to test_caller.py	commit \| commitdiff \| tree
2020-05-09	Michael Nolan	Add shift test to test_caller, fix fixedshift being...	commit \| commitdiff \| tree
2020-05-09	Michael Nolan	Fix helpers.py not playing nicely with selectableInts	commit \| commitdiff \| tree
2020-05-09	Michael Nolan	Add reversed add and subtract, as well as lshift and...	commit \| commitdiff \| tree
2020-05-09	Michael Nolan	Minor cleanup	commit \| commitdiff \| tree
2020-05-08	Michael Nolan	Oops, forgot pipeline.py	commit \| commitdiff \| tree
2020-05-08	Michael Nolan	Add tests for immediates, add subf to tests	commit \| commitdiff \| tree
2020-05-08	Michael Nolan	Add comments about the purpose of each alu stage	commit \| commitdiff \| tree
2020-05-08	Michael Nolan	Add test for alu against simulator	commit \| commitdiff \| tree
2020-05-08	Michael Nolan	Add assertions for output stage cr0	commit \| commitdiff \| tree
2020-05-08	Michael Nolan	Add output stage	commit \| commitdiff \| tree
2020-05-08	Michael Nolan	Add and or and xor to main_stage	commit \| commitdiff \| tree
2020-05-08	Michael Nolan	Add carry in and out	commit \| commitdiff \| tree
2020-05-08	Michael Nolan	Have input_stage set the b operand to imm_data if it...	commit \| commitdiff \| tree
2020-05-08	Michael Nolan	Add extra bits (carry, overflow, etc) to input and...	commit \| commitdiff \| tree
2020-05-08	Michael Nolan	Begin adding main ALU stage	commit \| commitdiff \| tree
2020-05-08	Michael Nolan	Convert alu to use the op in ctx	commit \| commitdiff \| tree
2020-05-08	Michael Nolan	Add FPPipeContext to alu pipe_data	commit \| commitdiff \| tree
2020-05-08	Michael Nolan	Add handling of A inversion and B input	commit \| commitdiff \| tree
2020-05-08	Michael Nolan	Begin adding input stage of alu	commit \| commitdiff \| tree
2020-05-08	Michael Nolan	Add pipe data for ALU pipeline	commit \| commitdiff \| tree
2020-05-08	Michael Nolan	Update gitignore in isa dir	commit \| commitdiff \| tree
2020-05-08	Michael Nolan	Separate out ALU Input record from alu_hier.py	commit \| commitdiff \| tree
2020-05-07	Michael Nolan	Add test_branch_loop_ctr	commit \| commitdiff \| tree
2020-05-07	Michael Nolan	Add tests for conditional branches	commit \| commitdiff \| tree
2020-05-07	Michael Nolan	Ooops, forgot comparefixed.patch	commit \| commitdiff \| tree
2020-05-07	Michael Nolan	Get test_cmp working	commit \| commitdiff \| tree
2020-05-07	Michael Nolan	Fix test_mtcrf. Test has been verified against qemu	commit \| commitdiff \| tree
2020-05-07	Michael Nolan	Make FieldSelectableInt accept slices for set and get	commit \| commitdiff \| tree
2020-05-07	Michael Nolan	Add handling of add with comparison	commit \| commitdiff \| tree
2020-05-07	Michael Nolan	Fix bug with comparisons in selectable_int.py	commit \| commitdiff \| tree
2020-05-07	Michael Nolan	Add test_mfcr	commit \| commitdiff \| tree
2020-05-06	Michael Nolan	Re-enable test_mtcrf	commit \| commitdiff \| tree
2020-05-06	Michael Nolan	Add length helper for getting length of a selectable int	commit \| commitdiff \| tree
2020-05-06	Michael Nolan	Add helper functions to replace direct comparison in...	commit \| commitdiff \| tree
2020-05-06	Michael Nolan	Look up spr length from spr table	commit \| commitdiff \| tree
2020-05-06	Michael Nolan	Add dict of spr properties to power_enums	commit \| commitdiff \| tree
2020-05-06	Michael Nolan	Implement bctr and mtspr	commit \| commitdiff \| tree
2020-05-06	Michael Nolan	Properly implement LR and CTR	commit \| commitdiff \| tree
2020-05-06	Michael Nolan	Add ability to patch generated isa files	commit \| commitdiff \| tree
2020-05-06	Michael Nolan	Sorta kinda working bl and blr - need to properly implement lr	commit \| commitdiff \| tree
2020-05-05	Michael Nolan	Add rudimentary branch capability	commit \| commitdiff \| tree
2020-05-05	Michael Nolan	Fix broken test_decoder_gas	commit \| commitdiff \| tree
2020-05-02	Michael Nolan	Read decoder tables from wiki submodule instead of web	commit \| commitdiff \| tree
next

RSS Atom