projects / soc.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Revert "modify PortInterface so subfields include the port's name"
2020-06-24 Michael NolanRevert "modify PortInterface so subfields include the...
commit | commitdiff | tree
2020-06-24 Michael NolanUpdate comments for LoadStoreUnitInterface
 commit | commitdiff | tree
2020-06-24 Michael NolanHave lsmem handle stall and valid signals correctly
 commit | commitdiff | tree
2020-06-24 Michael NolanUpdate comments on LoadStoreUnitInterface again
 commit | commitdiff | tree
2020-06-24 Michael NolanUpdate comments on LoadStoreUnitInterface
 commit | commitdiff | tree
2020-06-24 Michael NolanAdd handling of byte reads and writes
 commit | commitdiff | tree
2020-06-24 Michael NolanAdd more complete testbench for lsmem.py
 commit | commitdiff | tree
2020-06-24 Michael NolanSuper basic first try of testmem with load store unit...
commit | commitdiff | tree
2020-06-24 Michael NolanAdd specification for load store interface
 commit | commitdiff | tree
2020-06-23 Michael Nolanmodify PortInterface so subfields include the port...
commit | commitdiff | tree
2020-06-10 Michael Nolanmodify qemu.py to set qemu's cr to 0
 commit | commitdiff | tree
2020-06-08 Michael NolanAdd register assertions, fix broken tests
 commit | commitdiff | tree
2020-06-08 Michael NolanUpdate to latest wiki version
 commit | commitdiff | tree
2020-06-08 Michael NolanRestore test_sim.py, begin modifying it for testing...
commit | commitdiff | tree
2020-06-02 Michael NolanSelect spr1 for bcctr - use fast_spr decoding from...
commit | commitdiff | tree
2020-06-02 Michael NolanFix broken wiki version
 commit | commitdiff | tree
2020-06-02 Michael NolanHandle removal of spr2 field from decoder
 commit | commitdiff | tree
2020-06-02 Michael NolanFix test_bc_reg
 commit | commitdiff | tree
2020-06-02 Michael NolanFix issues with test_bc_reg, wrong instruction field...
commit | commitdiff | tree
2020-06-01 Michael NolanAdd proof for RegFile
 commit | commitdiff | tree
2020-06-01 Michael NolanAdd proof for RegFileArray
 commit | commitdiff | tree
2020-06-01 Michael NolanHave regfile use AnySeq instead of AnyConst
 commit | commitdiff | tree
2020-06-01 Michael NolanEnable k-induction for register file proof
 commit | commitdiff | tree
2020-06-01 Michael NolanThat was weird. For some reason it wasn't generating...
commit | commitdiff | tree
2020-06-01 Michael NolanFull BMC proof of Register
 commit | commitdiff | tree
2020-06-01 Michael NolanBegin rewrite of proof_regfile.py
 commit | commitdiff | tree
2020-05-28 Michael NolanAdd proof for OP_SETB
 commit | commitdiff | tree
2020-05-28 Michael NolanUpdate to latest wiki version
 commit | commitdiff | tree
2020-05-28 Michael NolanAdd OP_SETB
 commit | commitdiff | tree
2020-05-28 Michael NolanFix test_isel to properly examine registers
 commit | commitdiff | tree
2020-05-27 Michael NolanFix bug in alu main stage proof
 commit | commitdiff | tree
2020-05-26 Michael NolanAdd extras from bottom of the file
 commit | commitdiff | tree
2020-05-26 Michael NolanRewrite proof to be more in line with what appears...
commit | commitdiff | tree
2020-05-25 Michael NolanCorrect polarity of shadow signal
 commit | commitdiff | tree
2020-05-25 Michael NolanAdd link to compunit wiki page
 commit | commitdiff | tree
2020-05-25 Michael NolanCorrect property numbers, add assertions about busy
 commit | commitdiff | tree
2020-05-25 Michael NolanAdd assertions about go_wr and wr_rel
 commit | commitdiff | tree
2020-05-25 Michael NolanMinor cleanup of comments
 commit | commitdiff | tree
2020-05-25 Michael NolanMinor changes to alu_hier.py to allow it to be used...
commit | commitdiff | tree
2020-05-25 Michael NolanBegin working on proof for compunit/fu
 commit | commitdiff | tree
2020-05-24 Michael NolanAssert that ctr is only written when needed
 commit | commitdiff | tree
2020-05-24 Michael NolanFix proof of bpermd module
 commit | commitdiff | tree
2020-05-24 Michael NolanFix bpermd and make tests pass
 commit | commitdiff | tree
2020-05-24 Michael NolanFix test_pipe_caller to conform to new Data() interface...
commit | commitdiff | tree
2020-05-23 Michael NolanModify proof of isel to use full CR register
 commit | commitdiff | tree
2020-05-23 Michael NolanAdd test_isel
 commit | commitdiff | tree
2020-05-22 Michael NolanFix link handling in branch proof
 commit | commitdiff | tree
2020-05-22 Michael NolanUpdate to latest wiki version - fix cr0 input for OP_CNTZ
 commit | commitdiff | tree
2020-05-22 Michael NolanAdd formal proof for branch unit, fix bug with bcreg
 commit | commitdiff | tree
