diff --git a/.github/workflows/formal_verification.yml b/.github/workflows/formal_verification.yml
deleted file mode 100644
index 78113b8..0000000
--- a/.github/workflows/formal_verification.yml
+++ /dev/null
@@ -1,10 +0,0 @@
-name: formal_verification
-on: [push]
-jobs:
-  uart:
-    runs-on: ubuntu-latest
-    steps:
-      - uses: actions/checkout@v3
-      - run: sudo apt install iverilog
-      - run: iverilog -g2012 -o sim.out test/formal_uart_tb.sv src/uart_tx.sv src/uart_rx.sv
-      - run: vvp sim.out
\ No newline at end of file
diff --git a/.github/workflows/functional_simulation.yml b/.github/workflows/functional_simulation.yml
index e1d2f87..f820178 100644
--- a/.github/workflows/functional_simulation.yml
+++ b/.github/workflows/functional_simulation.yml
@@ -9,7 +9,7 @@ jobs:
     steps:
       - uses: actions/checkout@v3
       - run: sudo apt install iverilog
-      - run: iverilog -g2012 -o sim.out test/uart_tb.sv src/uart_tx.sv src/uart_rx.sv
+      - run: iverilog -g2012 -o sim.out test/uart_tb.sv src/manta/uart_tx.sv src/manta/uart_rx.sv
       - run: vvp sim.out
   
   fifo:
diff --git a/README.md b/README.md
index 99c963b..972da25 100644
--- a/README.md
+++ b/README.md
@@ -2,7 +2,6 @@
 
 ## Manta: An In-Situ Debugging Tool for Programmable Hardware
 ![functional_simulation](https://github.com/fischermoseley/manta/actions/workflows/functional_simulation.yml/badge.svg)
-![formal_verification](https://github.com/fischermoseley/manta/actions/workflows/formal_verification.yml/badge.svg)
 [![License: GPL v3](https://img.shields.io/badge/License-GPLv3-blue.svg)](https://www.gnu.org/licenses/gpl-3.0)
 [![Code style: black](https://img.shields.io/badge/code%20style-black-000000.svg)](https://github.com/psf/black)