projects / soc.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
soc.git
2020-05-28 Luke Kenneth... hmm.... commit | commitdiff | tree
2020-05-28 colepoirierAdd sync Assert for _wrports 'wen' signal in proof_regf... commit | commitdiff | tree
2020-05-28 Cesar StraussStore and present parameters together with issue_i commit | commitdiff | tree
2020-05-27 Luke Kenneth... do not use range(0, x) - just range(x) commit | commitdiff | tree
2020-05-27 Luke Kenneth... remove write-block on register zero commit | commitdiff | tree
2020-05-27 Luke Kenneth... code-morph, add TODO on OP_RFID, OP_SC, OP_ADDPCIS commit | commitdiff | tree
2020-05-27 colepoirierDerive proof_regfile Driver from regfile.Register(... commit | commitdiff | tree
2020-05-27 colepoirierFix indentation of regfile/formal/proof_regfile.py commit | commitdiff | tree
2020-05-27 colepoirierFirst commit of proof of regfile, not working yet commit | commitdiff | tree
2020-05-27 Luke Kenneth... add LD/ST pipe_data commit | commitdiff | tree
2020-05-27 Luke Kenneth... LogicalOutputData does not need XER.so commit | commitdiff | tree
2020-05-27 Luke Kenneth... comments commit | commitdiff | tree
2020-05-27 Luke Kenneth... remove XER.ca from logical Input Data - not needed commit | commitdiff | tree
2020-05-27 Luke Kenneth... cleanup logical main proof commit | commitdiff | tree
2020-05-27 Luke Kenneth... check cr0, ov and ca ok signals in ALU main_stage proof commit | commitdiff | tree
2020-05-27 Luke Kenneth... add carry-out, overflow and cr0 ok setting in ALU main_... commit | commitdiff | tree
2020-05-27 Luke Kenneth... add SRR0 to TrapInputData commit | commitdiff | tree
2020-05-27 Luke Kenneth... add links to bugreports into ALu formal proof as well commit | commitdiff | tree
2020-05-27 Luke Kenneth... add links to bugreports into alu output stage proof commit | commitdiff | tree
2020-05-27 Luke Kenneth... check reg output Data.ok in shift_rot formal proof commit | commitdiff | tree
2020-05-27 Luke Kenneth... rename CROutputData.cr_o to just CROutputData.cr commit | commitdiff | tree
2020-05-27 Luke Kenneth... test Data.ok for cr output and full cr output commit | commitdiff | tree
2020-05-27 Luke Kenneth... assign and test on Data, TODO add Data.ok checking... commit | commitdiff | tree
2020-05-27 Michael NolanFix bug in alu main stage proof commit | commitdiff | tree
2020-05-27 Cesar StraussMove test case parameters to an "operation" member... commit | commitdiff | tree
2020-05-27 Tobias PlatenMerge branch 'master' of ssh://git.libre-riscv.org... commit | commitdiff | tree
2020-05-27 Tobias Platenelaborate function for DataMerger commit | commitdiff | tree
2020-05-27 Cesar StraussRemove the monitor process commit | commitdiff | tree
2020-05-27 Luke Kenneth... make power function unit enum bitmasked commit | commitdiff | tree
2020-05-27 Luke Kenneth... add extra INT regs port for now, add Fast Regfile commit | commitdiff | tree
2020-05-27 Luke Kenneth... added XER and CR regfiles, using new VirtualRegPort commit | commitdiff | tree
2020-05-26 Luke Kenneth... check assertions commit | commitdiff | tree
2020-05-26 Luke Kenneth... make read/write regs properly internal commit | commitdiff | tree
2020-05-26 Luke Kenneth... add VirtualRegPort test, seems to demonstrate it working commit | commitdiff | tree
2020-05-26 Luke Kenneth... remove sync (not needed) commit | commitdiff | tree
2020-05-26 Luke Kenneth... get score6600_multi.py working again commit | commitdiff | tree
2020-05-26 Luke Kenneth... redo focus of virtual reg port to do only full datawidt... 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-26 Luke Kenneth... sort-of (maybe) implemented a virtual port on top of... commit | commitdiff | tree
2020-05-26 Luke Kenneth... try new variant of VirtualRegFile commit | commitdiff | tree
2020-05-26 Luke Kenneth... use nmutil treereduce commit | commitdiff | tree
2020-05-26 Luke Kenneth... continue virtual regfile port commit | commitdiff | tree
2020-05-26 Luke Kenneth... whitespace, add commentary commit | commitdiff | tree
2020-05-26 colepoirierFirst attempt at implementing block access rd and wr... commit | commitdiff | tree
2020-05-25 Cesar StraussCheck that busy_o doesn't rise on its own commit | commitdiff | tree
2020-05-25 Cesar StraussImplement the issue_i/busy_o protocol check. commit | commitdiff | tree
2020-05-25 Cesar StraussMove process list to CompUnitParallelTest commit | commitdiff | tree
2020-05-25 Michael NolanCorrect polarity of shadow signal commit | commitdiff | tree
2020-05-25 Luke Kenneth... document shadown inversion 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 Luke Kenneth... update comments on compalu_multi.py 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-25 Luke Kenneth... add some more stub comments commit | commitdiff | tree
2020-05-25 Luke Kenneth... yield blank so test passes commit | commitdiff | tree
2020-05-25 Luke Kenneth... add stubs commit | commitdiff | tree
2020-05-25 Luke Kenneth... add comments commit | commitdiff | tree
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
next