[linty] auto-gen *.ys files

This commit is contained in:
stnolting 2024-10-05 04:54:42 +02:00
parent fabbb82e60
commit 742495232c
3 changed files with 10 additions and 51 deletions

View file

@ -1 +0,0 @@
hierarchy -top neorv32_top

50
.github/linty_read.ys vendored
View file

@ -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

View file

@ -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: