projects
/
soc.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
make cxxsim optional and print warning
[soc.git]
/
src
/
soc
/
fu
/
2020-07-21
Luke Kenneth Casso...
make cxxsim optional and print warning
tree
|
commitdiff
2020-07-21
Luke Kenneth Casso...
corrections to trap proof see
tree
|
commitdiff
2020-07-21
Luke Kenneth Casso...
use alias for msr_i in trap proof
tree
|
commitdiff
2020-07-21
Luke Kenneth Casso...
correct trap spec page interrupt ref
tree
|
commitdiff
2020-07-20
Samuel A. Falvo II
Rework SC properties to conform to style
tree
|
commitdiff
2020-07-20
Samuel A. Falvo II
Formal properties for RFID.
tree
|
commitdiff
2020-07-19
Luke Kenneth Casso...
use same write_vcd for cxxsim as pysim
tree
|
commitdiff
2020-07-19
Luke Kenneth Casso...
fix bug in alu_fsm.py found by cxxsim: missing one...
tree
|
commitdiff
2020-07-19
Luke Kenneth Casso...
remove unneeded import
tree
|
commitdiff
2020-07-19
Luke Kenneth Casso...
if nmigen.sim.pysim import fails use nmigen.back.pysim
tree
|
commitdiff
2020-07-18
Luke Kenneth Casso...
worked out that DivPipeSpec can be given a default...
tree
|
commitdiff
2020-07-18
Luke Kenneth Casso...
missing conversion of DIV to Div
tree
|
commitdiff
2020-07-18
Luke Kenneth Casso...
whoops use slice not range
tree
|
commitdiff
2020-07-18
Luke Kenneth Casso...
syntax error
tree
|
commitdiff
2020-07-18
Luke Kenneth Casso...
add comment and copy of pseudo-code for OP_RFID into...
tree
|
commitdiff
2020-07-18
Luke Kenneth Casso...
review of OP_RFID showed up some errors
tree
|
commitdiff
2020-07-18
Luke Kenneth Casso...
corrections to trap main_stage.py OP_RFID according...
tree
|
commitdiff
2020-07-18
Samuel A. Falvo II
WIP: FV failing for unknown reasons.
tree
|
commitdiff
2020-07-18
Jacob Lifshay
Merge branch 'master' of ssh://git.libre-riscv.org...
tree
|
commitdiff
2020-07-18
Jacob Lifshay
add div fsm core (`DivState*`) with tests
tree
|
commitdiff
2020-07-18
Samuel A. Falvo II
Failing test: fast1/fast2 vs srr0/srr1? on trap pipe
tree
|
commitdiff
2020-07-18
Samuel A. Falvo II
forgot to clean up workspace in source
tree
|
commitdiff
2020-07-18
Samuel A. Falvo II
FV props for SC instruction
tree
|
commitdiff
2020-07-17
Samuel A. Falvo II
First FV property for trap unit
tree
|
commitdiff
2020-07-17
Jacob Lifshay
Merge branch 'master' of ssh://git.libre-riscv.org...
tree
|
commitdiff
2020-07-17
Jacob Lifshay
start adding FSMDivCore*
tree
|
commitdiff
2020-07-17
Jacob Lifshay
Merge branch 'master' of ssh://git.libre-riscv.org...
tree
|
commitdiff
2020-07-17
Luke Kenneth Casso...
comments
tree
|
commitdiff
2020-07-17
Luke Kenneth Casso...
whitespace
tree
|
commitdiff
2020-07-17
Luke Kenneth Casso...
use convenience vars in spr proof
tree
|
commitdiff
2020-07-17
Samuel A. Falvo II
Flesh out SPR-related FV properties.
tree
|
commitdiff
2020-07-17
Luke Kenneth Casso...
whitespace
tree
|
commitdiff
2020-07-17
Luke Kenneth Casso...
whitespace
tree
|
commitdiff
2020-07-17
Jacob Lifshay
add simulation-only division core using nmigen div...
tree
|
commitdiff
2020-07-17
Jacob Lifshay
rename DIV->Div to be consistent
tree
|
commitdiff
2020-07-17
Jacob Lifshay
format div code
tree
|
commitdiff
2020-07-16
Luke Kenneth Casso...
whoops tried doing mtspr priv, it failed but failed...
div_pipeline
tree
|
commitdiff
2020-07-16
Luke Kenneth Casso...
get shiftrot compunit working
tree
|
commitdiff
2020-07-16
Luke Kenneth Casso...
more tidyup on use of CompOpSubsetBase
tree
|
commitdiff
2020-07-16
Luke Kenneth Casso...
use CompOpSubsetBase in ldst record
tree
|
commitdiff
2020-07-16
Luke Kenneth Casso...
update cr input record to use new CompOpSubsetBase
tree
|
commitdiff
2020-07-16
Luke Kenneth Casso...
add regression test on setb simulator error
tree
|
commitdiff
2020-07-16
Luke Kenneth Casso...
use CompOpSubsetBase class in Branch op record
tree
|
commitdiff
2020-07-16
Luke Kenneth Casso...
get branch compunit working (missing bigendian arg)
tree
|
commitdiff
2020-07-16
Luke Kenneth Casso...
get trap compunit test working, adding bigendian and msr
tree
|
commitdiff
2020-07-16
Luke Kenneth Casso...
add mfmsr trap tests
tree
|
commitdiff
2020-07-15
Luke Kenneth Casso...
use new CompOpSubsetBase in trap
tree
|
commitdiff
2020-07-15
Luke Kenneth Casso...
remove unneeded comment in trap msin stage
tree
|
commitdiff
2020-07-15
Luke Kenneth Casso...
remove unneeded comment in trap pipe_data
tree
|
commitdiff
2020-07-15
Luke Kenneth Casso...
document branch pipeline relationship with PowerDecode2
tree
|
commitdiff
2020-07-15
Luke Kenneth Casso...
move traptype to soc.consts
tree
|
commitdiff
2020-07-15
Luke Kenneth Casso...
add better comments on mul overflow
tree
|
commitdiff
2020-07-15
Luke Kenneth Casso...
test privileged rfid call
tree
|
commitdiff
2020-07-15
Luke Kenneth Casso...
spelling error
tree
|
commitdiff
2020-07-15
Luke Kenneth Casso...
range of testing overflow was incorrect in mul
tree
|
commitdiff
2020-07-15
Luke Kenneth Casso...
set MSR up properly for privileged mtmsr test
tree
|
commitdiff
2020-07-15
Luke Kenneth Casso...
comments on IntegerData class
tree
|
commitdiff
2020-07-15
Luke Kenneth Casso...
import PipeContext not FPPipeContext
tree
|
commitdiff
2020-07-15
Luke Kenneth Casso...
use Record Assert and also check muxid
tree
|
commitdiff
2020-07-15
Luke Kenneth Casso...
no need to check individual port members, just check...
tree
|
commitdiff
2020-07-14
Luke Kenneth Casso...
cookie-cut setup from alu proof_main_stage.py
tree
|
commitdiff
2020-07-14
Luke Kenneth Casso...
reduce code size by using CompOpSubsetBase for ALU...
tree
|
commitdiff
2020-07-14
Luke Kenneth Casso...
split out CompOpSubsetBase (meaning to do for a while)
tree
|
commitdiff
2020-07-14
Luke Kenneth Casso...
update docstrings
tree
|
commitdiff
2020-07-14
Luke Kenneth Casso...
adding MSR.PR unit test intended to activate privileged...
tree
|
commitdiff
2020-07-14
Samuel A. Falvo II
SPR: FV that should fail currently passes
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...
attempting running cxxsim on ALU pipeline 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...
add mtmsrd instruction and unit test
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-12
Luke Kenneth Casso...
change CSV LD/ST update field to LDSTMode (support...
tree
|
commitdiff
2020-07-12
Luke Kenneth Casso...
add std and stdu ldst unit tests
tree
|
commitdiff
2020-07-11
Luke Kenneth Casso...
add bigendian flag
tree
|
commitdiff
2020-07-11
Luke Kenneth Casso...
add endian
tree
|
commitdiff
2020-07-11
Luke Kenneth Casso...
sigh spelling
tree
|
commitdiff
2020-07-11
Luke Kenneth Casso...
add bigendian
tree
|
commitdiff
2020-07-11
Luke Kenneth Casso...
sorting out bigendian/littleendian including in qemu
tree
|
commitdiff
2020-07-11
Luke Kenneth Casso...
add random mulhd and mulld tests
tree
|
commitdiff
2020-07-11
Luke Kenneth Casso...
enable mul tests after sorting pseudo-code mul overflow
tree
|
commitdiff
2020-07-11
Luke Kenneth Casso...
special test for mul hw to cope with ignoring OE flag
tree
|
commitdiff
2020-07-10
Luke Kenneth Casso...
add a DIVS function as separate and discrete from floor_div
tree
|
commitdiff
2020-07-10
Luke Kenneth Casso...
add random unsigned div tests
tree
|
commitdiff
2020-07-10
Luke Kenneth Casso...
add overflow div tests
tree
|
commitdiff
2020-07-10
Luke Kenneth Casso...
propagate missing parameters from div
tree
|
commitdiff
next