adjust indentation of dcache_slow

more dcache translation

add start on cache_ram.vhdl to nmigen conversion

more dcache translation

allow Decode2ToExecute1Type to take an opkls argument

whoops truncated the mb and me fields

minor reorg on PowerDecoder

comment, nothing unusual when Trap Type is DEC

decoder immediate b split out to DecodeBImm

decoder immediate a split out to DecodeAImm

add row subset selector for PowerDecode.
allows functions to be used to create subset decoders

add row_subset (doesnt do anything yet)

pass col_subset throughout PowerDecoder

reorganise PowerOp to be dynamic

reorg of PowerOp to be able to dynamically subset it

grr, autopep8 messing up

copy dec SPR into decoder cur_state

add reset option to Register

wark-wark, fast regs is binary-addressed

add unit test for slow SPRs (SPRG0/1)
add test mapping for slow SPR numbers

minor code-munge on SPR-to-FAST mapping

use with subTest in spr unit test

redo generation of microwatt.v from litex

add comments for DEC / TB

add a DEC/TB FSM to TestIssuer

this operates on alternative cycles, because it reads/writes from the
Fast Regfile directly

move DEC and TB from StateRegs to FastRegs for several reasons
first: SPR pipeline already has fast1 read/write
second: a new DecodeStateIn/Out object would be needed
        instead just add FastRegs.DEC/TB to DecodeA/Out
third: there is probably a third somewhere

add DEC SPR to CoreState and PowerDecoder, activate 0x900 interrupt

add DEC and TB to State regfile

add DEC/TB SPRs to spr pipeline

add comments on MSR read

move GPIO IRQ to 15 to match microwatt modifications

hmmm XICS data being asserted on wb bus for too long

argh missed a VHDL "&" translating to Cat

reduce XICS address lookup by 2 bits

MSR read in INSN_READ only occurs for 1 cycle

sync on ICP eint

connect XICS core irq to Decode2 eint

whoops, combinatorial loop on pending_priority

use stbcix in test

XICS addresses in words: divide by 4

whoops, ICS in litex sim needs to be 0x1000 size region

add lwzcix unit test

increase wishbone address width to 29 for xics and gpio
this may not be exactly correct, have to see how it goes

submodule update

add simple GPIO wishbone bus to litex sim.py

add stbcix and lwzcix to power_enum list

add simple GPIO peripheral to verilog TestIssuer

move wb read/write to separate util test library and use them

add simple wishbone GPIO peripheral

Add unit test replicating failing proof case

add sld test with RB=64 to see what happens

reduce CSR data width to 8 as an experiment

add UART reserved IRQ @ 0

add XICS memory regions, shrink litex CSR memmap size to do it

adding XICS wb slave devices to litex sim
also linking external interrupt line

bring out XICS ICS interrupt levels so that they can be wired to peripherals

adding option to include XICS external interrupts.
XICS ICP and ICS are included, the wishbone slave ports added to TestIssuer
then if ext_irq is raised in core, execution jumps to 0x500 through a TRAP

add means to run hello_world.bin under simulation
works with both microwatt and libresoc

update to match refactored power-instruction-analyzer API

matches the api of power-instruction-analyzer commit e828d2acecc25a82d5c29b765163a10993547566

Provide full name and email in copyright notice.

do more on dcache conversion

testing microwatt 3.bin (2.bin ok)

when mtocrf FXM is 0, the CR has to be set to CR7

fix bug in cmpli (and cmplw)

sign-extend lhax needs 16-64, separate from lwax which is 32-64

add bc ctr regression test when CTR=0 and CTR=1

update submodule

bug in carry32 handling in OP_CMP

add cmpl regression test (one binary, one assembly)

add cmpl microwatt 1.bin test, cmpl

series of extensive modifications to fix long-standing bug in CR handling
cr as a FieldSelectableInt is being removed

add XER to fastregs and "construct" it in mfspr/mtspr

redo OP_CMP based on microwatt.  L=1 had been ignored

reversal of FXM mask for one-hot selection in OP_MTCR decode

working on dcache.py

tidyup on mul proof

set mul post_stage o.ok only when needed, and fix xer_so pass-through
https://bugs.libre-soc.org/show_bug.cgi?id=482

Merge branch 'master' of git.libre-soc.org:soc

icache.py commit progress, about a third through the process

Qualify XER_OV output in proof

Fix test breakage in MUL proofs

Merge branch 'master' of git.libre-soc.org:soc

mmu.py, dcache.py, mem_types.py change types capitalization because I
was making typing errors, and this make more sense. Mmu -> MMU, Dcache
-> DCache, Icache -> ICache

mem_types add more types from common.vhdl specifially for icache,
Fetch1ToIcacheType() and IcacheToDecode1Type()

mem_types.py arrange in alphabetical order for ease of reference, align
formatting

BROKEN: xer_ov_o != dut.o.xer_ov.data ???!!!

mmu.py remove duplicate comment left over from mmu.vhdl

icache.py initial commit of first attempt at translation of icache.vhdl

Move new write_gtkw and its example to nmutil

But keep using it to generate the GTKWave document for this unit test.

minor code-shuffle, comments

slowly morphing towards using an XER bit-field selector in decoder

MUL pipeline formal proofs complete, I *think*.

break down XER into flags

add XER read via DMI interface to sim.py

add hack to get at XER through DMI interface

submodule update

WIP: prep for 64-bit insns

yep disable OE for MULH64/32 and EXTS and CNTZ

investigating CR mtocrf / mfocrf

add additional CR regression tests