diff --git a/.github/linty_hierarchy.ys b/.github/linty_hierarchy.ys index 01160e9bd..00111bca1 100644 --- a/.github/linty_hierarchy.ys +++ b/.github/linty_hierarchy.ys @@ -1 +1 @@ -hierarchy -top neorv32_top +hierarchy -top neorv32_tb_simple diff --git a/.github/linty_read.ys b/.github/linty_read.ys index de7f11ad6..8c1e40ceb 100644 --- a/.github/linty_read.ys +++ b/.github/linty_read.ys @@ -45,3 +45,5 @@ verific -work neorv32 -vhdl ./../rtl/core/neorv32_debug_dm.vhd verific -work neorv32 -vhdl ./../rtl/core/neorv32_top.vhd verific -work neorv32 -vhdl ./../rtl/core/neorv32_application_image.vhd verific -work neorv32 -vhdl ./../rtl/core/neorv32_bootloader_image.vhd + +verific -L neorv32 -vhdl ./../sim/simple/neorv32_tb.simple.vhd diff --git a/.github/workflows/Linty.yml b/.github/workflows/Linty.yml index cf36ee617..31a9e630c 100644 --- a/.github/workflows/Linty.yml +++ b/.github/workflows/Linty.yml @@ -37,9 +37,6 @@ jobs: env: TABBY_CAD_LICENSE: ${{ secrets.TABBY_CAD_LICENSE }} - - name: Test - run: ls -al - - name: Debug if: always() uses: actions/upload-artifact@v3