projects / soc.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
soc.git
2020-05-25 Cesar StraussFix detection of busy_o inside the monitor process commit | commitdiff | tree
2020-05-25 Cesar StraussProof of concept of a parallel test commit | commitdiff | tree
2020-05-25 Tobias Platenfix own copy/paste error commit | commitdiff | tree
2020-05-25 Tobias Platenwhitespace fix in docstring commit | commitdiff | tree
2020-05-25 Luke Kenneth... correct links in regfile docstring commit | commitdiff | tree
2020-05-25 Luke Kenneth... document regfiles commit | commitdiff | tree
2020-05-25 Luke Kenneth... argh! frickin MACos terminal expanded out to 86x30... commit | commitdiff | tree
2020-05-25 Luke Kenneth... add docstring commit | commitdiff | tree
2020-05-25 Luke Kenneth... add INT, SPR and CR regfiles commit | commitdiff | tree
2020-05-25 Tobias Platenrefactoring (see #216 Comment 43) commit | commitdiff | tree
2020-05-25 Tobias Platenwhitespace changes commit | commitdiff | tree
2020-05-25 Luke Kenneth... quick addition of zero+immed test to LDSTCompUnit commit | commitdiff | tree
2020-05-25 Luke Kenneth... must not do rd-req checking when both imm and zero... commit | commitdiff | tree
2020-05-25 Tobias Platenimplement DataMerger interface commit | commitdiff | tree
2020-05-25 Luke Kenneth... add zero immed on LDST, untested commit | commitdiff | tree
2020-05-25 Luke Kenneth... comment out invalid test commit | commitdiff | tree
2020-05-25 Luke Kenneth... lots of greater than 80 chars commit | commitdiff | tree
2020-05-25 Luke Kenneth... switch out req rel if immediate enabled commit | commitdiff | tree
2020-05-25 Cesar StraussShow oper_r and oper_i in the signal list, in simulation commit | commitdiff | tree
2020-05-25 Luke Kenneth... mention zeroing commit | commitdiff | tree
2020-05-25 Luke Kenneth... add links to pseudocode commit | commitdiff | tree
2020-05-24 Luke Kenneth... spelling commit | commitdiff | tree
2020-05-24 Luke Kenneth... spelling commit | commitdiff | tree
2020-05-24 Luke Kenneth... add comments for SPR pipe_data commit | commitdiff | tree
2020-05-24 Luke Kenneth... add SPR pipe_data.py commit | commitdiff | tree
2020-05-24 Luke Kenneth... over 80 char limit commit | commitdiff | tree
2020-05-24 Luke Kenneth... add test of reg output, for MFCRF and ISEL commit | commitdiff | tree
2020-05-24 Cesar StraussAvoid overwriting the first vcd file with the second one commit | commitdiff | tree
2020-05-24 Cesar StraussRename the internal DFF of latchregisters to avoid... commit | commitdiff | tree
2020-05-24 Luke Kenneth... add gitignore for branch fu formal commit | commitdiff | tree
2020-05-24 Luke Kenneth... add OP_CMPB formal proof commit | commitdiff | tree
2020-05-24 Michael NolanAssert that ctr is only written when needed commit | commitdiff | tree
2020-05-24 Luke Kenneth... split out Popcount into separate module: visually it... commit | commitdiff | tree
2020-05-24 Luke Kenneth... copy code for MTMSR from microwatt into comments commit | commitdiff | tree
2020-05-24 Luke Kenneth... add links for trap main stage commit | commitdiff | tree
2020-05-24 Luke Kenneth... add untested OP_MTMSR and OP_MFMSR commit | commitdiff | tree
2020-05-24 Luke Kenneth... update to new CSV files in submodule commit | commitdiff | tree
2020-05-24 Luke Kenneth... add MFMSR and MTMSRD enums to Function commit | commitdiff | tree
2020-05-24 Luke Kenneth... comment and add links to branch formal proof commit | commitdiff | tree
2020-05-24 Luke Kenneth... add copy of bpermd proof to logical formal proof (not... commit | commitdiff | tree
2020-05-24 Luke Kenneth... track down overwrite of variable b 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-24 Luke Kenneth... add stub regfiles.py commit | commitdiff | tree
2020-05-24 Luke Kenneth... hmm... commit | commitdiff | tree
2020-05-24 Luke Kenneth... add very rapid DummyALU for test purposes in MultiCompUnit commit | commitdiff | tree
2020-05-24 Luke Kenneth... comments on branch pipeline commit | commitdiff | tree
2020-05-24 Luke Kenneth... convert CR pipeline to Data.ok commit | commitdiff | tree
2020-05-24 Luke Kenneth... convert ALU to output Data on int reg commit | commitdiff | tree
2020-05-24 Luke Kenneth... convert logical to output Data on int reg commit | commitdiff | tree
2020-05-24 Luke Kenneth... start using Data in pipelines commit | commitdiff | tree
2020-05-24 Luke Kenneth... cleanup/code-munge on ALU main stage proof commit | commitdiff | tree
2020-05-24 Luke Kenneth... error in alu output stage formal proof setup commit | commitdiff | tree
2020-05-24 Luke Kenneth... output registers need to be Data type (consistently) commit | commitdiff | tree
2020-05-24 Luke Kenneth... spelling mistake in variable commit | commitdiff | tree
2020-05-24 Luke Kenneth... TODO mention OP_MTMSR/OP_MFMSR commit | commitdiff | tree
2020-05-24 Luke Kenneth... add RA to trap pipeline, for OP_MTMSR/OP_MFMSR commit | commitdiff | tree
2020-05-24 Luke Kenneth... move docstring to wiki for compunit commit | commitdiff | tree
2020-05-23 colepoirierAdded branch and shift_rot imports to fu/compunits... commit | commitdiff | tree
2020-05-23 Cesar StraussAdd a few test cases with zero_a set, in combination... commit | commitdiff | tree
2020-05-23 Cesar StraussAllow zero_a to be set when simulating an operation commit | commitdiff | tree
2020-05-23 Luke Kenneth... add input / output stage missing modules commit | commitdiff | tree
2020-05-23 Luke Kenneth... common function for op zero and op immed commit | commitdiff | tree
2020-05-23 Cesar StraussChoose between RA (src1) and zero immediate, conditione... commit | commitdiff | tree
2020-05-23 Luke Kenneth... update docs on compunits commit | commitdiff | tree
2020-05-23 Luke Kenneth... remove extraneous test_isel commit | commitdiff | tree
2020-05-23 Luke Kenneth... add comments commit | commitdiff | tree
2020-05-23 Luke Kenneth... document purpose of regspec module commit | commitdiff | tree
2020-05-23 Luke Kenneth... split out RegSpecs into separate module commit | commitdiff | tree
2020-05-23 Luke Kenneth... add TODO on multi-in multi-out Function Units commit | commitdiff | tree
2020-05-23 Luke Kenneth... split out RegSpec API into separate class (TODO: move... commit | commitdiff | tree
2020-05-23 Luke Kenneth... add notes on FunctionUnit API commit | commitdiff | tree
2020-05-23 Luke Kenneth... make MultiCompUnit and testing ALU use regspec API... commit | commitdiff | tree
2020-05-23 Luke Kenneth... remove unneeded imports commit | commitdiff | tree
2020-05-23 Luke Kenneth... make demo/test ALU look like nmigen pipeline API commit | commitdiff | tree
2020-05-23 Luke Kenneth... add stub DataMerger class commit | commitdiff | tree
2020-05-23 Luke Kenneth... add link to regspecs on wiki commit | commitdiff | tree
2020-05-23 Luke Kenneth... add regspec capability to MultiCompUnit 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-23 Luke Kenneth... make immediate-or-RA selection optional based on awaren... commit | commitdiff | tree
2020-05-23 Luke Kenneth... start to morph MultiCompUnit to take "regspec" as the... commit | commitdiff | tree
2020-05-23 Luke Kenneth... add CR_ISEL formal proof to CR pipeline commit | commitdiff | tree
2020-05-23 Luke Kenneth... add CR_ISEL (and unit test) to CR pipeline commit | commitdiff | tree
2020-05-23 Luke Kenneth... update to (corrected) csv files for CR_ISEL commit | commitdiff | tree
2020-05-23 Luke Kenneth... select bits 2:5 from BC to get CR0 to 7 in DecodeCRin commit | commitdiff | tree
2020-05-23 Luke Kenneth... add gitignore commit | commitdiff | tree
2020-05-23 Luke Kenneth... CR field on Br input data is specd as 0:3 range commit | commitdiff | tree
2020-05-23 Luke Kenneth... add b to CR pipe input data, for isel commit | commitdiff | tree
2020-05-22 Luke Kenneth... add TODO and link to SHIFT_ROT formal bugreport commit | commitdiff | tree
2020-05-22 Luke Kenneth... remove xer.so from ShiftRot formal proof commit | commitdiff | tree
2020-05-22 Luke Kenneth... remove sticky overflow from Shift Rot pipeline commit | commitdiff | tree
2020-05-22 Luke Kenneth... test branch ctr ok flag commit | commitdiff | tree
2020-05-22 Luke Kenneth... cleaner way to test link register ok commit | commitdiff | tree
2020-05-22 Luke Kenneth... whitespace 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 Luke Kenneth... variable-name munging for branch formal commit | commitdiff | tree
2020-05-22 Michael NolanAdd formal proof for branch unit, fix bug with bcreg commit | commitdiff | tree
next