projects / soc.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
debugging test_alu_compunit.py
[soc.git] / src /
2020-05-28 Luke Kenneth Casso... debugging test_alu_compunit.py tree | commitdiff
2020-05-28 Luke Kenneth Casso... start on a compunit ALU test tree | commitdiff
2020-05-28 Luke Kenneth Casso... update comment tree | commitdiff
2020-05-28 Luke Kenneth Casso... remove trick of not setting SO tree | commitdiff
2020-05-28 Cesar StraussCheck that rd rises after issue_i, unless it's immediate tree | commitdiff
2020-05-28 Luke Kenneth Casso... hmm.... tree | commitdiff
2020-05-28 colepoirierAdd sync Assert for _wrports 'wen' signal in proof_regf... tree | commitdiff
2020-05-28 Cesar StraussStore and present parameters together with issue_i tree | commitdiff
2020-05-27 Luke Kenneth Casso... do not use range(0, x) - just range(x) tree | commitdiff
2020-05-27 Luke Kenneth Casso... remove write-block on register zero tree | commitdiff
2020-05-27 Luke Kenneth Casso... code-morph, add TODO on OP_RFID, OP_SC, OP_ADDPCIS tree | commitdiff
2020-05-27 colepoirierDerive proof_regfile Driver from regfile.Register(... tree | commitdiff
2020-05-27 colepoirierFix indentation of regfile/formal/proof_regfile.py tree | commitdiff
2020-05-27 colepoirierFirst commit of proof of regfile, not working yet tree | commitdiff
2020-05-27 Luke Kenneth Casso... add LD/ST pipe_data tree | commitdiff
2020-05-27 Luke Kenneth Casso... LogicalOutputData does not need XER.so tree | commitdiff
2020-05-27 Luke Kenneth Casso... comments tree | commitdiff
2020-05-27 Luke Kenneth Casso... remove XER.ca from logical Input Data - not needed tree | commitdiff
2020-05-27 Luke Kenneth Casso... cleanup logical main proof tree | commitdiff
2020-05-27 Luke Kenneth Casso... check cr0, ov and ca ok signals in ALU main_stage proof tree | commitdiff
2020-05-27 Luke Kenneth Casso... add carry-out, overflow and cr0 ok setting in ALU main_... tree | commitdiff
2020-05-27 Luke Kenneth Casso... add SRR0 to TrapInputData tree | commitdiff
2020-05-27 Luke Kenneth Casso... add links to bugreports into ALu formal proof as well tree | commitdiff
2020-05-27 Luke Kenneth Casso... add links to bugreports into alu output stage proof tree | commitdiff
2020-05-27 Luke Kenneth Casso... check reg output Data.ok in shift_rot formal proof tree | commitdiff
2020-05-27 Luke Kenneth Casso... rename CROutputData.cr_o to just CROutputData.cr tree | commitdiff
2020-05-27 Luke Kenneth Casso... test Data.ok for cr output and full cr output tree | commitdiff
2020-05-27 Luke Kenneth Casso... assign and test on Data, TODO add Data.ok checking... tree | commitdiff
2020-05-27 Michael NolanFix bug in alu main stage proof tree | commitdiff
2020-05-27 Cesar StraussMove test case parameters to an "operation" member... tree | commitdiff
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
next