| 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 Platen | refactoring (see #216 Comment 43) |
commit | commitdiff | tree |
| 2020-05-25 |
Tobias Platen | whitespace 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 Platen | implement 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 Strauss | Show 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 Strauss | Avoid overwriting the first vcd file with the second one |
commit | commitdiff | tree |
| 2020-05-24 |
Cesar Strauss | Rename 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 Nolan | Assert 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 Nolan | Fix proof of bpermd module |
commit | commitdiff | tree |
| 2020-05-24 |
Michael Nolan | Fix bpermd and make tests pass |
commit | commitdiff | tree |
| 2020-05-24 |
Michael Nolan | Fix 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 |
colepoirier | Added branch and shift_rot imports to fu/compunits... |
commit | commitdiff | tree |
| 2020-05-23 |
Cesar Strauss | Add a few test cases with zero_a set, in combination... |
commit | commitdiff | tree |
| 2020-05-23 |
Cesar Strauss | Allow 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 Strauss | Choose 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 Nolan | Modify proof of isel to use full CR register |
commit | commitdiff | tree |
| 2020-05-23 |
Michael Nolan | Add 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 Nolan | Fix link handling in branch proof |
commit | commitdiff | tree |
| 2020-05-22 |
Michael Nolan | Update 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 Nolan | Add formal proof for branch unit, fix bug with bcreg |
commit | commitdiff | tree |
| 2020-05-22 |
Luke Kenneth... | cleanup logical pipe formal proof |
commit | commitdiff | tree |
| 2020-05-22 |
Luke Kenneth... | split out Logical Input and Output stages to common... |
commit | commitdiff | tree |
| 2020-05-22 |
Luke Kenneth... | div probably uses ALU not Logical, needs double-checkin... |
commit | commitdiff | tree |
| 2020-05-22 |
Luke Kenneth... | update comments for ALUCompUnit |
commit | commitdiff | tree |
| next |
projects / soc.git / shortlog