| 2022-04-16 |
Cesar Strauss | Sync proof state with downstream memories |
commit | commitdiff | tree |
| 2022-04-16 |
Luke Kenneth... | put the old microwatt compatibility back |
commit | commitdiff | tree |
| 2022-04-16 |
Luke Kenneth... | blegh. |
commit | commitdiff | tree |
| 2022-04-15 |
Cesar Strauss | Complete moving the induction support into the DUT |
commit | commitdiff | tree |
| 2022-04-15 |
Cesar Strauss | Fix incorrect signal widths |
commit | commitdiff | tree |
| 2022-04-15 |
Cesar Strauss | Move part of formal proof to the implementation |
commit | commitdiff | tree |
| 2022-04-14 |
Luke Kenneth... | add option Spec to XICS ICP/ICS to be able to activate... |
commit | commitdiff | tree |
| 2022-04-14 |
Luke Kenneth... | move IRQLine out because that makes soc dependent on... |
commit | commitdiff | tree |
| 2022-04-14 |
Luke Kenneth... | 80 char limit, remove creation of stall from ack/cyc... |
commit | commitdiff | tree |
| 2022-04-14 |
Raptor Engineering... | wb_async: Allow different feature fields for master... |
commit | commitdiff | tree |
| 2022-04-14 |
Raptor Engineering... | Add separate memory clock register to SYSCON |
commit | commitdiff | tree |
| 2022-04-12 |
Tobias Platen | issuer.py: add microwatt_old and microwatt_debug options |
commit | commitdiff | tree |
| 2022-04-11 |
Raptor Engineering... | Separate core and nest clocks in Microwatt SYSCON |
commit | commitdiff | tree |
| 2022-04-11 |
Raptor Engineering... | Add initial wrapper for Wishbone asynchronous bridge... |
commit | commitdiff | tree |
| 2022-04-10 |
Cesar Strauss | Begin a formal proof of the LVT-based 1W/1R wrapper |
commit | commitdiff | tree |
| 2022-04-10 |
Cesar Strauss | Implement 1W/1R with a transparent (or not) read port. |
commit | commitdiff | tree |
| 2022-04-10 |
Cesar Strauss | Implement a true 1W/1R memory from 1RW blocks |
commit | commitdiff | tree |
| 2022-04-09 |
Luke Kenneth... | add a new make target for setting coldboot firmware... |
commit | commitdiff | tree |
| 2022-04-08 |
Luke Kenneth... | syntax error |
commit | commitdiff | tree |
| 2022-04-08 |
Luke Kenneth... | add dram to SysCon |
commit | commitdiff | tree |
| 2022-04-08 |
Luke Kenneth... | add SPI offset to microwatt syscon |
commit | commitdiff | tree |
| 2022-04-06 |
Luke Kenneth... | only add clock-settings on ECP5 due to special SPI... |
commit | commitdiff | tree |
| 2022-04-04 |
Luke Kenneth... | add tempfile to uart16550 wrapper which defines DATA_BU... |
commit | commitdiff | tree |
| 2022-04-04 |
Luke Kenneth... | disable sphinx verilg-diagrams for now |
commit | commitdiff | tree |
| 2022-04-04 |
Luke Kenneth... | allow direction-setting on each of dq0-3 in Tercel... |
commit | commitdiff | tree |
| 2022-04-03 |
Luke Kenneth... | cant stand the practice of putting docstrings *after... |
commit | commitdiff | tree |
| 2022-04-03 |
Cesar Strauss | Extend the proof to a non-transparent port |
commit | commitdiff | tree |
| 2022-04-03 |
Cesar Strauss | Run formal proof on both types (even/odd) of phased... |
commit | commitdiff | tree |
| 2022-04-03 |
Cesar Strauss | Complete the formal proof of the pseudo dual port SRAM |
commit | commitdiff | tree |
| 2022-04-03 |
Cesar Strauss | Implement a debug port on the pseudo 1W/1R SRAM |
commit | commitdiff | tree |
| 2022-04-03 |
Cesar Strauss | Formal proof of the phased write dual port memory wrapper |
commit | commitdiff | tree |
| 2022-04-03 |
Luke Kenneth... | correct default to zero string not zero int |
commit | commitdiff | tree |
| 2022-04-03 |
Luke Kenneth... | add alternative pc_reset argument to issuer_verilog.py |
commit | commitdiff | tree |
| 2022-04-03 |
Luke Kenneth... | fix some of instantiation errors in opencores_ethmac.py |
commit | commitdiff | tree |
| 2022-04-02 |
Raptor Engineering... | Fix opencores EthMAC module wiring |
commit | commitdiff | tree |
| 2022-04-02 |
Cesar Strauss | Implement transparent read ports on the phased write... |
commit | commitdiff | tree |
| 2022-04-02 |
Cesar Strauss | Implement and test a "phased write port" memory |
commit | commitdiff | tree |
| 2022-03-31 |
Luke Kenneth... | invert cs_n pin in Tercel |
commit | commitdiff | tree |
| 2022-03-30 |
Luke Kenneth... | nope, default features in Tercel WB Buses need to not... |
commit | commitdiff | tree |
| 2022-03-29 |
Luke Kenneth... | add bus.err to list of default Wishbone signals in... |
commit | commitdiff | tree |
| 2022-03-29 |
Luke Kenneth... | byte-reverse Tercel read/write data and config bus... |
commit | commitdiff | tree |
| 2022-03-29 |
Luke Kenneth... | set clock freq Constant length to 32-bit in Tercel. |
commit | commitdiff | tree |
| 2022-03-29 |
Luke Kenneth... | self.specials does not exist, Instances must be added... |
commit | commitdiff | tree |
| 2022-03-29 |
Luke Kenneth... | more sorting out wishbone names in Tercel |
commit | commitdiff | tree |
| 2022-03-29 |
Luke Kenneth... | fix names of Instance signals in Tercel |
commit | commitdiff | tree |
| 2022-03-29 |
Luke Kenneth... | sort out variable names in Tercel |
commit | commitdiff | tree |
| 2022-03-29 |
Luke Kenneth... | self.comb does not exist, comb is a local temp-var... |
commit | commitdiff | tree |
| 2022-03-29 |
Luke Kenneth... | whitespace cleanup (80 char limit) |
commit | commitdiff | tree |
| 2022-03-29 |
Raptor Engineering... | Add initial integration for OpenCores 10/100 Ethernet MAC |
commit | commitdiff | tree |
| 2022-03-27 |
Cesar Strauss | Finish the SRAM formal proof by implementing induction |
commit | commitdiff | tree |
| 2022-03-26 |
Cesar Strauss | Add formal verification of the single port memory block |
commit | commitdiff | tree |
| 2022-03-26 |
Luke Kenneth... | rename PLRU modules to avoid conflict in microwatt |
commit | commitdiff | tree |
| 2022-03-18 |
Luke Kenneth... | whitespace cleanup (80 char limit, pep8) |
commit | commitdiff | tree |
| 2022-03-18 |
Luke Kenneth... | turn CompALU/CompLDST latches synchronous |
commit | commitdiff | tree |
| 2022-03-16 |
Raptor Engineering... | Add initial Tercel integration |
commit | commitdiff | tree |
| 2022-03-13 |
Cesar Strauss | Simulate some read/write/modify operations on the SRAM... |
commit | commitdiff | tree |
| 2022-03-13 |
Cesar Strauss | Add a Single R/W Port SRAM model |
commit | commitdiff | tree |
| 2022-03-12 |
Luke Kenneth... | add extra pipeline stages to ALU FU to make timing |
commit | commitdiff | tree |
| 2022-03-12 |
Luke Kenneth... | introduce extra register of delay to split combinatoria... |
commit | commitdiff | tree |
| 2022-03-12 |
Luke Kenneth... | Revert "read last row from r.wb.adr not r.req_adr in... |
commit | commitdiff | tree |
| 2022-03-12 |
Luke Kenneth... | Revert "store cur_state.pc+4 in separate register to... |
commit | commitdiff | tree |
| 2022-03-12 |
Luke Kenneth... | store cur_state.pc+4 in separate register to help reduce |
commit | commitdiff | tree |
| 2022-03-12 |
Luke Kenneth... | read last row from r.wb.adr not r.req_adr in icache |
commit | commitdiff | tree |
| 2022-03-08 |
Luke Kenneth... | remove stbs_done in icache.py |
commit | commitdiff | tree |
| 2022-03-08 |
Luke Kenneth... | remove ld_stbs_done from dcache: not needed |
commit | commitdiff | tree |
| 2022-03-08 |
Luke Kenneth... | work-in-progress on sdram opencores wrapper |
commit | commitdiff | tree |
| 2022-03-06 |
Cesar Strauss | Copy the startup delay from issuer.py to inorder.py |
commit | commitdiff | tree |
| 2022-02-28 |
Luke Kenneth... | attempting to introduce an extra few clock cycles delay... |
commit | commitdiff | tree |
| 2022-02-27 |
Luke Kenneth... | for lulz make I-Cache possible to set to 32-bit (XLEN=32) |
commit | commitdiff | tree |
| 2022-02-27 |
Luke Kenneth... | bit_length is 1 more than needed: subtract 1 from XLEN... |
commit | commitdiff | tree |
| 2022-02-27 |
Luke Kenneth... | fix up shift_rot test_pipe_caller to new regspeckls... |
commit | commitdiff | tree |
| 2022-02-27 |
Luke Kenneth... | convert shift_rot pipeline to XLEN=32/64 |
commit | commitdiff | tree |
| 2022-02-27 |
Luke Kenneth... | fix up Logical pipeline to produce HDL with XLEN=32 |
commit | commitdiff | tree |
| 2022-02-27 |
Luke Kenneth... | whoops ALU common output target must be XLEN-bit, |
commit | commitdiff | tree |
| 2022-02-27 |
Luke Kenneth... | set up dummy parent_pspec to pass XLEN=64 in |
commit | commitdiff | tree |
| 2022-02-27 |
Luke Kenneth... | start on converting MUL and DIV pipelines to XLEN |
commit | commitdiff | tree |
| 2022-02-27 |
Luke Kenneth... | convert from public static functions/properties for... |
commit | commitdiff | tree |
| 2022-02-27 |
Luke Kenneth... | fix ALU with XLEN=32, carry and overflow |
commit | commitdiff | tree |
| 2022-02-27 |
Luke Kenneth... | use XLEN in Function Units (starting with ALU) |
commit | commitdiff | tree |
| 2022-02-27 |
Luke Kenneth... | add XLEN to issuer_verilog.py defaults to 64 |
commit | commitdiff | tree |
| 2022-02-27 |
Luke Kenneth... | add XLEN option to regfiles via pspec |
commit | commitdiff | tree |
| 2022-02-24 |
Jacob Lifshay | add running instructions |
commit | commitdiff | tree |
| 2022-02-24 |
Jacob Lifshay | add formal proof for shift/rot o.ok |
commit | commitdiff | tree |
| 2022-02-24 |
Jacob Lifshay | clean up code |
commit | commitdiff | tree |
| 2022-02-24 |
Jacob Lifshay | add formal proof for OP_RLCR |
commit | commitdiff | tree |
| 2022-02-24 |
Jacob Lifshay | add formal proof for OP_RLCL |
commit | commitdiff | tree |
| 2022-02-24 |
Jacob Lifshay | add formal proof for OP_RLC |
commit | commitdiff | tree |
| 2022-02-23 |
Luke Kenneth... | forgot to pass cix (cache-inhibited) through to LD... |
commit | commitdiff | tree |
| 2022-02-22 |
Jacob Lifshay | speed up shift/rot formal proof by running stuff in... |
commit | commitdiff | tree |
| 2022-02-21 |
Luke Kenneth... | again reduce combinatorial chains, similar to Trap... |
commit | commitdiff | tree |
| 2022-02-20 |
Luke Kenneth... | add syn_ramstyle "block_ram" attributes and reduce... |
commit | commitdiff | tree |
| 2022-02-20 |
Luke Kenneth... | same as shiftrot, split out separate pipelines for... |
commit | commitdiff | tree |
| 2022-02-20 |
Luke Kenneth... | put LDST go-store on a 1-clock delay to help with combi... |
commit | commitdiff | tree |
| 2022-02-20 |
Luke Kenneth... | name core_stop and terminated_o synchronous to potentia... |
commit | commitdiff | tree |
| 2022-02-20 |
Luke Kenneth... | nope, it's perfectly fine |
commit | commitdiff | tree |
| 2022-02-20 |
Luke Kenneth... | weird exception, oe not found in the shiftrot input... |
commit | commitdiff | tree |
| 2022-02-20 |
Luke Kenneth... | separate out shiftrot stages due to size of main stage... |
commit | commitdiff | tree |
| 2022-02-18 |
Luke Kenneth... | add blockram style to regfile Memory |
commit | commitdiff | tree |
| 2022-02-18 |
Luke Kenneth... | use block_ram attribute for FPGA synthesis |
commit | commitdiff | tree |
| 2022-02-18 |
Luke Kenneth... | reduce number of d-cache lines in microwatt fpga mode |
commit | commitdiff | tree |
| next |
projects / soc.git / shortlog