2020-05-22 Michael NolanConvert branch unit to new CR interface
 commit | commitdiff | tree
2020-05-22 Michael NolanComplete CR proof
 commit | commitdiff | tree
2020-05-21 Michael NolanPartial attempt at proving the new cr unit.
 commit | commitdiff | tree
2020-05-21 Michael NolanAll CR tests now working
 commit | commitdiff | tree
2020-05-21 Michael NolanOP_CROP now working
 commit | commitdiff | tree
2020-05-21 Michael NolanBegin porting cr pipeline to new interface
 commit | commitdiff | tree
2020-05-21 Michael NolanAdd third cr register select field to decoder
 commit | commitdiff | tree
2020-05-21 Michael NolanUpdate to latest wiki version
 commit | commitdiff | tree
2020-05-21 Michael NolanFix broken unit tests in test_caller
 commit | commitdiff | tree
2020-05-21 Michael NolanAdd cr output decoder to power_decoder2.py
 commit | commitdiff | tree
2020-05-21 Michael NolanAdd CR In decoder to power_decoder2.py
 commit | commitdiff | tree
2020-05-21 Michael NolanConvert CR out to enum in power_decoder
 commit | commitdiff | tree
2020-05-21 Michael NolanUpdate to latest wiki version - convert CR out to enum
 commit | commitdiff | tree
2020-05-21 Michael NolanConvert CR In field to enum instead of single bit
 commit | commitdiff | tree
2020-05-21 Michael NolanUpdate to latest wiki version
 commit | commitdiff | tree
2020-05-21 Michael NolanFix broken test_adde/add overflow handling to caller.py
 commit | commitdiff | tree
2020-05-20 Michael NolanAdd proof for OP_MCRF
 commit | commitdiff | tree
2020-05-20 Michael NolanAdd proof for OP_MFCR
 commit | commitdiff | tree
2020-05-20 Michael NolanMake test for bpermd exercise the module a bit more
 commit | commitdiff | tree
2020-05-20 Michael NolanRevert "*technically* don't use a full crossbar"
 commit | commitdiff | tree
2020-05-20 Michael Nolan*technically* don't use a full crossbar
 commit | commitdiff | tree
2020-05-20 Michael NolanRevert "assign index to temporary"
 commit | commitdiff | tree
2020-05-20 Michael NolanAdd proof for OP_CROP
 commit | commitdiff | tree
2020-05-20 Michael NolanBegin adding CR proof
 commit | commitdiff | tree
2020-05-20 Michael NolanFix small bug in op_crop
 commit | commitdiff | tree
2020-05-20 Michael NolanUse overflow definition from microwatt
 commit | commitdiff | tree
2020-05-20 Michael NolanAdd overflow handling and proof
 commit | commitdiff | tree
2020-05-20 Michael NolanFix bug introduced in rebase
 commit | commitdiff | tree
2020-05-20 Michael NolanAdd proof for OP_CNTZ
 commit | commitdiff | tree
2020-05-20 Michael NolanAdd test for edge cases that were previously buggy
 commit | commitdiff | tree
2020-05-20 Michael NolanDelete assume left over from testing
 commit | commitdiff | tree
2020-05-20 Michael NolanAdd proof for OP_PRTY
 commit | commitdiff | tree
2020-05-20 Michael NolanFormally verify OP_POPCNT
 commit | commitdiff | tree
2020-05-20 Michael NolanFix bug with popcntd
 commit | commitdiff | tree
2020-05-20 Michael NolanAdd proof for OP_CMP and OP_CMPEQB
 commit | commitdiff | tree
2020-05-20 Michael NolanAdd proof for OP_EXTS
 commit | commitdiff | tree
2020-05-20 Michael NolanAdd 32 bit carry handling to alu
 commit | commitdiff | tree
2020-05-20 Michael NolanFix broken test_caller.py
 commit | commitdiff | tree
2020-05-19 Michael NolanAdd should_trap signal to trap output data
 commit | commitdiff | tree
2020-05-19 Michael NolanAdd trap main stage
 commit | commitdiff | tree
2020-05-19 Michael NolanUpdate to latest wiki version - fixing OP_TRAP
 commit | commitdiff | tree
2020-05-19 Michael NolanChange OP_TWI/TDI/TW/TD to OP_TRAP
 commit | commitdiff | tree
2020-05-19 Michael NolanBegin adding trap FU
 commit | commitdiff | tree
2020-05-19 Michael NolanImplement 32 bit cntlz and cnttz
 commit | commitdiff | tree
2020-05-19 Michael NolanActually implement cntlzd
 commit | commitdiff | tree
2020-05-19 Michael NolanFix weird edge cases with carry
 commit | commitdiff | tree
2020-05-19 Michael NolanAdd ca32 to caller.py
 commit | commitdiff | tree
2020-05-19 Michael NolanHandle carry out in alu
 commit | commitdiff | tree
2020-05-19 Michael NolanHandle carry in caller.py
 commit | commitdiff | tree
2020-05-18 Michael NolanFix error with selecting a selectableint using a selectableint
 commit | commitdiff | tree
2020-05-18 Michael NolanUpdate to latest wiki version
 commit | commitdiff | tree
next