Move part of formal proof to the implementation
[soc.git] / src / soc / experiment /
2022-03-26 Luke Kenneth Casso... rename PLRU modules to avoid conflict in microwatt
2022-03-18 Luke Kenneth Casso... turn CompALU/CompLDST latches synchronous
2022-03-12 Luke Kenneth Casso... Revert "read last row from r.wb.adr not r.req_adr in...
2022-03-12 Luke Kenneth Casso... read last row from r.wb.adr not r.req_adr in icache
2022-03-08 Luke Kenneth Casso... remove stbs_done in icache.py
2022-03-08 Luke Kenneth Casso... remove ld_stbs_done from dcache: not needed
2022-02-27 Luke Kenneth Casso... for lulz make I-Cache possible to set to 32-bit (XLEN=32)
2022-02-23 Luke Kenneth Casso... forgot to pass cix (cache-inhibited) through to LD...
2022-02-20 Luke Kenneth Casso... add syn_ramstyle "block_ram" attributes and reduce...
2022-02-18 Luke Kenneth Casso... use block_ram attribute for FPGA synthesis
2022-02-18 Luke Kenneth Casso... reduce number of d-cache lines in microwatt fpga mode
2022-02-18 Luke Kenneth Casso... couple of adjustments to reduce gate count in i/d-cache
2022-02-18 Luke Kenneth Casso... reduce TLB set size from 64 to 16 to get FPGA resource...
2022-02-18 Luke Kenneth Casso... drastically reduce I-Cache size in microwatt-compat...
2022-02-18 Luke Kenneth Casso... parameterise I-Cache similar to D-Cache. lots of "self."
2022-02-17 Luke Kenneth Casso... add opencores SDRAM verilog wrapper
2022-02-16 Luke Kenneth Casso... oof. big update to DCache to accept config parameters
2022-01-31 Luke Kenneth Casso... fix bug in itlb_valid SRLatch set/reset, a bit weird...
2022-01-31 Luke Kenneth Casso... whoops tlb_valids in ICache is a combinatorial-get/set
2022-01-31 Luke Kenneth Casso... convert TLBValidArray in ICache to SRLatch
2022-01-31 Luke Kenneth Casso... use an SRLatch for cache_valids, at least it reduces...
2022-01-31 Luke Kenneth Casso... use Memory for cache tags in dcache
2022-01-31 Luke Kenneth Casso... use Memory for cache_tags in icache
2022-01-31 Luke Kenneth Casso... remove combinatorial loop from MultiCompUnit
2022-01-30 Luke Kenneth Casso... break out cache_tags and cache_valids (again) this...
2022-01-30 Luke Kenneth Casso... remove CacheTagArray in icache.py
2022-01-30 Luke Kenneth Casso... create Memory for Cache Tags in I-Cache
2022-01-30 Luke Kenneth Casso... remove unneeded parameter
2022-01-30 Luke Kenneth Casso... add Array of CacheValids back in, so as to reduce LUT4...
2022-01-30 Luke Kenneth Casso... tagset is a local Signal in ICache
2022-01-30 Luke Kenneth Casso... identify combinatorial loop signals in MultiCompUnit...
2022-01-30 Luke Kenneth Casso... use nmigen Memory in I-Cache for TLB Lookups
2022-01-30 Luke Kenneth Casso... put itlb_valid back, ready for conversion to Memory...
2022-01-30 Luke Kenneth Casso... convert CacheRAM to Memory, acts much faster now
2022-01-29 Luke Kenneth Casso... explanatory comment when page hit is the same for stores
2022-01-29 Luke Kenneth Casso... use right offset in dcache wb address
2022-01-29 Luke Kenneth Casso... re-examining dcache.vhdl, still did not get the store...
2022-01-29 Luke Kenneth Casso... bug in dcache.py where when two stores occur in the...
2022-01-28 Luke Kenneth Casso... sort out misaligned store in LoadStore1
2022-01-25 Luke Kenneth Casso... add license and copyright header to dcache.py,
2022-01-24 Luke Kenneth Casso... comments
2022-01-24 Luke Kenneth Casso... hmm there seems to have been an error in DTLB Read,
2022-01-23 Luke Kenneth Casso... looked in soc.vhdl in microwatt and the parameters...
2022-01-23 Luke Kenneth Casso... add debug output of whether stall occurs on dcache
2022-01-22 Luke Kenneth Casso... missed setting of r0_full to zero in dcache. not encoun...
2022-01-16 Luke Kenneth Casso... pass over store_done correctly from dcache over PortInt...
2022-01-16 Luke Kenneth Casso... add CR0 to LDSTCompUnit, for reporting if LR/SC store...
2022-01-16 Luke Kenneth Casso... remove PortInterface mmu_done signal,
2022-01-15 Luke Kenneth Casso... forgot name on dcache Reservation
2022-01-15 Luke Kenneth Casso... pass over atomic signals to dcache from loadstore.
2022-01-15 Luke Kenneth Casso... try using req.op in RELOAD_WAIT_ACK to detect whether...
2022-01-15 Luke Kenneth Casso... add atomic LR/SC signal to LDSTCompUnit
2022-01-15 Luke Kenneth Casso... add reserve (atomic) signal to LDST data structures...
2022-01-15 Luke Kenneth Casso... tidyup PortInterface
2022-01-15 Luke Kenneth Casso... workaround for bug in dcache where the r1.req waiting... ldst_misalign
2022-01-14 Luke Kenneth Casso... split out CacheTag Record to separate structure
2022-01-14 Luke Kenneth Casso... update how d_valid is handled
2022-01-14 Luke Kenneth Casso... missed setting r1.store_way and r1.store_row in STORE_W...
2022-01-14 Luke Kenneth Casso... Revert "dcache 2nd stage (r1) should only indicate...
2022-01-12 Luke Kenneth Casso... dcache 2nd stage (r1) should only indicate not-busy
2022-01-12 Luke Kenneth Casso... fix issue with d_valid in dcache, was not being set...
2022-01-09 Luke Kenneth Casso... add linux-5.7 unit test which showed a silly error:
2022-01-08 Luke Kenneth Casso... fix MMU lookup after 2nd request (misaligned) by also...
2022-01-08 Luke Kenneth Casso... add microwatt mmu.bin test5 to show page-fault on misal...
2022-01-08 Luke Kenneth Casso... enable microwatt mmu test2
2022-01-08 Luke Kenneth Casso... whitespace and use exc is None not exc == None
2022-01-08 Luke Kenneth Casso... add a second LD request to dcache which is merged with...
2022-01-08 Luke Kenneth Casso... start adding in mis-aligned LD/ST support into LoadStore1
2022-01-08 Tobias Platenadd function test_pi_ld_misalign
2022-01-07 Tobias Platenbegin testcase for misalign
2022-01-07 Luke Kenneth Casso... whitespace
2022-01-07 Luke Kenneth Casso... add missing MSRSpec import
2022-01-06 Luke Kenneth Casso... double the number of lines in the L1 D/I-Cache to match...
2022-01-05 Luke Kenneth Casso... use microwatt-specific PLRU due to bug in nmutil version
2022-01-03 Luke Kenneth Casso... adding an extra option to issuer_verilog.py to be able...
2022-01-03 Luke Kenneth Casso... stop display of LDSTCompUnit debug info on every cycle
2021-12-30 Luke Kenneth Casso... rename nia to cia in MMU input record and mmu FSM
2021-12-28 Luke Kenneth Casso... add misaligned mmu.bin test 5 notes: currently LoadStor...
2021-12-27 Luke Kenneth Casso... found bug in mmu with calculating addrsh, should have...
2021-12-27 Luke Kenneth Casso... add mmu.py microwatt mmu.bin test4 page table
2021-12-26 Luke Kenneth Casso... good grief, finally tracked down a piece of missing...
2021-12-26 Luke Kenneth Casso... whoops, using variable RegStage0 in dcache stage_0...
2021-12-26 Luke Kenneth Casso... missed reset of d_valid in dcache.py and missed that its
2021-12-25 Luke Kenneth Casso... add mmu.bin test2 to much simpler test_loadstore1.py
2021-12-25 Luke Kenneth Casso... move msr in test_loadstore1.py outside of conditional...
2021-12-25 Luke Kenneth Casso... whitespace
2021-12-25 Luke Kenneth Casso... move microwatt mmu.bin test 3 page table to test pageta...
2021-12-23 Luke Kenneth Casso... somehow managed to miss out setting r1.forward_valid1...
2021-12-23 Luke Kenneth Casso... uniquify names in dcache.py
2021-12-22 Luke Kenneth Casso... only use a single variable for ack adjusting in dcache.py
2021-12-22 Luke Kenneth Casso... ooo far too late at night to be doing this
2021-12-22 Luke Kenneth Casso... whoops use C not Const
2021-12-22 Luke Kenneth Casso... whoops use C not Const
2021-12-22 Luke Kenneth Casso... remove bus_ack (found bug in Simulation, sorted)
2021-12-22 Luke Kenneth Casso... bug in mmu setting radix tree size with one extra bit
2021-12-21 Luke Kenneth Casso... mmu code-comments
2021-12-21 Luke Kenneth Casso... comments
2021-12-21 Luke Kenneth Casso... use prtbl in proc_tbl_wait in mmu
2021-12-21 Luke Kenneth Casso... mmu.py comments
2021-12-20 Luke Kenneth Casso... more code-comments
next