Allow the formal engine to perform a same-cycle result in the ALU
[soc.git] / src / soc / experiment /
drwxr-xr-x   ..
-rw-r--r-- 0 __init__.py
-rw-r--r-- 9621 alu_fsm.py
-rw-r--r-- 24343 alu_hier.py
-rw-r--r-- 2999 cache_ram.py
-rw-r--r-- 8689 compalu.py
-rw-r--r-- 16971 compalu_multi.py
-rw-r--r-- 33601 compldst_multi.py
-rw-r--r-- 15367 cscore.py
-rw-r--r-- 78040 dcache.py
drwxr-xr-x - formal
-rw-r--r-- 41367 icache.py
-rw-r--r-- 1948 imem.py
-rw-r--r-- 15123 l0_cache.py
-rw-r--r-- 2199 lsmem.py
-rw-r--r-- 3675 mem_types.py
-rw-r--r-- 803 memory_types.org
-rw-r--r-- 33155 mmu.py
-rw-r--r-- 2328 mmu_states.dia
-rw-r--r-- 7459 pi2ls.py
-rw-r--r-- 15977 pimem.py
-rw-r--r-- 3659 plru.py
-rw-r--r-- 9809 radix_walk_example.txt
-rw-r--r-- 48368 score6600.py
-rw-r--r-- 51607 score6600_multi.py
-rw-r--r-- 2440 sim.py
drwxr-xr-x - sr
drwxr-xr-x - test
-rw-r--r-- 1269 testmem.py
-rw-r--r-- 3733 wb_types.py