Added target for lint, CI for testbenches and lint

secworks · May 11, 2021 · 05ecf74 · 05ecf74
1 parent 4246699
commit 05ecf74
Show file tree

Hide file tree

Showing 2 changed files with 40 additions and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -25,4 +25,35 @@ jobs:
       - run: wget https://raw.githubusercontent.com/olofk/subservient/main/openlane_runner.py
       - run: chmod +x openlane_runner.py
       - run: fusesoc library add $REPO $GITHUB_WORKSPACE/$REPO
-      - run: fusesoc run --target=sky130 $VLNV
+      - run: fusesoc run --target=sky130 $VLNV
+
+  sim-icarus:
+    runs-on: ubuntu-latest
+    env:
+      REPO : chacha
+      VLNV : secworks:crypto:chacha
+    steps:
+      - name: Checkout repo
+        uses: actions/checkout@v2
+        with:
+          path: chacha
+      - run: sudo apt install iverilog
+      - run: pip3 install fusesoc
+      - run: fusesoc library add $REPO $GITHUB_WORKSPACE/$REPO
+      - run: fusesoc run --target=tb_chacha $VLNV
+      - run: fusesoc run --target=tb_chacha_core $VLNV
+
+  lint-verilator:
+    runs-on: ubuntu-latest
+    env:
+      REPO : chacha
+      VLNV : secworks:crypto:chacha
+    steps:
+      - name: Checkout repo
+        uses: actions/checkout@v2
+        with:
+          path: chacha
+      - run: sudo apt install verilator
+      - run: pip3 install fusesoc
+      - run: fusesoc library add $REPO $GITHUB_WORKSPACE/$REPO
+      - run: fusesoc run --target=lint $VLNV
diff --git a/chacha.core b/chacha.core
@@ -25,6 +25,14 @@ targets:
     default:
         filesets: [rtl]
 
+    lint:
+        default_tool : verilator
+        filesets : [rtl]
+        tools:
+            verilator:
+                mode: lint-only
+        toplevel: chacha
+
     tb_chacha:
         default_tool: icarus
         filesets: [rtl, tb]