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-- 22673 alu_hier.py
-rw-r--r-- 2018 cache_ram.py
-rw-r--r-- 8689 compalu.py
-rw-r--r-- 15381 compalu_multi.py
-rw-r--r-- 29942 compldst_multi.py
-rw-r--r-- 15180 cscore.py
-rw-r--r-- 67243 dcache.py
drwxr-xr-x - formal
-rw-r--r-- 34520 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-- 21506 mmu.py
-rw-r--r-- 2328 mmu_states.dia
-rw-r--r-- 7393 pi2ls.py
-rw-r--r-- 14463 pimem.py
-rw-r--r-- 2101 plru.py
-rw-r--r-- 9802 radix_walk_example.txt
-rw-r--r-- 48368 score6600.py
-rw-r--r-- 50646 score6600_multi.py
-rw-r--r-- 2322 sim.py
drwxr-xr-x - sr
drwxr-xr-x - test
-rw-r--r-- 1269 testmem.py
-rw-r--r-- 3733 wb_types.py