projects
/
soc.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
check problem state in OP_MTMSRD from original reg RA rather than
[soc.git]
/
src
/
soc
/
fu
/
shift_rot
/
2021-12-10
Jacob Lifshay
add ternlogi to shift_rot formal test
tree
|
commitdiff
2021-12-10
Jacob Lifshay
fix shift_rot formal proof
tree
|
commitdiff
2021-12-09
Jacob Lifshay
add bitmanip tests
tree
|
commitdiff
2021-12-09
Jacob Lifshay
add parent_pspec everywhere
tree
|
commitdiff
2021-12-09
Jacob Lifshay
format code
tree
|
commitdiff
2021-12-07
Jacob Lifshay
make bitmanip operations conditional on pspec.draft_bit...
tree
|
commitdiff
2021-12-07
Jacob Lifshay
format code
tree
|
commitdiff
2021-12-07
Jacob Lifshay
move rotator mode assignments as requested by lkcl
tree
|
commitdiff
2021-12-02
Jacob Lifshay
add ternlogi to shiftrot
tree
|
commitdiff
2021-12-02
Jacob Lifshay
format code
tree
|
commitdiff
2021-10-10
Luke Kenneth Casso...
replace PartitionedSignal with SimdSignal
tree
|
commitdiff
2021-08-31
Luke Kenneth Casso...
update ready/valid in shift_rot test_pipe_caller
tree
|
commitdiff
2021-08-24
Luke Kenneth Casso...
replace data_o with o_data and data_i with i_data as...
tree
|
commitdiff
2021-05-04
Luke Kenneth Casso...
rename IntegerData to FUBaseData
tree
|
commitdiff
2021-04-23
Luke Kenneth Casso...
move LDST tests to openpower.test
tree
|
commitdiff
2021-04-23
Luke Kenneth Casso...
move shiftrot test cases to openpower.test
tree
|
commitdiff
2021-04-23
Luke Kenneth Casso...
import from openpower.endian
tree
|
commitdiff
2021-04-23
Luke Kenneth Casso...
use openpower.test.common
tree
|
commitdiff
2021-04-23
Luke Kenneth Casso...
more openpower-isa conversion
tree
|
commitdiff
2021-04-23
Luke Kenneth Casso...
move over to from openpower imports
tree
|
commitdiff
2021-01-29
Luke Kenneth Casso...
whoops missed out "+" on explicit license listing
tree
|
commitdiff
2020-10-07
Luke Kenneth Casso...
missing invert_in field from shiftrot input record
tree
|
commitdiff
2020-10-06
Luke Kenneth Casso...
use pdecode2.do not pdecode2.e in test_pipe_caller...
tree
|
commitdiff
2020-09-27
Cesar Strauss
Convert yet another few tests to be able to use latest...
tree
|
commitdiff
2020-09-07
Luke Kenneth Casso...
convert shift_rot to subset decoder
tree
|
commitdiff
2020-09-07
Luke Kenneth Casso...
bit of a big reorg of data structures
tree
|
commitdiff
2020-09-07
Luke Kenneth Casso...
whoops truncated the mb and me fields
tree
|
commitdiff
2020-09-05
Luke Kenneth Casso...
add simple wishbone GPIO peripheral
tree
|
commitdiff
2020-09-05
Samuel A. Falvo II
Add unit test replicating failing proof case
tree
|
commitdiff
2020-09-04
Luke Kenneth Casso...
add sld test with RB=64 to see what happens
tree
|
commitdiff
2020-08-27
Cole Poirier
Merge branch 'master' of git.libre-soc.org:soc
tree
|
commitdiff
2020-08-27
Luke Kenneth Casso...
oink, write_cr shiftrot record width was zero (??)
tree
|
commitdiff
2020-08-27
Luke Kenneth Casso...
sorting out shift_rot to use new output stage data...
tree
|
commitdiff
2020-08-25
Cole Poirier
Merge branch 'master' of git.libre-soc.org:soc
tree
|
commitdiff
2020-08-25
Luke Kenneth Casso...
although shift-rot does not alter XER.so it still needs...
tree
|
commitdiff
2020-08-24
Cole Poirier
Merge branch 'master' of git.libre-soc.org:soc
tree
|
commitdiff
2020-08-23
Luke Kenneth Casso...
update copyright notices to include additional primary...
tree
|
commitdiff
2020-08-23
Michael Nolan
Add copyright to files in fu/ that I was the primary...
tree
|
commitdiff
2020-08-22
Luke Kenneth Casso...
bug in andc and orc, complement was taking place on...
tree
|
commitdiff
2020-08-21
Cole Poirier
Merge branch 'master' of git.libre-soc.org:soc
tree
|
commitdiff
2020-08-19
Luke Kenneth Casso...
rename and document fields in shift_rot proof
tree
|
commitdiff
2020-08-19
Luke Kenneth Casso...
use "Mask" class which is more gate-efficient than...
tree
|
commitdiff
2020-08-14
Luke Kenneth Casso...
divide shiftrot pipeline into 2 (simple last)
tree
|
commitdiff
2020-08-03
Samuel A. Falvo II
WIP: check MB > ME and select mask appropriately
tree
|
commitdiff
2020-08-01
Luke Kenneth Casso...
add rlwnm test showing that shift rot OP_RLC proof...
tree
|
commitdiff
2020-08-01
Luke Kenneth Casso...
line-length / whitespace
tree
|
commitdiff
2020-08-01
Luke Kenneth Casso...
expand out for-loop setting up input record subset
tree
|
commitdiff
2020-07-31
Samuel A. Falvo II
WIP: more debugging signals for inspection
tree
|
commitdiff
2020-07-30
Samuel A. Falvo II
WIP: rlwinm/rlwnm/rlwimi-type proofs
tree
|
commitdiff
2020-07-29
Luke Kenneth Casso...
move SHIFTROT test out of subtest indentation
tree
|
commitdiff
2020-07-29
Jacob Lifshay
add __init__.py to all source directories
tree
|
commitdiff
2020-07-28
Jacob Lifshay
Merge remote-tracking branch 'origin/master'
tree
|
commitdiff
2020-07-28
Luke Kenneth Casso...
use ctx.op compare (and muxid) in shiftrot proof
tree
|
commitdiff
2020-07-26
Luke Kenneth Casso...
convert shift_rot test to new base accumulator style
tree
|
commitdiff
2020-07-22
Jacob Lifshay
Merge remote-tracking branch 'origin/master'
tree
|
commitdiff
2020-07-22
Jacob Lifshay
format code
tree
|
commitdiff
2020-07-21
Luke Kenneth Casso...
make cxxsim optional and print warning
tree
|
commitdiff
2020-07-16
Luke Kenneth Casso...
more tidyup on use of CompOpSubsetBase
tree
|
commitdiff
2020-07-14
Luke Kenneth Casso...
set up masks for OP_RL* formal proof
tree
|
commitdiff
2020-07-14
Luke Kenneth Casso...
disable cxxsim test
tree
|
commitdiff
2020-07-14
Luke Kenneth Casso...
first attempt running cxxsim
tree
|
commitdiff
2020-07-13
Luke Kenneth Casso...
whitespace
tree
|
commitdiff
2020-07-13
Luke Kenneth Casso...
formal proof of OP_EXTSWSLI
tree
|
commitdiff
2020-07-13
Luke Kenneth Casso...
quick test showing how left/right mask work
tree
|
commitdiff
2020-07-13
Luke Kenneth Casso...
comments
tree
|
commitdiff
2020-07-13
Luke Kenneth Casso...
attempting formal proof of OP_EXTSWSLI
tree
|
commitdiff
2020-07-13
Luke Kenneth Casso...
reduce rotl module to one line (use bit_select)
tree
|
commitdiff
2020-07-13
Luke Kenneth Casso...
document rb as sh
tree
|
commitdiff
2020-07-13
Luke Kenneth Casso...
increase range of test values for extswsli
tree
|
commitdiff
2020-07-13
Luke Kenneth Casso...
add EXTSWSLI "pass" to formal shift_rot proof
tree
|
commitdiff
2020-07-13
Luke Kenneth Casso...
enable extswsli tests, fix spec-patching
tree
|
commitdiff
2020-07-13
Luke Kenneth Casso...
add regression test, simulator is wrong
tree
|
commitdiff
2020-07-13
Luke Kenneth Casso...
add simulator test against qemu for extswsli
tree
|
commitdiff
2020-07-13
Luke Kenneth Casso...
add extswsli unit test
tree
|
commitdiff
2020-07-13
Luke Kenneth Casso...
add link to rotator, sign-extend mode OP_EXTSWSLI
tree
|
commitdiff
2020-07-12
Luke Kenneth Casso...
rename InternalOp to MicrOp
tree
|
commitdiff
2020-07-11
Luke Kenneth Casso...
sorting out bigendian/littleendian including in qemu
tree
|
commitdiff
2020-07-08
Jacob Lifshay
Merge branch 'master' of ssh://git.libre-riscv.org...
tree
|
commitdiff
2020-07-05
Luke Kenneth Casso...
big reorg on PowerDecoder2, actually Decode2Execute1Type
tree
|
commitdiff
2020-06-11
Luke Kenneth Casso...
must distinguish between rd/write xer_ca sim helpers
tree
|
commitdiff
2020-06-11
Luke Kenneth Casso...
use ALUHelpers in shift_rot
tree
|
commitdiff
2020-06-10
Luke Kenneth Casso...
move to common ALUHelpers for ShiftRot test_pipe_caller.py
tree
|
commitdiff
2020-06-07
Luke Kenneth Casso...
wark-wark, do not & rs[0] into carry-out from rotator
tree
|
commitdiff
2020-06-07
Luke Kenneth Casso...
update rotator.py to match microwatt rotator.vhdl
tree
|
commitdiff
2020-06-07
Luke Kenneth Casso...
add carry test to shift_rot test_pipe_caller: it fails...
tree
|
commitdiff
2020-06-07
Luke Kenneth Casso...
add extra args to ISA in test_pipe_caller.py
tree
|
commitdiff
2020-06-06
Luke Kenneth Casso...
remove unneeded imports
tree
|
commitdiff
2020-06-06
Luke Kenneth Casso...
noticed the regular pattern in all pipe_data.py (regspecs).
tree
|
commitdiff
2020-06-04
Luke Kenneth Casso...
no global variables in test suites
tree
|
commitdiff
2020-06-04
Luke Kenneth Casso...
use common TestCase in shift_rot
tree
|
commitdiff
2020-06-04
Luke Kenneth Casso...
use copy of FHDLTestCase
tree
|
commitdiff
2020-06-03
Tobias Platen
Merge branch 'master' of ssh://git.libre-riscv.org...
tree
|
commitdiff
2020-06-03
Luke Kenneth Casso...
convert shift_rot tests to use common get_cu_inputs...
tree
|
commitdiff
2020-06-03
Tobias Platen
Merge branch 'master' of ssh://git.libre-riscv.org...
tree
|
commitdiff
2020-06-03
Luke Kenneth Casso...
remove rdflags in pipe_data.py (redundant)
tree
|
commitdiff
2020-06-02
Luke Kenneth Casso...
rename regspecs to give a consistent naming scheme
tree
|
commitdiff
2020-06-01
Luke Kenneth Casso...
okaaay add a "rdflags" function which obtains the yes...
tree
|
commitdiff
2020-06-01
Luke Kenneth Casso...
more unneeded fields from SR InputRecord
tree
|
commitdiff
2020-06-01
Luke Kenneth Casso...
remove data_len from SR input record
tree
|
commitdiff
2020-06-01
Luke Kenneth Casso...
remove zero/invert from ShiftRot Input Record
tree
|
commitdiff
next