| 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 Nolan | Fix bug in alu main stage proof |
commit | commitdiff | tree |
| 2020-05-27 |
Cesar Strauss | Move test case parameters to an "operation" member... |
commit | commitdiff | tree |
| 2020-05-27 |
Tobias Platen | Merge branch 'master' of ssh://git.libre-riscv.org... |
commit | commitdiff | tree |
| 2020-05-27 |
Tobias Platen | elaborate function for DataMerger |
commit | commitdiff | tree |
| 2020-05-27 |
Cesar Strauss | Remove 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 Nolan | Add extras from bottom of the file |
commit | commitdiff | tree |
| 2020-05-26 |
Michael Nolan | Rewrite 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 |
colepoirier | First attempt at implementing block access rd and wr... |
commit | commitdiff | tree |
| 2020-05-25 |
Cesar Strauss | Check that busy_o doesn't rise on its own |
commit | commitdiff | tree |
| 2020-05-25 |
Cesar Strauss | Implement the issue_i/busy_o protocol check. |
commit | commitdiff | tree |
| 2020-05-25 |
Cesar Strauss | Move process list to CompUnitParallelTest |
commit | commitdiff | tree |
| 2020-05-25 |
Michael Nolan | Correct polarity of shadow signal |
commit | commitdiff | tree |
| 2020-05-25 |
Luke Kenneth... | document shadown inversion |
commit | commitdiff | tree |
| 2020-05-25 |
Michael Nolan | Add link to compunit wiki page |
commit | commitdiff | tree |
| 2020-05-25 |
Michael Nolan | Correct 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 Nolan | Add assertions about go_wr and wr_rel |
commit | commitdiff | tree |
| 2020-05-25 |
Michael Nolan | Minor cleanup of comments |
commit | commitdiff | tree |
| 2020-05-25 |
Michael Nolan | Minor changes to alu_hier.py to allow it to be used... |
commit | commitdiff | tree |
| 2020-05-25 |
Michael Nolan | Begin 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 Strauss | Fix detection of busy_o inside the monitor process |
commit | commitdiff | tree |
| 2020-05-25 |
Cesar Strauss | Proof of concept of a parallel test |
commit | commitdiff | tree |
| 2020-05-25 |
Tobias Platen | fix own copy/paste error |
commit | commitdiff | tree |
| 2020-05-25 |
Tobias Platen | whitespace 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 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 |
| next |
projects / soc.git / shortlog