projects / soc.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge branch 'master' of ssh://git.libre-riscv.org:922/soc
[soc.git] / src /
2020-05-27 Tobias PlatenMerge branch 'master' of ssh://git.libre-riscv.org... tree | commitdiff
2020-05-27 Tobias Platenelaborate function for DataMerger tree | commitdiff
2020-05-27 Cesar StraussRemove the monitor process tree | commitdiff
2020-05-27 Luke Kenneth Casso... make power function unit enum bitmasked tree | commitdiff
2020-05-27 Luke Kenneth Casso... add extra INT regs port for now, add Fast Regfile tree | commitdiff
2020-05-27 Luke Kenneth Casso... added XER and CR regfiles, using new VirtualRegPort tree | commitdiff
2020-05-26 Luke Kenneth Casso... check assertions tree | commitdiff
2020-05-26 Luke Kenneth Casso... make read/write regs properly internal tree | commitdiff
2020-05-26 Luke Kenneth Casso... add VirtualRegPort test, seems to demonstrate it working tree | commitdiff
2020-05-26 Luke Kenneth Casso... remove sync (not needed) tree | commitdiff
2020-05-26 Luke Kenneth Casso... get score6600_multi.py working again tree | commitdiff
2020-05-26 Luke Kenneth Casso... redo focus of virtual reg port to do only full datawidt... tree | commitdiff
2020-05-26 Michael NolanAdd extras from bottom of the file tree | commitdiff
2020-05-26 Michael NolanRewrite proof to be more in line with what appears... tree | commitdiff
2020-05-26 Luke Kenneth Casso... sort-of (maybe) implemented a virtual port on top of... tree | commitdiff
2020-05-26 Luke Kenneth Casso... try new variant of VirtualRegFile tree | commitdiff
2020-05-26 Luke Kenneth Casso... use nmutil treereduce tree | commitdiff
2020-05-26 Luke Kenneth Casso... continue virtual regfile port tree | commitdiff
2020-05-26 Luke Kenneth Casso... whitespace, add commentary tree | commitdiff
2020-05-26 colepoirierFirst attempt at implementing block access rd and wr... tree | commitdiff
2020-05-25 Cesar StraussCheck that busy_o doesn't rise on its own tree | commitdiff
2020-05-25 Cesar StraussImplement the issue_i/busy_o protocol check. tree | commitdiff
2020-05-25 Cesar StraussMove process list to CompUnitParallelTest tree | commitdiff
2020-05-25 Michael NolanCorrect polarity of shadow signal tree | commitdiff
2020-05-25 Luke Kenneth Casso... document shadown inversion tree | commitdiff
2020-05-25 Michael NolanAdd link to compunit wiki page tree | commitdiff
2020-05-25 Michael NolanCorrect property numbers, add assertions about busy tree | commitdiff
2020-05-25 Luke Kenneth Casso... update comments on compalu_multi.py tree | commitdiff
2020-05-25 Michael NolanAdd assertions about go_wr and wr_rel tree | commitdiff
2020-05-25 Michael NolanMinor cleanup of comments tree | commitdiff
2020-05-25 Michael NolanMinor changes to alu_hier.py to allow it to be used... tree | commitdiff
2020-05-25 Michael NolanBegin working on proof for compunit/fu tree | commitdiff
2020-05-25 Luke Kenneth Casso... add some more stub comments tree | commitdiff
2020-05-25 Luke Kenneth Casso... yield blank so test passes tree | commitdiff
2020-05-25 Luke Kenneth Casso... add stubs tree | commitdiff
2020-05-25 Luke Kenneth Casso... add comments tree | commitdiff
2020-05-25 Cesar StraussFix detection of busy_o inside the monitor process tree | commitdiff
2020-05-25 Cesar StraussProof of concept of a parallel test tree | commitdiff
2020-05-25 Tobias Platenfix own copy/paste error tree | commitdiff
2020-05-25 Tobias Platenwhitespace fix in docstring tree | commitdiff
2020-05-25 Luke Kenneth Casso... correct links in regfile docstring tree | commitdiff
2020-05-25 Luke Kenneth Casso... document regfiles tree | commitdiff
2020-05-25 Luke Kenneth Casso... argh! frickin MACos terminal expanded out to 86x30... tree | commitdiff
2020-05-25 Luke Kenneth Casso... add docstring tree | commitdiff
2020-05-25 Luke Kenneth Casso... add INT, SPR and CR regfiles tree | commitdiff
2020-05-25 Tobias Platenrefactoring (see #216 Comment 43) tree | commitdiff
2020-05-25 Tobias Platenwhitespace changes tree | commitdiff
2020-05-25 Luke Kenneth Casso... quick addition of zero+immed test to LDSTCompUnit tree | commitdiff
2020-05-25 Luke Kenneth Casso... must not do rd-req checking when both imm and zero... tree | commitdiff
2020-05-25 Tobias Platenimplement DataMerger interface tree | commitdiff
2020-05-25 Luke Kenneth Casso... add zero immed on LDST, untested tree | commitdiff
2020-05-25 Luke Kenneth Casso... comment out invalid test tree | commitdiff
2020-05-25 Luke Kenneth Casso... lots of greater than 80 chars tree | commitdiff
2020-05-25 Luke Kenneth Casso... switch out req rel if immediate enabled tree | commitdiff
2020-05-25 Cesar StraussShow oper_r and oper_i in the signal list, in simulation tree | commitdiff
2020-05-25 Luke Kenneth Casso... mention zeroing tree | commitdiff
2020-05-25 Luke Kenneth Casso... add links to pseudocode tree | commitdiff
2020-05-24 Luke Kenneth Casso... spelling tree | commitdiff
2020-05-24 Luke Kenneth Casso... spelling tree | commitdiff
2020-05-24 Luke Kenneth Casso... add comments for SPR pipe_data tree | commitdiff
2020-05-24 Luke Kenneth Casso... add SPR pipe_data.py tree | commitdiff
2020-05-24 Luke Kenneth Casso... over 80 char limit tree | commitdiff
2020-05-24 Luke Kenneth Casso... add test of reg output, for MFCRF and ISEL tree | commitdiff
2020-05-24 Cesar StraussAvoid overwriting the first vcd file with the second one tree | commitdiff
2020-05-24 Cesar StraussRename the internal DFF of latchregisters to avoid... tree | commitdiff
2020-05-24 Luke Kenneth Casso... add gitignore for branch fu formal tree | commitdiff
2020-05-24 Luke Kenneth Casso... add OP_CMPB formal proof tree | commitdiff
2020-05-24 Michael NolanAssert that ctr is only written when needed tree | commitdiff
2020-05-24 Luke Kenneth Casso... split out Popcount into separate module: visually it... tree | commitdiff
2020-05-24 Luke Kenneth Casso... copy code for MTMSR from microwatt into comments tree | commitdiff
2020-05-24 Luke Kenneth Casso... add links for trap main stage tree | commitdiff
2020-05-24 Luke Kenneth Casso... add untested OP_MTMSR and OP_MFMSR tree | commitdiff
2020-05-24 Luke Kenneth Casso... add MFMSR and MTMSRD enums to Function tree | commitdiff
2020-05-24 Luke Kenneth Casso... comment and add links to branch formal proof tree | commitdiff
2020-05-24 Luke Kenneth Casso... add copy of bpermd proof to logical formal proof (not... tree | commitdiff
2020-05-24 Luke Kenneth Casso... track down overwrite of variable b tree | commitdiff
2020-05-24 Michael NolanFix proof of bpermd module tree | commitdiff
2020-05-24 Michael NolanFix bpermd and make tests pass tree | commitdiff
2020-05-24 Michael NolanFix test_pipe_caller to conform to new Data() interface... tree | commitdiff
2020-05-24 Luke Kenneth Casso... add stub regfiles.py tree | commitdiff
2020-05-24 Luke Kenneth Casso... hmm... tree | commitdiff
2020-05-24 Luke Kenneth Casso... add very rapid DummyALU for test purposes in MultiCompUnit tree | commitdiff
2020-05-24 Luke Kenneth Casso... comments on branch pipeline tree | commitdiff
2020-05-24 Luke Kenneth Casso... convert CR pipeline to Data.ok tree | commitdiff
2020-05-24 Luke Kenneth Casso... convert ALU to output Data on int reg tree | commitdiff
2020-05-24 Luke Kenneth Casso... convert logical to output Data on int reg tree | commitdiff
2020-05-24 Luke Kenneth Casso... start using Data in pipelines tree | commitdiff
2020-05-24 Luke Kenneth Casso... cleanup/code-munge on ALU main stage proof tree | commitdiff
2020-05-24 Luke Kenneth Casso... error in alu output stage formal proof setup tree | commitdiff
2020-05-24 Luke Kenneth Casso... output registers need to be Data type (consistently) tree | commitdiff
2020-05-24 Luke Kenneth Casso... spelling mistake in variable tree | commitdiff
2020-05-24 Luke Kenneth Casso... TODO mention OP_MTMSR/OP_MFMSR tree | commitdiff
2020-05-24 Luke Kenneth Casso... add RA to trap pipeline, for OP_MTMSR/OP_MFMSR tree | commitdiff
2020-05-24 Luke Kenneth Casso... move docstring to wiki for compunit tree | commitdiff
2020-05-23 colepoirierAdded branch and shift_rot imports to fu/compunits... tree | commitdiff
2020-05-23 Cesar StraussAdd a few test cases with zero_a set, in combination... tree | commitdiff
2020-05-23 Cesar StraussAllow zero_a to be set when simulating an operation tree | commitdiff
2020-05-23 Luke Kenneth Casso... add input / output stage missing modules tree | commitdiff
2020-05-23 Luke Kenneth Casso... common function for op zero and op immed tree | commitdiff
2020-05-23 Cesar StraussChoose between RA (src1) and zero immediate, conditione... tree | commitdiff
next