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