From c70836d44a68551661144cc6dfdbc1f609b049b7 Mon Sep 17 00:00:00 2001 From: Fischer Moseley Date: Sat, 4 Feb 2023 13:18:16 -0500 Subject: [PATCH] update github actions to make badges nicer --- .github/workflows/formal_verification.yml | 10 ++++++++++ 1 file changed, 10 insertions(+) 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