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