diff --git a/rtl/.gitignore b/rtl/.gitignore
new file mode 100644
index 0000000..e0e099f
--- /dev/null
+++ b/rtl/.gitignore
@@ -0,0 +1,3 @@
+*.vhd~
+*.o
+
diff --git a/rtl/mem/flacdec_byte_fifo.vhd b/rtl/mem/flacdec_byte_fifo.vhd
new file mode 100644
index 0000000..f9fe7e3
--- /dev/null
+++ b/rtl/mem/flacdec_byte_fifo.vhd
@@ -0,0 +1,143 @@
+-------------------------------------------------------------------------------
+-- Title      : FIFO for 8 bit data
+-- Project    : VHDL FLAC Decoder
+-------------------------------------------------------------------------------
+-- File       : flacdec_byte_fifo.vhd
+-- Author     : Mario Huettel <mario.huettel@linux.com>
+-- Company    : 
+-- Created    : 2023-10-05
+-- Last update: 2023-10-05
+-- Platform   : 
+-- Standard   : VHDL'93/02
+-------------------------------------------------------------------------------
+-- Description: This is a generic FIFO implementation for 8 bit Data. This
+-- implementation should be able to map to a dual ported BRAM in an FPGA. If an
+-- ASIC Design is used, decide weather to use a RAM instance or let the
+-- synthesis generate a FIFO out of Flip Flops.
+-- The FIFO is 64 bytes large.
+-------------------------------------------------------------------------------
+-- Copyright (c) 2023 Mario Huettel
+-------------------------------------------------------------------------------
+
+library ieee;
+use ieee.std_logic_1164.all;
+use ieee.numeric_std.all;
+
+entity flacdec_byte_fifo is
+
+    port (
+        clk           : in  std_logic;  -- Clock
+        rst_n         : in  std_logic;  -- async. low-active reset
+        data_in       : in  std_logic_vector(7 downto 0);
+        data_in_wstrb : in  std_logic;  -- Write strobe to push data into the FIFO
+        data_out      : out std_logic_vector(7 downto 0);  -- Output data. 1 cycle delayed after read strobe.
+        data_rstrb    : in  std_logic;
+        fifo_full     : out std_logic;  -- FIFO is full
+        fifo_empty    : out std_logic;  -- FIFO is empty
+        fifo_32_free  : out std_logic);  -- FIFO has at least 32 bytes free
+
+end entity flacdec_byte_fifo;
+
+architecture RTL of flacdec_byte_fifo is
+
+    type fifo_mem_t is array(natural range <>) of std_logic_vector(data_in'range);
+
+    signal mem       : fifo_mem_t(0 to 63);
+    signal read_ptr  : unsigned(6 downto 0);
+    signal write_ptr : unsigned(6 downto 0);
+
+    signal write_strb_s : std_logic;
+    signal read_strb_s  : std_logic;
+
+    signal write_addr      : unsigned(5 downto 0);
+    signal read_addr       : unsigned(5 downto 0);
+    signal fifo_fill_level : integer range 0 to 64;
+    signal wrapped_around  : std_logic;
+
+    signal fifo_full_s  : std_logic;
+    signal fifo_empty_s : std_logic;
+begin  -- architecture RTL
+
+    fifo_full  <= fifo_full_s;
+    fifo_empty <= fifo_empty_s;
+
+    --------------------------------------------------------------------------
+    -- FIFO memory implementation
+    --------------------------------------------------------------------------
+
+    -- FIFO memory process. Should allow BRAM infer.
+    fifo_mem_proc : process is
+    begin
+        wait until rising_edge(clk);
+        if write_strb_s = '1' then
+            mem(to_integer(write_addr)) <= data_in;
+        end if;
+
+        if read_strb_s = '1' then
+            data_out <= mem(to_integer(read_addr));
+        end if;
+    end process fifo_mem_proc;
+
+    --------------------------------------------------------------------------
+    -- FIFO fill level and address logic
+    --------------------------------------------------------------------------
+    -- Addresses to memory are the pointers except for the MSB, which is used
+    -- for wrap around detection
+    read_addr  <= read_ptr(read_ptr'high - 1 downto read_ptr'low);
+    write_addr <= write_ptr(write_ptr'high - 1 downto write_ptr'low);
+
+    wrapped_around <= '1' when read_ptr(read_ptr'high) /= write_ptr(write_ptr'high) else '0';
+
+    fill_level_proc : process(wrapped_around, read_addr, write_addr) is
+    begin
+        fifo_fill_level <= 0;
+        if wrapped_around = '0' then
+            fifo_fill_level <= to_integer(write_addr - read_addr);
+        else
+            fifo_fill_level <= to_integer(64 - read_addr + write_addr);
+        end if;
+    end process fill_level_proc;
+
+    fifo_full_s  <= '1' when read_addr = write_addr and wrapped_around = '1' else '0';
+    fifo_empty_s <= '1' when read_addr = write_addr and wrapped_around = '0' else '0';
+    fifo_32_free <= '1' when fifo_fill_level >= 32 else '0';
+
+    ---------------------------------------------------------------------------
+    -- FIFO write pointer
+    ---------------------------------------------------------------------------
+
+    write_strb_s <= data_in_wstrb and (not fifo_full_s);
+
+    write_ptr_proc : process(clk, rst_n) is
+    begin
+        if rst_n = '0' then
+            write_ptr <= (others => '0');
+        elsif rising_edge(clk) then
+            if write_strb_s = '1' then
+                -- Wrap around expected
+                write_ptr <= write_ptr + 1;
+            end if;
+        end if;
+    end process write_ptr_proc;
+
+    ---------------------------------------------------------------------------
+    -- FIFO read pointer
+    ---------------------------------------------------------------------------
+
+    read_strb_s <= data_rstrb and (not fifo_empty_s);
+
+    read_ptr_proc : process(clk, rst_n) is
+    begin
+        if rst_n = '0' then
+            read_ptr <= (others => '0');
+        elsif rising_edge(clk) then
+            if read_strb_s = '1' then
+                -- Wrap around expected
+                read_ptr <= read_ptr + 1;
+            end if;
+        end if;
+    end process read_ptr_proc;
+
+
+end architecture RTL;
+
diff --git a/verif/.gitignore b/verif/.gitignore
new file mode 100644
index 0000000..ad4a1f1
--- /dev/null
+++ b/verif/.gitignore
@@ -0,0 +1,176 @@
+# Created by https://www.toptal.com/developers/gitignore/api/python
+# Edit at https://www.toptal.com/developers/gitignore?templates=python
+
+### Python ###
+# Byte-compiled / optimized / DLL files
+__pycache__/
+*.py[cod]
+*$py.class
+
+# C extensions
+*.so
+
+# Distribution / packaging
+.Python
+build/
+develop-eggs/
+dist/
+downloads/
+eggs/
+.eggs/
+lib/
+lib64/
+parts/
+sdist/
+var/
+wheels/
+share/python-wheels/
+*.egg-info/
+.installed.cfg
+*.egg
+MANIFEST
+
+# PyInstaller
+#  Usually these files are written by a python script from a template
+#  before PyInstaller builds the exe, so as to inject date/other infos into it.
+*.manifest
+*.spec
+
+# Installer logs
+pip-log.txt
+pip-delete-this-directory.txt
+
+# Unit test / coverage reports
+htmlcov/
+.tox/
+.nox/
+.coverage
+.coverage.*
+.cache
+nosetests.xml
+coverage.xml
+*.cover
+*.py,cover
+.hypothesis/
+.pytest_cache/
+cover/
+
+# Translations
+*.mo
+*.pot
+
+# Django stuff:
+*.log
+local_settings.py
+db.sqlite3
+db.sqlite3-journal
+
+# Flask stuff:
+instance/
+.webassets-cache
+
+# Scrapy stuff:
+.scrapy
+
+# Sphinx documentation
+docs/_build/
+
+# PyBuilder
+.pybuilder/
+target/
+
+# Jupyter Notebook
+.ipynb_checkpoints
+
+# IPython
+profile_default/
+ipython_config.py
+
+# pyenv
+#   For a library or package, you might want to ignore these files since the code is
+#   intended to run in multiple environments; otherwise, check them in:
+# .python-version
+
+# pipenv
+#   According to pypa/pipenv#598, it is recommended to include Pipfile.lock in version control.
+#   However, in case of collaboration, if having platform-specific dependencies or dependencies
+#   having no cross-platform support, pipenv may install dependencies that don't work, or not
+#   install all needed dependencies.
+#Pipfile.lock
+
+# poetry
+#   Similar to Pipfile.lock, it is generally recommended to include poetry.lock in version control.
+#   This is especially recommended for binary packages to ensure reproducibility, and is more
+#   commonly ignored for libraries.
+#   https://python-poetry.org/docs/basic-usage/#commit-your-poetrylock-file-to-version-control
+#poetry.lock
+
+# pdm
+#   Similar to Pipfile.lock, it is generally recommended to include pdm.lock in version control.
+#pdm.lock
+#   pdm stores project-wide configurations in .pdm.toml, but it is recommended to not include it
+#   in version control.
+#   https://pdm.fming.dev/#use-with-ide
+.pdm.toml
+
+# PEP 582; used by e.g. github.com/David-OConnor/pyflow and github.com/pdm-project/pdm
+__pypackages__/
+
+# Celery stuff
+celerybeat-schedule
+celerybeat.pid
+
+# SageMath parsed files
+*.sage.py
+
+# Environments
+.env
+.venv
+env/
+venv/
+ENV/
+env.bak/
+venv.bak/
+
+# Spyder project settings
+.spyderproject
+.spyproject
+
+# Rope project settings
+.ropeproject
+
+# mkdocs documentation
+/site
+
+# mypy
+.mypy_cache/
+.dmypy.json
+dmypy.json
+
+# Pyre type checker
+.pyre/
+
+# pytype static type analyzer
+.pytype/
+
+# Cython debug symbols
+cython_debug/
+
+# PyCharm
+#  JetBrains specific template is maintained in a separate JetBrains.gitignore that can
+#  be found at https://github.com/github/gitignore/blob/main/Global/JetBrains.gitignore
+#  and can be added to the global gitignore or merged into this file.  For a more nuclear
+#  option (not recommended) you can uncomment the following to ignore the entire idea folder.
+#.idea/
+
+### Python Patch ###
+# Poetry local configuration file - https://python-poetry.org/docs/configuration/#local-configuration
+poetry.toml
+
+# ruff
+.ruff_cache/
+
+# LSP config files
+pyrightconfig.json
+
+# End of https://www.toptal.com/developers/gitignore/api/python