projects / soc.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
soc.git
2020-05-30 Luke Kenneth... set CR0 output when OP_CMP or OP_CMPEQB need it commit | commitdiff | tree
2020-05-30 Luke Kenneth... add in use of "Settle" commit | commitdiff | tree
2020-05-30 Luke Kenneth... add in write-mask into MultiCompUnit and MCU-ALU unit... commit | commitdiff | tree
2020-05-30 Tobias PlatenMerge branch 'master' of ssh://git.libre-riscv.org... commit | commitdiff | tree
2020-05-30 Tobias Platenunit test for DataMerger commit | commitdiff | tree
2020-05-30 Luke Kenneth... create read-mask for ALU CompUnit: switches off optiona... commit | commitdiff | tree
2020-05-30 Luke Kenneth... create a write-mask, anything with an "ok" in the Recor... commit | commitdiff | tree
2020-05-30 Luke Kenneth... allow MultiCompUnit outputs to be Records, to capture... commit | commitdiff | tree
2020-05-30 Luke Kenneth... add read-mask to MultiCompUnit commit | commitdiff | tree
2020-05-30 Luke Kenneth... code-shuffle / comments commit | commitdiff | tree
2020-05-30 Luke Kenneth... mess - but a functional mess. ALU-MultiCompUnit semi... commit | commitdiff | tree
2020-05-30 Luke Kenneth... grab other results from ALU pipeline in compunit test commit | commitdiff | tree
2020-05-30 Luke Kenneth... order of XER so/ca wrong way round from regspec commit | commitdiff | tree
2020-05-30 Luke Kenneth... still experimenting with ALU-CompUnit interaction commit | commitdiff | tree
2020-05-29 Luke Kenneth... interesting. use of Settle() works, showing that Regfi... commit | commitdiff | tree
2020-05-29 Luke Kenneth... module comments for popcount commit | commitdiff | tree
2020-05-29 Luke Kenneth... comments on popcount commit | commitdiff | tree
2020-05-29 Luke Kenneth... trigger ALU ready when operands ready commit | commitdiff | tree
2020-05-29 Tobias Platenfixes for DataMerger commit | commitdiff | tree
2020-05-29 Luke Kenneth... trigger read ALU ready/valid from latch as well commit | commitdiff | tree
2020-05-29 Luke Kenneth... use a latch to communicate read/valid output from ALU commit | commitdiff | tree
2020-05-29 Tobias PlatenDataMerger: rename addr_match_i to addr_array_i commit | commitdiff | tree
2020-05-29 Tobias Platenfixed 'return m is missing' commit | commitdiff | tree
2020-05-29 Tobias Platenwhitespace fixes commit | commitdiff | tree
2020-05-29 Luke Kenneth... latch all output on ALU output valid commit | commitdiff | tree
2020-05-29 Luke Kenneth... create read-done pulse commit | commitdiff | tree
2020-05-29 Luke Kenneth... write-release moves out of "ALU valid" due to using... commit | commitdiff | tree
2020-05-29 Luke Kenneth... signal start of request from when ALU triggers result... commit | commitdiff | tree
2020-05-29 Luke Kenneth... create rising pulse from ALU valid commit | commitdiff | tree
2020-05-29 Luke Kenneth... names of attributes needs to be dest_o not dest_i commit | commitdiff | tree
2020-05-29 Luke Kenneth... rename output signals in Test ALU commit | commitdiff | tree
2020-05-29 Cesar StraussAllow immediate assertion of go in the same cycle as rel commit | commitdiff | tree
2020-05-29 Cesar StraussCorrect typo commit | commitdiff | tree
2020-05-29 Cesar StraussSend a one-clock "go" pulse after a configurable number... commit | commitdiff | tree
2020-05-28 Luke Kenneth... messing about with proof_regfile.py commit | commitdiff | tree
2020-05-28 Luke Kenneth... move simple_popcount out of class (does not use any... commit | commitdiff | tree
2020-05-28 colepoirierAdded Initial() synchronous check with draft truth commit | commitdiff | tree
2020-05-28 Luke Kenneth... extra check on rd.req in test_alu_compunit commit | commitdiff | tree
2020-05-28 Tobias Platenindention 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-28 Tobias Platenunittest for DataMerger commit | commitdiff | tree
2020-05-28 Tobias Platenmore fixes for DataMerger commit | commitdiff | tree
2020-05-28 Tobias PlatenMerge branch 'master' of ssh://git.libre-riscv.org... commit | commitdiff | tree
2020-05-28 Tobias Platenfixes for l0_cache.py commit | commitdiff | tree
2020-05-28 Luke Kenneth... debug-print rd/wr rel in test_alu_compunit commit | commitdiff | tree
2020-05-28 Luke Kenneth... add quick test of 3-operand DummyALU in MultiCompALU commit | commitdiff | tree
2020-05-28 Luke Kenneth... add 3rd parameter to DummyALU commit | commitdiff | tree
2020-05-28 Luke Kenneth... debugging test_alu_compunit.py commit | commitdiff | tree
2020-05-28 Luke Kenneth... start on a compunit ALU test commit | commitdiff | tree
2020-05-28 Luke Kenneth... update comment commit | commitdiff | tree
2020-05-28 Luke Kenneth... remove trick of not setting SO commit | commitdiff | tree
2020-05-28 Cesar StraussCheck that rd rises after issue_i, unless it's immediate commit | commitdiff | tree
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
next