2020-07-24 |
Luke Kenneth... | calling the test dictionary from the constructor is... |
commit | commitdiff | tree |
2020-07-24 |
Luke Kenneth... | whoops spelling |
commit | commitdiff | tree |
2020-07-24 |
Luke Kenneth... | add the div pipe kind plus prog.assembly to the assert... |
commit | commitdiff | tree |
2020-07-24 |
Luke Kenneth... | call test_write_ilang only once - ends up being called... |
commit | commitdiff | tree |
2020-07-24 |
Luke Kenneth... | fix how long div tests run, de-comment FSM and DivPipeCore |
commit | commitdiff | tree |
2020-07-24 |
Luke Kenneth... | argh! work-in-progress breaking / fixing how to do... |
commit | commitdiff | tree |
2020-07-24 |
Luke Kenneth... | whoops must add DivTestCasesLong to get it to produce... |
commit | commitdiff | tree |
2020-07-24 |
Luke Kenneth... | remove bad hack calling trunc_divs/trunc_mods |
commit | commitdiff | tree |
2020-07-24 |
Luke Kenneth... | re-enable commented-out div unit tests |
commit | commitdiff | tree |
2020-07-24 |
Luke Kenneth... | split out "all" div into separate unit test (takes... |
commit | commitdiff | tree |
2020-07-24 |
Luke Kenneth... | reduce variable size, continuation not needed |
commit | commitdiff | tree |
2020-07-24 |
Luke Kenneth... | comment about timeline does not exist |
commit | commitdiff | tree |
2020-07-24 |
Luke Kenneth... | ah ha! not using "with" was not calling the "close... |
commit | commitdiff | tree |
2020-07-24 |
Luke Kenneth... | read into a BytesIO to avoid "too many open files" |
commit | commitdiff | tree |
2020-07-24 |
Luke Kenneth... | whitespace / comments |
commit | commitdiff | tree |
2020-07-24 |
Luke Kenneth... | restore modification to caller.py from reversion of... |
commit | commitdiff | tree |
2020-07-24 |
Luke Kenneth... | Revert "working on div's test_pipe_caller" |
commit | commitdiff | tree |
2020-07-24 |
Luke Kenneth... | bug found in pseudocode reader when assembly code has... |
commit | commitdiff | tree |
2020-07-24 |
Luke Kenneth... | submodule update |
commit | commitdiff | tree |
2020-07-24 |
Luke Kenneth... | code review comments for trap and proof |
commit | commitdiff | tree |
2020-07-24 |
Luke Kenneth... | made it clear what is meant by the slice numbering... |
commit | commitdiff | tree |
2020-07-24 |
Samuel A. Falvo II | Refactorin of common code |
commit | commitdiff | tree |
2020-07-24 |
Samuel A. Falvo II | Address code review comments |
commit | commitdiff | tree |
2020-07-24 |
Jacob Lifshay | working on div's test_pipe_caller |
commit | commitdiff | tree |
2020-07-24 |
Jacob Lifshay | add power-instruction-analyzer as a dependency |
commit | commitdiff | tree |
2020-07-24 |
Jacob Lifshay | format |
commit | commitdiff | tree |
2020-07-23 |
Luke Kenneth... | syntax error |
commit | commitdiff | tree |
2020-07-23 |
Luke Kenneth... | support 32-bit mem width setting |
commit | commitdiff | tree |
2020-07-23 |
Luke Kenneth... | try SDRAM SDR |
commit | commitdiff | tree |
2020-07-23 |
Luke Kenneth... | allow imem to be 64/32 bit wide |
commit | commitdiff | tree |
2020-07-23 |
Luke Kenneth... | begin core in running state |
commit | commitdiff | tree |
2020-07-23 |
Luke Kenneth... | try different MEMTEST_xxx sizes with 64 bit bus width |
commit | commitdiff | tree |
2020-07-23 |
Cole Poirier | Update libreriscv HDL_workflow/coriolis2 |
commit | commitdiff | tree |
2020-07-23 |
Jacob Lifshay | add all div* and mod* instructions to test_pipe_caller |
commit | commitdiff | tree |
2020-07-22 |
Jacob Lifshay | working on fsm |
commit | commitdiff | tree |
2020-07-22 |
Jacob Lifshay | Merge remote-tracking branch 'origin/master' |
commit | commitdiff | tree |
2020-07-22 |
Jacob Lifshay | format code |
commit | commitdiff | tree |
2020-07-22 |
Luke Kenneth... | re-add CRG (clock reset generator) |
commit | commitdiff | tree |
2020-07-22 |
Luke Kenneth... | missing ports from issuer, when doing verilog |
commit | commitdiff | tree |
2020-07-22 |
Luke Kenneth... | add clock domain using snippet taken from random file |
commit | commitdiff | tree |
2020-07-22 |
Luke Kenneth... | cleanup in litex core.py |
commit | commitdiff | tree |
2020-07-22 |
Luke Kenneth... | update comments |
commit | commitdiff | tree |
2020-07-22 |
Luke Kenneth... | add dummy irq set/get |
commit | commitdiff | tree |
2020-07-22 |
Luke Kenneth... | add boot-helper.S etc from microwatt litex core |
commit | commitdiff | tree |
2020-07-22 |
Luke Kenneth... | set additional MSR bits according to v3.0B spec when... |
commit | commitdiff | tree |
2020-07-22 |
Luke Kenneth... | use (new) MSRb and PIb which has auto-bigendian numbers |
commit | commitdiff | tree |
2020-07-22 |
Luke Kenneth... | sigh, auto-create some little/big-endian classes for... |
commit | commitdiff | tree |
2020-07-22 |
Luke Kenneth... | missed import of Builder, set cpu_type to "None" tempor... |
commit | commitdiff | tree |
2020-07-22 |
Luke Kenneth... | begin converting litex sim to libre-soc |
commit | commitdiff | tree |
2020-07-22 |
Luke Kenneth... | whoops forgot field accessor |
commit | commitdiff | tree |
2020-07-22 |
Luke Kenneth... | do not use wildcard import |
commit | commitdiff | tree |
2020-07-22 |
Luke Kenneth... | start from vexriscv sim.py from |
commit | commitdiff | tree |
2020-07-22 |
Luke Kenneth... | correct syntax error |
commit | commitdiff | tree |
2020-07-22 |
Luke Kenneth... | first version of litex core (to be submitted upstream... |
commit | commitdiff | tree |
2020-07-22 |
Luke Kenneth... | whoops typo, 63-start not 3-start (doh) |
commit | commitdiff | tree |
2020-07-22 |
Luke Kenneth... | field number ordering wrong way round? |
commit | commitdiff | tree |
2020-07-22 |
Luke Kenneth... | syntax error |
commit | commitdiff | tree |
2020-07-22 |
Luke Kenneth... | review trap main_stage.py modifications: we are not... |
commit | commitdiff | tree |
2020-07-22 |
Luke Kenneth... | comments, add page spec numbers for branch ops into... |
commit | commitdiff | tree |
2020-07-22 |
Luke Kenneth... | add comment headings with spec page numbers |
commit | commitdiff | tree |
2020-07-22 |
Luke Kenneth... | comment on op.insn ordering |
commit | commitdiff | tree |
2020-07-22 |
Luke Kenneth... | code-shuffle, add comments |
commit | commitdiff | tree |
2020-07-22 |
Luke Kenneth... | add TT.size and use it in PowerDecoder and trap input... |
commit | commitdiff | tree |
2020-07-22 |
Luke Kenneth... | inline comments in trap proof |
commit | commitdiff | tree |
2020-07-22 |
Luke Kenneth... | note that traptype MUST increase in bitwidth correspond... |
commit | commitdiff | tree |
2020-07-22 |
Luke Kenneth... | fix branch main_stage proof, add ctr 32-bit, fix BCREG |
commit | commitdiff | tree |
2020-07-22 |
Luke Kenneth... | rework branch proof to use br_input_record |
commit | commitdiff | tree |
2020-07-22 |
Luke Kenneth... | update README for pipe_data.py |
commit | commitdiff | tree |
2020-07-22 |
Luke Kenneth... | reduce number of FastRegs read ports |
commit | commitdiff | tree |
2020-07-22 |
Luke Kenneth... | comments on what goes into CommonPipeSpec |
commit | commitdiff | tree |
2020-07-22 |
Samuel A. Falvo II | Complete FV properties for OP_TRAP instructions. |
commit | commitdiff | tree |
2020-07-22 |
Samuel A. Falvo II | PEP8 compliance |
commit | commitdiff | tree |
2020-07-22 |
Jacob Lifshay | working on FSMDivCoreStage |
commit | commitdiff | tree |
2020-07-22 |
Jacob Lifshay | fix test_div_state_fsm |
commit | commitdiff | tree |
2020-07-21 |
Samuel A. Falvo II | Completed SC FV properties |
commit | commitdiff | tree |
2020-07-21 |
Samuel A. Falvo II | Refine properties to comply with spec |
commit | commitdiff | tree |
2020-07-21 |
Samuel A. Falvo II | Fix where msr_i gets its value from |
commit | commitdiff | tree |
2020-07-21 |
Samuel A. Falvo II | Merge in recent updates to TRAP FV properties. |
commit | commitdiff | tree |
2020-07-21 |
Luke Kenneth... | convert branch pipeline to use msr/cia as immediates |
commit | commitdiff | tree |
2020-07-21 |
Luke Kenneth... | put set_msr and set_cia back in for now |
commit | commitdiff | tree |
2020-07-21 |
Luke Kenneth... | interesting bug in test_compunit.py when there are... |
commit | commitdiff | tree |
2020-07-21 |
Luke Kenneth... | testing if MultiCompUnit can handle no input regs ... |
commit | commitdiff | tree |
2020-07-21 |
Luke Kenneth... | disable cxxsim for now |
commit | commitdiff | tree |
2020-07-21 |
Luke Kenneth... | move cia and msr to trap input record |
commit | commitdiff | tree |
2020-07-21 |
Luke Kenneth... | set ISACaller.msr rather than namespace[MSR] |
commit | commitdiff | tree |
2020-07-21 |
Luke Kenneth... | when running an exception (trap) after "reset" must... |
commit | commitdiff | tree |
2020-07-21 |
Luke Kenneth... | spurious imports of FHDLTestCase, should be from nmutil |
commit | commitdiff | tree |
2020-07-21 |
Luke Kenneth... | whitespace |
commit | commitdiff | tree |
2020-07-21 |
Luke Kenneth... | add PC (CIA) to PowerDecode2 "state" for passing into... |
commit | commitdiff | tree |
2020-07-21 |
Luke Kenneth... | add msr exception bits setting function in hardware |
commit | commitdiff | tree |
2020-07-21 |
Luke Kenneth... | make cxxsim optional and print warning |
commit | commitdiff | tree |
2020-07-21 |
Luke Kenneth... | corrections to trap proof see |
commit | commitdiff | tree |
2020-07-21 |
Luke Kenneth... | use alias for msr_i in trap proof |
commit | commitdiff | tree |
2020-07-21 |
Luke Kenneth... | correct trap spec page interrupt ref |
commit | commitdiff | tree |
2020-07-20 |
Samuel A. Falvo II | Rework SC properties to conform to style |
commit | commitdiff | tree |
2020-07-20 |
Samuel A. Falvo II | Formal properties for RFID. |
commit | commitdiff | tree |
2020-07-20 |
Cesar Strauss | Document the move of sdir from data_i to op. |
commit | commitdiff | tree |
2020-07-20 |
Cesar Strauss | Remove extra yield from test case. |
commit | commitdiff | tree |
2020-07-19 |
Luke Kenneth... | do not start core in terminated mode |
commit | commitdiff | tree |
2020-07-19 |
Luke Kenneth... | explicitly set up a pc_i_ok signal in test_microwatt.py |
commit | commitdiff | tree |
next |