Merge pull request #18 from mikey/verific
-rw-r--r-- 72 .gitignore
-rw-r--r-- 290 .travis.yml
-rw-r--r-- 469 LICENSE
-rw-r--r-- 2335 Makefile
-rw-r--r-- 2207 README.md
-rw-r--r-- 7365 common.vhdl
-rw-r--r-- 4926 core.vhdl
-rw-r--r-- 1321 core_tb.vhdl
-rw-r--r-- 1676 cr_file.vhdl
-rw-r--r-- 3908 crhelpers.vhdl
-rw-r--r-- 51796 decode1.vhdl
-rw-r--r-- 8600 decode2.vhdl
-rw-r--r-- 5840 decode_types.vhdl
-rw-r--r-- 11682 execute1.vhdl
-rw-r--r-- 1055 execute2.vhdl
-rw-r--r-- 1461 fetch1.vhdl
-rw-r--r-- 1565 fetch2.vhdl
drwxr-xr-x - fpga
-rw-r--r-- 1092 glibc_random.vhdl
-rw-r--r-- 490 glibc_random_helpers.vhdl
drwxr-xr-x - hello_world
-rw-r--r-- 5490 helpers.vhdl
-rw-r--r-- 5213 insn_helpers.vhdl
-rw-r--r-- 1245 loadstore1.vhdl
-rw-r--r-- 4379 loadstore2.vhdl
-rw-r--r-- 2233 microwatt.core
-rw-r--r-- 2852 multiply.vhdl
-rw-r--r-- 6103 multiply_tb.vhdl
-rw-r--r-- 29958 ppc_fx_insns.vhdl
-rw-r--r-- 2327 register_file.vhdl
drwxr-xr-x - scripts
-rw-r--r-- 1049 sim_console.vhdl
-rw-r--r-- 2387 sim_console_c.c
-rw-r--r-- 2241 simple_ram_behavioural.vhdl
-rw-r--r-- 1504 simple_ram_behavioural_helpers.vhdl
-rw-r--r-- 5027 simple_ram_behavioural_helpers_c.c
-rw-r--r-- 16 simple_ram_behavioural_tb.bin
-rw-r--r-- 5980 simple_ram_behavioural_tb.vhdl
drwxr-xr-x - tests
-rw-r--r-- 1344 wishbone_arbiter.vhdl
-rw-r--r-- 918 wishbone_types.vhdl
-rw-r--r-- 2280 writeback.vhdl