diff --git a/.github/linty_hierarchy.ys b/.github/linty_hierarchy.ys deleted file mode 100644 index 01160e9bd..000000000 --- a/.github/linty_hierarchy.ys +++ /dev/null @@ -1 +0,0 @@ -hierarchy -top neorv32_top diff --git a/.github/linty_read.ys b/.github/linty_read.ys deleted file mode 100644 index 6609cbc03..000000000 --- a/.github/linty_read.ys +++ /dev/null @@ -1,50 +0,0 @@ -verific -work neorv32 -vhdl ./../rtl/core/neorv32_package.vhd -verific -work neorv32 -vhdl ./../rtl/core/neorv32_sys.vhd -verific -work neorv32 -vhdl ./../rtl/core/neorv32_clockgate.vhd -verific -work neorv32 -vhdl ./../rtl/core/neorv32_fifo.vhd -verific -work neorv32 -vhdl ./../rtl/core/neorv32_cpu_decompressor.vhd -verific -work neorv32 -vhdl ./../rtl/core/neorv32_cpu_control.vhd -verific -work neorv32 -vhdl ./../rtl/core/neorv32_cpu_regfile.vhd -verific -work neorv32 -vhdl ./../rtl/core/neorv32_cpu_cp_shifter.vhd -verific -work neorv32 -vhdl ./../rtl/core/neorv32_cpu_cp_muldiv.vhd -verific -work neorv32 -vhdl ./../rtl/core/neorv32_cpu_cp_bitmanip.vhd -verific -work neorv32 -vhdl ./../rtl/core/neorv32_cpu_cp_fpu.vhd -verific -work neorv32 -vhdl ./../rtl/core/neorv32_cpu_cp_cfu.vhd -verific -work neorv32 -vhdl ./../rtl/core/neorv32_cpu_cp_cond.vhd -verific -work neorv32 -vhdl ./../rtl/core/neorv32_cpu_cp_crypto.vhd -verific -work neorv32 -vhdl ./../rtl/core/neorv32_cpu_alu.vhd -verific -work neorv32 -vhdl ./../rtl/core/neorv32_cpu_lsu.vhd -verific -work neorv32 -vhdl ./../rtl/core/neorv32_cpu_pmp.vhd -verific -work neorv32 -vhdl ./../rtl/core/neorv32_cpu.vhd -verific -work neorv32 -vhdl ./../rtl/core/neorv32_bus.vhd -verific -work neorv32 -vhdl ./../rtl/core/neorv32_cache.vhd -verific -work neorv32 -vhdl ./../rtl/core/neorv32_dma.vhd -verific -work neorv32 -vhdl ./../rtl/core/neorv32_imem.vhd -verific -work neorv32 -vhdl ./../rtl/core/neorv32_dmem.vhd -verific -work neorv32 -vhdl ./../rtl/core/neorv32_boot_rom.vhd -verific -work neorv32 -vhdl ./../rtl/core/neorv32_xip.vhd -verific -work neorv32 -vhdl ./../rtl/core/neorv32_xbus.vhd -verific -work neorv32 -vhdl ./../rtl/core/neorv32_cfs.vhd -verific -work neorv32 -vhdl ./../rtl/core/neorv32_sdi.vhd -verific -work neorv32 -vhdl ./../rtl/core/neorv32_gpio.vhd -verific -work neorv32 -vhdl ./../rtl/core/neorv32_wdt.vhd -verific -work neorv32 -vhdl ./../rtl/core/neorv32_mtime.vhd -verific -work neorv32 -vhdl ./../rtl/core/neorv32_uart.vhd -verific -work neorv32 -vhdl ./../rtl/core/neorv32_spi.vhd -verific -work neorv32 -vhdl ./../rtl/core/neorv32_twi.vhd -verific -work neorv32 -vhdl ./../rtl/core/neorv32_pwm.vhd -verific -work neorv32 -vhdl ./../rtl/core/neorv32_trng.vhd -verific -work neorv32 -vhdl ./../rtl/core/neorv32_neoled.vhd -verific -work neorv32 -vhdl ./../rtl/core/neorv32_xirq.vhd -verific -work neorv32 -vhdl ./../rtl/core/neorv32_gptmr.vhd -verific -work neorv32 -vhdl ./../rtl/core/neorv32_onewire.vhd -verific -work neorv32 -vhdl ./../rtl/core/neorv32_slink.vhd -verific -work neorv32 -vhdl ./../rtl/core/neorv32_crc.vhd -verific -work neorv32 -vhdl ./../rtl/core/neorv32_sysinfo.vhd -verific -work neorv32 -vhdl ./../rtl/core/neorv32_debug_dtm.vhd -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 ./../rtl/core/neorv32_top.vhd diff --git a/.github/workflows/Linty.yml b/.github/workflows/Linty.yml index 11ef37e42..5243c8cbc 100644 --- a/.github/workflows/Linty.yml +++ b/.github/workflows/Linty.yml @@ -20,6 +20,16 @@ jobs: echo "sonar.projectKey=neorv32" > $GITHUB_WORKSPACE/sonar-project.properties echo "sonar.sources=./rtl/core,./sim" >> $GITHUB_WORKSPACE/sonar-project.properties + - name: Create linty_read.ys + run: | + cp $GITHUB_WORKSPACE/rtl/file_list_soc.f $GITHUB_WORKSPACE/.github/linty_read.ys + sed -i 's/NEORV32_RTL_PATH_PLACEHOLDER/verific -work neorv32 -vhdl .\/..\/rtl/g' $GITHUB_WORKSPACE/.github/linty_read.ys + echo "verific -L neorv32 -vhdl ./../rtl/core/neorv32_top.vhd" >> $GITHUB_WORKSPACE/.github/linty_read.ys + + - name: Create linty_hierarchy.ys + run: | + echo "hierarchy -top neorv32_top" > $GITHUB_WORKSPACE/.github/linty_hierarchy.ys + - name: Cache uses: actions/cache@v3.3.0 with: