diff --git a/.github/workflows/formal_verification.yml b/.github/workflows/formal_verification.yml
index e69de29..78113b8 100644
--- a/.github/workflows/formal_verification.yml
+++ b/.github/workflows/formal_verification.yml
@@ -0,0 +1,10 @@
+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