From 4b2c5d9a7431e208d48e39e54b030f8ce5d5005c Mon Sep 17 00:00:00 2001 From: stnolting Date: Fri, 20 Sep 2024 22:03:33 +0200 Subject: [PATCH 01/35] [linty] initial setup --- .github/workflows/Linty.yml | 46 ++++++++++++++++++++++++++++++++++ hierarchy.ys | 1 + read.ys | 49 +++++++++++++++++++++++++++++++++++++ sona-project.properties | 4 +++ 4 files changed, 100 insertions(+) create mode 100644 .github/workflows/Linty.yml create mode 100644 hierarchy.ys create mode 100644 read.ys create mode 100644 sona-project.properties diff --git a/.github/workflows/Linty.yml b/.github/workflows/Linty.yml new file mode 100644 index 000000000..7f5190a20 --- /dev/null +++ b/.github/workflows/Linty.yml @@ -0,0 +1,46 @@ +name: Linty +on: + pull_request: + push: + +jobs: + linty: + name: Linty + timeout-minutes: 10 + runs-on: ubuntu-latest + + steps: + - name: Git Checkout + uses: actions/checkout@v3 + with: + fetch-depth: 0 + + - name: Cache + uses: actions/cache@v3.3.0 + with: + path: ~/.sonar/cache + key: sonar + restore-keys: sonar + + - name: Run Linty + run: | + docker run \ + --rm \ + -e SONAR_HOST_URL=https://oss.linty-services.com \ + -e SONAR_TOKEN="${{ secrets.LINTY_TOKEN }}" \ + -e GITHUB_TOKEN="${{ secrets.GITHUB_TOKEN }}" \ + -e GITHUB_REPOSITORY_OWNER="$GITHUB_REPOSITORY_OWNER" \ + -e GITHUB_REPOSITORY="$GITHUB_REPOSITORY" \ + -e TABBY_CAD_LICENSE="$TABBY_CAD_LICENSE" \ + -v "$PWD:/usr/src" \ + lintyservices/linty-scanner:latest + env: + TABBY_CAD_LICENSE: ${{ secrets.TABBY_CAD_LICENSE }} + + - name: Debug + if: always() + uses: actions/upload-artifact@v3 + with: + name: debug + path: | + .linty/ diff --git a/hierarchy.ys b/hierarchy.ys new file mode 100644 index 000000000..e2e765d0e --- /dev/null +++ b/hierarchy.ys @@ -0,0 +1 @@ +hierarchy -top neorv32_ProcessorTop_UP5KDemo diff --git a/read.ys b/read.ys new file mode 100644 index 000000000..8b1cff07c --- /dev/null +++ b/read.ys @@ -0,0 +1,49 @@ +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_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/processor_templates/neorv32_ProcessorTop_UP5KDemo.vhd diff --git a/sona-project.properties b/sona-project.properties new file mode 100644 index 000000000..bad26269c --- /dev/null +++ b/sona-project.properties @@ -0,0 +1,4 @@ +sonar.projectKey=neorv32 +sonar.sources=./rtl,./sim +sonar.hdl.file.simulationPaths=./sim/**/*.vhd* +sonar.hdl.topModule=neorv32_ProcessorTop_UP5KDemo From 3cda0d235fa6aa56bfcd28c1b9f5ef6864096994 Mon Sep 17 00:00:00 2001 From: stnolting Date: Fri, 20 Sep 2024 22:11:04 +0200 Subject: [PATCH 02/35] [linty] fix file name typo --- sona-project.properties => sonar-project.properties | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename sona-project.properties => sonar-project.properties (100%) diff --git a/sona-project.properties b/sonar-project.properties similarity index 100% rename from sona-project.properties rename to sonar-project.properties From 9dfefb48296907ba3660b6f0521c3e7bf629afa8 Mon Sep 17 00:00:00 2001 From: stnolting Date: Sat, 21 Sep 2024 06:41:16 +0200 Subject: [PATCH 03/35] [linty] set processor top --- hierarchy.ys | 2 +- sonar-project.properties | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/hierarchy.ys b/hierarchy.ys index e2e765d0e..01160e9bd 100644 --- a/hierarchy.ys +++ b/hierarchy.ys @@ -1 +1 @@ -hierarchy -top neorv32_ProcessorTop_UP5KDemo +hierarchy -top neorv32_top diff --git a/sonar-project.properties b/sonar-project.properties index bad26269c..0c01e7326 100644 --- a/sonar-project.properties +++ b/sonar-project.properties @@ -1,4 +1,4 @@ sonar.projectKey=neorv32 sonar.sources=./rtl,./sim -sonar.hdl.file.simulationPaths=./sim/**/*.vhd* -sonar.hdl.topModule=neorv32_ProcessorTop_UP5KDemo +sonar.hdl.file.simulationPaths=./sim/**/*.vhd +sonar.hdl.topModule=neorv32_top From 41805dd4654dc1c89f0abd128c19eac6143708a8 Mon Sep 17 00:00:00 2001 From: stnolting Date: Sat, 21 Sep 2024 06:49:19 +0200 Subject: [PATCH 04/35] Update read.ys --- read.ys | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/read.ys b/read.ys index 8b1cff07c..766588146 100644 --- a/read.ys +++ b/read.ys @@ -46,4 +46,4 @@ 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/processor_templates/neorv32_ProcessorTop_UP5KDemo.vhd +verific -L neorv32 -vhdl ./rtl/core/neorv32_top.vhd From 755f8fad42ee7c10dd1007bacddf49873026095e Mon Sep 17 00:00:00 2001 From: stnolting Date: Sat, 21 Sep 2024 06:52:02 +0200 Subject: [PATCH 05/35] revert top --- hierarchy.ys | 2 +- read.ys | 2 +- sonar-project.properties | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/hierarchy.ys b/hierarchy.ys index 01160e9bd..e2e765d0e 100644 --- a/hierarchy.ys +++ b/hierarchy.ys @@ -1 +1 @@ -hierarchy -top neorv32_top +hierarchy -top neorv32_ProcessorTop_UP5KDemo diff --git a/read.ys b/read.ys index 766588146..8b1cff07c 100644 --- a/read.ys +++ b/read.ys @@ -46,4 +46,4 @@ 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 +verific -L neorv32 -vhdl ./rtl/processor_templates/neorv32_ProcessorTop_UP5KDemo.vhd diff --git a/sonar-project.properties b/sonar-project.properties index 0c01e7326..52b027bd2 100644 --- a/sonar-project.properties +++ b/sonar-project.properties @@ -1,4 +1,4 @@ sonar.projectKey=neorv32 sonar.sources=./rtl,./sim sonar.hdl.file.simulationPaths=./sim/**/*.vhd -sonar.hdl.topModule=neorv32_top +sonar.hdl.topModule=neorv32_ProcessorTop_UP5KDemo From 444df30f2251ec2a514926b6b1a2c71b821512c9 Mon Sep 17 00:00:00 2001 From: stnolting Date: Sat, 21 Sep 2024 07:04:35 +0200 Subject: [PATCH 06/35] test wildcards --- read.ys | 48 +----------------------------------------------- 1 file changed, 1 insertion(+), 47 deletions(-) diff --git a/read.ys b/read.ys index 8b1cff07c..80c7cf092 100644 --- a/read.ys +++ b/read.ys @@ -1,49 +1,3 @@ -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_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 -work neorv32 -vhdl ./rtl/core/*.vhd verific -L neorv32 -vhdl ./rtl/processor_templates/neorv32_ProcessorTop_UP5KDemo.vhd From 9cd9609dbb9d652850a638834cf76734d1ba9d99 Mon Sep 17 00:00:00 2001 From: stnolting Date: Sat, 21 Sep 2024 07:06:56 +0200 Subject: [PATCH 07/35] revert wildcards --- read.ys | 48 +++++++++++++++++++++++++++++++++++++++++++++++- 1 file changed, 47 insertions(+), 1 deletion(-) diff --git a/read.ys b/read.ys index 80c7cf092..8b1cff07c 100644 --- a/read.ys +++ b/read.ys @@ -1,3 +1,49 @@ -verific -work neorv32 -vhdl ./rtl/core/*.vhd +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_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/processor_templates/neorv32_ProcessorTop_UP5KDemo.vhd From b348068aaa8c061ad562fa40c1649b9fcca212a5 Mon Sep 17 00:00:00 2001 From: stnolting Date: Sat, 21 Sep 2024 07:13:04 +0200 Subject: [PATCH 08/35] relocate configuration files --- hierarchy.ys => .github/linty_hierarchy.ys | 0 read.ys => .github/linty_read.ys | 0 2 files changed, 0 insertions(+), 0 deletions(-) rename hierarchy.ys => .github/linty_hierarchy.ys (100%) rename read.ys => .github/linty_read.ys (100%) diff --git a/hierarchy.ys b/.github/linty_hierarchy.ys similarity index 100% rename from hierarchy.ys rename to .github/linty_hierarchy.ys diff --git a/read.ys b/.github/linty_read.ys similarity index 100% rename from read.ys rename to .github/linty_read.ys From c4a373488c137de73926a96a31759b4e10ad81dc Mon Sep 17 00:00:00 2001 From: stnolting Date: Sat, 21 Sep 2024 07:18:53 +0200 Subject: [PATCH 09/35] Update linty_read.ys --- .github/linty_read.ys | 96 +++++++++++++++++++++---------------------- 1 file changed, 48 insertions(+), 48 deletions(-) diff --git a/.github/linty_read.ys b/.github/linty_read.ys index 8b1cff07c..8af48d5a9 100644 --- a/.github/linty_read.ys +++ b/.github/linty_read.ys @@ -1,49 +1,49 @@ -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_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 -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_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/processor_templates/neorv32_ProcessorTop_UP5KDemo.vhd +verific -L neorv32 -vhdl ./../rtl/processor_templates/neorv32_ProcessorTop_UP5KDemo.vhd From ae53899f5900462baa0bd78ddaeb5a38fa587bfa Mon Sep 17 00:00:00 2001 From: stnolting Date: Sat, 21 Sep 2024 08:24:56 +0200 Subject: [PATCH 10/35] Update linty_read.ys --- .github/linty_read.ys | 2 -- 1 file changed, 2 deletions(-) diff --git a/.github/linty_read.ys b/.github/linty_read.ys index 8af48d5a9..de7f11ad6 100644 --- a/.github/linty_read.ys +++ b/.github/linty_read.ys @@ -45,5 +45,3 @@ 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/processor_templates/neorv32_ProcessorTop_UP5KDemo.vhd From b15c013d98af8bbacb9ca456437f8705a53b8c7d Mon Sep 17 00:00:00 2001 From: stnolting Date: Sat, 21 Sep 2024 08:27:35 +0200 Subject: [PATCH 11/35] try to change top --- .github/linty_hierarchy.ys | 2 +- .github/linty_read.ys | 2 ++ sonar-project.properties | 2 +- 3 files changed, 4 insertions(+), 2 deletions(-) diff --git a/.github/linty_hierarchy.ys b/.github/linty_hierarchy.ys index e2e765d0e..01160e9bd 100644 --- a/.github/linty_hierarchy.ys +++ b/.github/linty_hierarchy.ys @@ -1 +1 @@ -hierarchy -top neorv32_ProcessorTop_UP5KDemo +hierarchy -top neorv32_top diff --git a/.github/linty_read.ys b/.github/linty_read.ys index de7f11ad6..0fbe8041b 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 ./../rtl/neorv32_top.vhd diff --git a/sonar-project.properties b/sonar-project.properties index 52b027bd2..0c01e7326 100644 --- a/sonar-project.properties +++ b/sonar-project.properties @@ -1,4 +1,4 @@ sonar.projectKey=neorv32 sonar.sources=./rtl,./sim sonar.hdl.file.simulationPaths=./sim/**/*.vhd -sonar.hdl.topModule=neorv32_ProcessorTop_UP5KDemo +sonar.hdl.topModule=neorv32_top From 0366b377d6e1f427a9115fb6974661756c4f4630 Mon Sep 17 00:00:00 2001 From: stnolting Date: Sat, 21 Sep 2024 08:28:54 +0200 Subject: [PATCH 12/35] typo fix --- .github/linty_read.ys | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/linty_read.ys b/.github/linty_read.ys index 0fbe8041b..d36fe553c 100644 --- a/.github/linty_read.ys +++ b/.github/linty_read.ys @@ -46,4 +46,4 @@ 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/neorv32_top.vhd +verific -L neorv32 -vhdl ./../rtl/core/neorv32_top.vhd From 77e25b7a3b38cb8a41bd8fc020a53952fd05ec73 Mon Sep 17 00:00:00 2001 From: stnolting Date: Sat, 21 Sep 2024 11:14:47 +0200 Subject: [PATCH 13/35] use configuration from web interface only --- sonar-project.properties | 2 -- 1 file changed, 2 deletions(-) diff --git a/sonar-project.properties b/sonar-project.properties index 0c01e7326..a1bcc02d4 100644 --- a/sonar-project.properties +++ b/sonar-project.properties @@ -1,4 +1,2 @@ sonar.projectKey=neorv32 sonar.sources=./rtl,./sim -sonar.hdl.file.simulationPaths=./sim/**/*.vhd -sonar.hdl.topModule=neorv32_top From 4a7e59c977de3847cbc2d1b7737f1ad13a78d580 Mon Sep 17 00:00:00 2001 From: stnolting Date: Sat, 21 Sep 2024 11:14:55 +0200 Subject: [PATCH 14/35] Update linty_read.ys --- .github/linty_read.ys | 2 -- 1 file changed, 2 deletions(-) diff --git a/.github/linty_read.ys b/.github/linty_read.ys index d36fe553c..de7f11ad6 100644 --- a/.github/linty_read.ys +++ b/.github/linty_read.ys @@ -45,5 +45,3 @@ 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 From 2962e8eb9cba35d607375bc8d12d5a9716e6c706 Mon Sep 17 00:00:00 2001 From: stnolting Date: Sat, 21 Sep 2024 13:13:40 +0200 Subject: [PATCH 15/35] Update Linty.yml --- .github/workflows/Linty.yml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.github/workflows/Linty.yml b/.github/workflows/Linty.yml index 7f5190a20..31a9e630c 100644 --- a/.github/workflows/Linty.yml +++ b/.github/workflows/Linty.yml @@ -43,4 +43,5 @@ jobs: with: name: debug path: | - .linty/ + ./bugfinder_workdir/ + ./.linty/ From 8ca358328ac827911e953f2b65fee201a5d55603 Mon Sep 17 00:00:00 2001 From: stnolting Date: Wed, 25 Sep 2024 20:22:14 +0200 Subject: [PATCH 16/35] [.github] test listing command --- .github/workflows/Linty.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/Linty.yml b/.github/workflows/Linty.yml index 31a9e630c..8ffc66a81 100644 --- a/.github/workflows/Linty.yml +++ b/.github/workflows/Linty.yml @@ -34,6 +34,7 @@ jobs: -e TABBY_CAD_LICENSE="$TABBY_CAD_LICENSE" \ -v "$PWD:/usr/src" \ lintyservices/linty-scanner:latest + ls -al env: TABBY_CAD_LICENSE: ${{ secrets.TABBY_CAD_LICENSE }} From cf19dd77390edc44f76ab76a8cd574396af7adbf Mon Sep 17 00:00:00 2001 From: stnolting Date: Wed, 25 Sep 2024 20:24:20 +0200 Subject: [PATCH 17/35] Update Linty.yml --- .github/workflows/Linty.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/Linty.yml b/.github/workflows/Linty.yml index 8ffc66a81..f03226c4f 100644 --- a/.github/workflows/Linty.yml +++ b/.github/workflows/Linty.yml @@ -39,6 +39,7 @@ jobs: TABBY_CAD_LICENSE: ${{ secrets.TABBY_CAD_LICENSE }} - name: Debug + run: ls -al if: always() uses: actions/upload-artifact@v3 with: From c940d8fbaaba3bc5756216647122ee81455a73a3 Mon Sep 17 00:00:00 2001 From: stnolting Date: Wed, 25 Sep 2024 20:27:12 +0200 Subject: [PATCH 18/35] Update Linty.yml --- .github/workflows/Linty.yml | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/.github/workflows/Linty.yml b/.github/workflows/Linty.yml index f03226c4f..cf36ee617 100644 --- a/.github/workflows/Linty.yml +++ b/.github/workflows/Linty.yml @@ -34,12 +34,13 @@ jobs: -e TABBY_CAD_LICENSE="$TABBY_CAD_LICENSE" \ -v "$PWD:/usr/src" \ lintyservices/linty-scanner:latest - ls -al env: TABBY_CAD_LICENSE: ${{ secrets.TABBY_CAD_LICENSE }} - - name: Debug + - name: Test run: ls -al + + - name: Debug if: always() uses: actions/upload-artifact@v3 with: From d571e11d471c73b954a3ab825d81396772b042b0 Mon Sep 17 00:00:00 2001 From: stnolting Date: Wed, 25 Sep 2024 20:34:17 +0200 Subject: [PATCH 19/35] use simple TB as top (just testing...) --- .github/linty_hierarchy.ys | 2 +- .github/linty_read.ys | 2 ++ .github/workflows/Linty.yml | 3 --- 3 files changed, 3 insertions(+), 4 deletions(-) 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 From bb8bee4d0929570839374add907f5d18d627a3a6 Mon Sep 17 00:00:00 2001 From: stnolting Date: Wed, 25 Sep 2024 20:39:27 +0200 Subject: [PATCH 20/35] test Vivado IP as top --- .github/linty_hierarchy.ys | 2 +- .github/linty_read.ys | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/linty_hierarchy.ys b/.github/linty_hierarchy.ys index 00111bca1..652a14703 100644 --- a/.github/linty_hierarchy.ys +++ b/.github/linty_hierarchy.ys @@ -1 +1 @@ -hierarchy -top neorv32_tb_simple +hierarchy -top neorv32_vivado_ip diff --git a/.github/linty_read.ys b/.github/linty_read.ys index 8c1e40ceb..88f9d430b 100644 --- a/.github/linty_read.ys +++ b/.github/linty_read.ys @@ -46,4 +46,4 @@ 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 +verific -L neorv32 -vhdl ./../rtl/system_integration/neorv32_vivado_ip.vhd From 5b8ffdf8508e7868723734334885ce36d9d0892d Mon Sep 17 00:00:00 2001 From: stnolting Date: Thu, 3 Oct 2024 21:12:09 +0200 Subject: [PATCH 21/35] [.github] update linty workflow try to include debugging files as artifacts --- .github/workflows/Linty.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/Linty.yml b/.github/workflows/Linty.yml index 31a9e630c..dfee430a4 100644 --- a/.github/workflows/Linty.yml +++ b/.github/workflows/Linty.yml @@ -25,7 +25,6 @@ jobs: - name: Run Linty run: | docker run \ - --rm \ -e SONAR_HOST_URL=https://oss.linty-services.com \ -e SONAR_TOKEN="${{ secrets.LINTY_TOKEN }}" \ -e GITHUB_TOKEN="${{ secrets.GITHUB_TOKEN }}" \ @@ -45,3 +44,4 @@ jobs: path: | ./bugfinder_workdir/ ./.linty/ + include-hidden-files: true From c4a41af6eb772d06cc67a11d8bbc51333ef5f69e Mon Sep 17 00:00:00 2001 From: stnolting Date: Thu, 3 Oct 2024 21:30:32 +0200 Subject: [PATCH 22/35] [linty] update file-list --- .github/linty_read.ys | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/linty_read.ys b/.github/linty_read.ys index 88f9d430b..3d82dd152 100644 --- a/.github/linty_read.ys +++ b/.github/linty_read.ys @@ -11,6 +11,7 @@ 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 From e85e5574120713a5bbfe2c3d877252c0d15a59c7 Mon Sep 17 00:00:00 2001 From: stnolting Date: Thu, 3 Oct 2024 21:38:10 +0200 Subject: [PATCH 23/35] [linty] test neorv32_top as top --- .github/linty_hierarchy.ys | 2 +- .github/linty_read.ys | 2 -- 2 files changed, 1 insertion(+), 3 deletions(-) diff --git a/.github/linty_hierarchy.ys b/.github/linty_hierarchy.ys index 652a14703..01160e9bd 100644 --- a/.github/linty_hierarchy.ys +++ b/.github/linty_hierarchy.ys @@ -1 +1 @@ -hierarchy -top neorv32_vivado_ip +hierarchy -top neorv32_top diff --git a/.github/linty_read.ys b/.github/linty_read.ys index 3d82dd152..7c57329c2 100644 --- a/.github/linty_read.ys +++ b/.github/linty_read.ys @@ -46,5 +46,3 @@ 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/system_integration/neorv32_vivado_ip.vhd From 172c0e7314f72350893030ffa0d624900b42dc4b Mon Sep 17 00:00:00 2001 From: stnolting Date: Thu, 3 Oct 2024 21:44:13 +0200 Subject: [PATCH 24/35] Update linty_read.ys --- .github/linty_read.ys | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.github/linty_read.ys b/.github/linty_read.ys index 7c57329c2..6609cbc03 100644 --- a/.github/linty_read.ys +++ b/.github/linty_read.ys @@ -46,3 +46,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 ./../rtl/core/neorv32_top.vhd From 56b22b0586178b195efb8a2519794fa16f13521d Mon Sep 17 00:00:00 2001 From: stnolting Date: Thu, 3 Oct 2024 22:24:42 +0200 Subject: [PATCH 25/35] [linty] analyze files from rtl/core only --- sonar-project.properties | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/sonar-project.properties b/sonar-project.properties index a1bcc02d4..7f8fff709 100644 --- a/sonar-project.properties +++ b/sonar-project.properties @@ -1,2 +1,2 @@ sonar.projectKey=neorv32 -sonar.sources=./rtl,./sim +sonar.sources=./rtl/core,./sim From 1cb21ddda509312c006150fcb0d664bfa2f8b84f Mon Sep 17 00:00:00 2001 From: stnolting Date: Fri, 4 Oct 2024 23:47:20 +0200 Subject: [PATCH 26/35] [linty] relocate sonar project script --- sonar-project.properties => .github/sonar-project.properties | 0 .github/workflows/Linty.yml | 5 ++++- 2 files changed, 4 insertions(+), 1 deletion(-) rename sonar-project.properties => .github/sonar-project.properties (100%) diff --git a/sonar-project.properties b/.github/sonar-project.properties similarity index 100% rename from sonar-project.properties rename to .github/sonar-project.properties diff --git a/.github/workflows/Linty.yml b/.github/workflows/Linty.yml index dfee430a4..115b66862 100644 --- a/.github/workflows/Linty.yml +++ b/.github/workflows/Linty.yml @@ -11,10 +11,13 @@ jobs: steps: - name: Git Checkout - uses: actions/checkout@v3 + uses: actions/checkout@v4 with: fetch-depth: 0 + - name: Setup + run: cp $GITHUB_WORKSPACE/.github/sonar-project.properties $GITHUB_WORKSPACE/sonar-project.properties + - name: Cache uses: actions/cache@v3.3.0 with: From fabbb82e608a19e53398cbe673c93f8fa325b516 Mon Sep 17 00:00:00 2001 From: stnolting Date: Sat, 5 Oct 2024 04:46:52 +0200 Subject: [PATCH 27/35] [linty] auto-gen sonar-project.properties --- .github/sonar-project.properties | 2 -- .github/workflows/Linty.yml | 6 ++++-- 2 files changed, 4 insertions(+), 4 deletions(-) delete mode 100644 .github/sonar-project.properties diff --git a/.github/sonar-project.properties b/.github/sonar-project.properties deleted file mode 100644 index 7f8fff709..000000000 --- a/.github/sonar-project.properties +++ /dev/null @@ -1,2 +0,0 @@ -sonar.projectKey=neorv32 -sonar.sources=./rtl/core,./sim diff --git a/.github/workflows/Linty.yml b/.github/workflows/Linty.yml index 115b66862..11ef37e42 100644 --- a/.github/workflows/Linty.yml +++ b/.github/workflows/Linty.yml @@ -15,8 +15,10 @@ jobs: with: fetch-depth: 0 - - name: Setup - run: cp $GITHUB_WORKSPACE/.github/sonar-project.properties $GITHUB_WORKSPACE/sonar-project.properties + - name: Create sonar-project.properties + run: | + echo "sonar.projectKey=neorv32" > $GITHUB_WORKSPACE/sonar-project.properties + echo "sonar.sources=./rtl/core,./sim" >> $GITHUB_WORKSPACE/sonar-project.properties - name: Cache uses: actions/cache@v3.3.0 From 742495232cafdbe2d4ee7d79d45717865622f32b Mon Sep 17 00:00:00 2001 From: stnolting Date: Sat, 5 Oct 2024 04:54:42 +0200 Subject: [PATCH 28/35] [linty] auto-gen *.ys files --- .github/linty_hierarchy.ys | 1 - .github/linty_read.ys | 50 ------------------------------------- .github/workflows/Linty.yml | 10 ++++++++ 3 files changed, 10 insertions(+), 51 deletions(-) delete mode 100644 .github/linty_hierarchy.ys delete mode 100644 .github/linty_read.ys 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: From f6dc6936e26d88c09903d8f5ea07bb435d68370e Mon Sep 17 00:00:00 2001 From: stnolting Date: Sat, 5 Oct 2024 05:15:02 +0200 Subject: [PATCH 29/35] [linty] update sonar sources remove "sim" --- .github/workflows/Linty.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/Linty.yml b/.github/workflows/Linty.yml index 5243c8cbc..881320d8b 100644 --- a/.github/workflows/Linty.yml +++ b/.github/workflows/Linty.yml @@ -18,7 +18,7 @@ jobs: - name: Create sonar-project.properties run: | echo "sonar.projectKey=neorv32" > $GITHUB_WORKSPACE/sonar-project.properties - echo "sonar.sources=./rtl/core,./sim" >> $GITHUB_WORKSPACE/sonar-project.properties + echo "sonar.sources=./rtl/core" >> $GITHUB_WORKSPACE/sonar-project.properties - name: Create linty_read.ys run: | From 3c290eaab27a414c0fd8d644b3f0a406e038f2d4 Mon Sep 17 00:00:00 2001 From: stnolting Date: Sat, 5 Oct 2024 15:49:27 +0200 Subject: [PATCH 30/35] Update Linty.yml --- .github/workflows/Linty.yml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.github/workflows/Linty.yml b/.github/workflows/Linty.yml index 881320d8b..7dafda828 100644 --- a/.github/workflows/Linty.yml +++ b/.github/workflows/Linty.yml @@ -1,10 +1,11 @@ name: Linty on: - pull_request: push: + workflow_dispatch: jobs: linty: + if: github.event_name != 'pull_request' && github.ref == 'refs/heads/main' name: Linty timeout-minutes: 10 runs-on: ubuntu-latest From f578329a2f874b1e9ecdf25718cae2e7e06f9f99 Mon Sep 17 00:00:00 2001 From: stnolting Date: Sat, 5 Oct 2024 22:53:10 +0200 Subject: [PATCH 31/35] Update Linty.yml --- .github/workflows/Linty.yml | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/.github/workflows/Linty.yml b/.github/workflows/Linty.yml index 7dafda828..4b0220c84 100644 --- a/.github/workflows/Linty.yml +++ b/.github/workflows/Linty.yml @@ -1,6 +1,10 @@ name: Linty on: push: + paths: + - 'rtl/**' + - 'sim/**' + - '.github/workflows/**' workflow_dispatch: jobs: From cb10829e107513fbe62546187e0703d43097851f Mon Sep 17 00:00:00 2001 From: stnolting Date: Sat, 5 Oct 2024 22:55:41 +0200 Subject: [PATCH 32/35] [linty] temporarily remove trigger filter :warning: TODO --- .github/workflows/Linty.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/Linty.yml b/.github/workflows/Linty.yml index 4b0220c84..df668e4ba 100644 --- a/.github/workflows/Linty.yml +++ b/.github/workflows/Linty.yml @@ -9,7 +9,7 @@ on: jobs: linty: - if: github.event_name != 'pull_request' && github.ref == 'refs/heads/main' + # if: github.event_name != 'pull_request' && github.ref == 'refs/heads/main' name: Linty timeout-minutes: 10 runs-on: ubuntu-latest From 952da5abd880d5f8de07537dce9a4503813f63db Mon Sep 17 00:00:00 2001 From: stnolting Date: Mon, 7 Oct 2024 21:38:54 +0200 Subject: [PATCH 33/35] [.github] run only if this workflow is edited --- .github/workflows/Linty.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/Linty.yml b/.github/workflows/Linty.yml index df668e4ba..44e098b98 100644 --- a/.github/workflows/Linty.yml +++ b/.github/workflows/Linty.yml @@ -4,7 +4,7 @@ on: paths: - 'rtl/**' - 'sim/**' - - '.github/workflows/**' + - '.github/workflows/Linty.yml' workflow_dispatch: jobs: From 82d35c72363fc1aac85ff9acf7db4f5e8da01c06 Mon Sep 17 00:00:00 2001 From: stnolting Date: Thu, 17 Oct 2024 22:32:53 +0200 Subject: [PATCH 34/35] [readme] add linty badge --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index 51ab5150a..722ca7377 100644 --- a/README.md +++ b/README.md @@ -72,6 +72,7 @@ not working as expected. See how to [contribute](https://github.com/stnolting/ne | Task / Subproject | Repository | CI Status | |:------------------|:-----------|:----------| +| Code quality (linty) | [neorv32](https://github.com/stnolting/neorv32) | [![Quality Gate Status](https://oss.linty-services.com/api/project_badges/measure?project=neorv32&metric=alert_status&token=sqb_97b392f36051f7887215e61c53d6f0f858ca2697)](https://oss.linty-services.com/dashboard?id=neorv32) | | GitHub pages (docs) | [neorv32](https://github.com/stnolting/neorv32) | [![GitHub Pages](https://img.shields.io/website.svg?label=stnolting.github.io%2Fneorv32&longCache=true&style=flat-square&url=http%3A%2F%2Fstnolting.github.io%2Fneorv32%2Findex.html&logo=GitHub)](https://stnolting.github.io/neorv32) | | Build documentation | [neorv32](https://github.com/stnolting/neorv32) | [![Documentation](https://img.shields.io/github/actions/workflow/status/stnolting/neorv32/Documentation.yml?branch=main&longCache=true&style=flat-square&label=Documentation&logo=Github%20Actions&logoColor=fff)](https://github.com/stnolting/neorv32/actions?query=workflow%3ADocumentation) | | Processor verification | [neorv32](https://github.com/stnolting/neorv32) | [![Processor](https://img.shields.io/github/actions/workflow/status/stnolting/neorv32/Processor.yml?branch=main&longCache=true&style=flat-square&label=Processor%20Check&logo=Github%20Actions&logoColor=fff)](https://github.com/stnolting/neorv32/actions?query=workflow%3AProcessor) | From 4c1d4850470ca0fe946201ece74c28468b17a285 Mon Sep 17 00:00:00 2001 From: David RACODON Date: Fri, 18 Oct 2024 12:08:44 +0200 Subject: [PATCH 35/35] Add link to https://linty-services.com --- README.md | 22 +++++++++++----------- 1 file changed, 11 insertions(+), 11 deletions(-) diff --git a/README.md b/README.md index 722ca7377..01b7c59b6 100644 --- a/README.md +++ b/README.md @@ -70,17 +70,17 @@ not working as expected. See how to [contribute](https://github.com/stnolting/ne [![release](https://img.shields.io/github/v/release/stnolting/neorv32?longCache=true&style=flat-square&logo=GitHub)](https://github.com/stnolting/neorv32/releases) [![commits-since-latest-release](https://img.shields.io/github/commits-since/stnolting/neorv32/latest?longCache=true&style=flat-square&logo=GitHub)](https://github.com/stnolting/neorv32/activity) -| Task / Subproject | Repository | CI Status | -|:------------------|:-----------|:----------| -| Code quality (linty) | [neorv32](https://github.com/stnolting/neorv32) | [![Quality Gate Status](https://oss.linty-services.com/api/project_badges/measure?project=neorv32&metric=alert_status&token=sqb_97b392f36051f7887215e61c53d6f0f858ca2697)](https://oss.linty-services.com/dashboard?id=neorv32) | -| GitHub pages (docs) | [neorv32](https://github.com/stnolting/neorv32) | [![GitHub Pages](https://img.shields.io/website.svg?label=stnolting.github.io%2Fneorv32&longCache=true&style=flat-square&url=http%3A%2F%2Fstnolting.github.io%2Fneorv32%2Findex.html&logo=GitHub)](https://stnolting.github.io/neorv32) | -| Build documentation | [neorv32](https://github.com/stnolting/neorv32) | [![Documentation](https://img.shields.io/github/actions/workflow/status/stnolting/neorv32/Documentation.yml?branch=main&longCache=true&style=flat-square&label=Documentation&logo=Github%20Actions&logoColor=fff)](https://github.com/stnolting/neorv32/actions?query=workflow%3ADocumentation) | -| Processor verification | [neorv32](https://github.com/stnolting/neorv32) | [![Processor](https://img.shields.io/github/actions/workflow/status/stnolting/neorv32/Processor.yml?branch=main&longCache=true&style=flat-square&label=Processor%20Check&logo=Github%20Actions&logoColor=fff)](https://github.com/stnolting/neorv32/actions?query=workflow%3AProcessor) | -| RISCOF core verification | [neorv32-riscof](https://github.com/stnolting/neorv32-riscof) | [![neorv32-riscof](https://img.shields.io/github/actions/workflow/status/stnolting/neorv32-riscof/main.yml?branch=main&longCache=true&style=flat-square&label=neorv32-riscof&logo=Github%20Actions&logoColor=fff)](https://github.com/stnolting/neorv32-riscof/actions/workflows/main.yml) | -| FPGA implementations | [neorv32-setups](https://github.com/stnolting/neorv32-setups) | [![Implementation](https://img.shields.io/github/actions/workflow/status/stnolting/neorv32-setups/Implementation.yml?branch=main&longCache=true&style=flat-square&label=Implementation&logo=Github%20Actions&logoColor=fff)](https://github.com/stnolting/neorv32-setups/actions?query=workflow%3AImplementation) | -| All-Verilog version | [neorv32-verilog](https://github.com/stnolting/neorv32-verilog) | [![neorv32-verilog](https://img.shields.io/github/actions/workflow/status/stnolting/neorv32-verilog/main.yml?branch=main&longCache=true&style=flat-square&label=neorv32-verilog&logo=Github%20Actions&logoColor=fff)](https://github.com/stnolting/neorv32-verilog/actions/workflows/main.yml) | -| FreeRTOS port | [neorv32-freertos](https://github.com/stnolting/neorv32-freertos) | [![neorv32-freertos](https://img.shields.io/github/actions/workflow/status/stnolting/neorv32-freertos/main.yml?branch=main&longCache=true&style=flat-square&label=neorv32-freertos%20sim&logo=Github%20Actions&logoColor=fff)](https://github.com/stnolting/neorv32-freertos/actions/workflows/main.yml) | -| Prebuilt GCC toolchains | [riscv-gcc-prebuilt](https://github.com/stnolting/riscv-gcc-prebuilt) | [![Prebuilt_Toolchains](https://img.shields.io/github/actions/workflow/status/stnolting/riscv-gcc-prebuilt/main.yml?branch=main&longCache=true&style=flat-square&label=Prebuilt%20Toolchains&logo=Github%20Actions&logoColor=fff)](https://github.com/stnolting/riscv-gcc-prebuilt/actions/workflows/main.yml) | +| Task / Subproject | Repository | CI Status | +|:---------------------------------------------------|:-----------|:----------| +| Code quality ([Linty](https://linty-services.com)) | [neorv32](https://github.com/stnolting/neorv32) | [![Quality Gate Status](https://oss.linty-services.com/api/project_badges/measure?project=neorv32&metric=alert_status&token=sqb_97b392f36051f7887215e61c53d6f0f858ca2697)](https://oss.linty-services.com/dashboard?id=neorv32) | +| GitHub pages (docs) | [neorv32](https://github.com/stnolting/neorv32) | [![GitHub Pages](https://img.shields.io/website.svg?label=stnolting.github.io%2Fneorv32&longCache=true&style=flat-square&url=http%3A%2F%2Fstnolting.github.io%2Fneorv32%2Findex.html&logo=GitHub)](https://stnolting.github.io/neorv32) | +| Build documentation | [neorv32](https://github.com/stnolting/neorv32) | [![Documentation](https://img.shields.io/github/actions/workflow/status/stnolting/neorv32/Documentation.yml?branch=main&longCache=true&style=flat-square&label=Documentation&logo=Github%20Actions&logoColor=fff)](https://github.com/stnolting/neorv32/actions?query=workflow%3ADocumentation) | +| Processor verification | [neorv32](https://github.com/stnolting/neorv32) | [![Processor](https://img.shields.io/github/actions/workflow/status/stnolting/neorv32/Processor.yml?branch=main&longCache=true&style=flat-square&label=Processor%20Check&logo=Github%20Actions&logoColor=fff)](https://github.com/stnolting/neorv32/actions?query=workflow%3AProcessor) | +| RISCOF core verification | [neorv32-riscof](https://github.com/stnolting/neorv32-riscof) | [![neorv32-riscof](https://img.shields.io/github/actions/workflow/status/stnolting/neorv32-riscof/main.yml?branch=main&longCache=true&style=flat-square&label=neorv32-riscof&logo=Github%20Actions&logoColor=fff)](https://github.com/stnolting/neorv32-riscof/actions/workflows/main.yml) | +| FPGA implementations | [neorv32-setups](https://github.com/stnolting/neorv32-setups) | [![Implementation](https://img.shields.io/github/actions/workflow/status/stnolting/neorv32-setups/Implementation.yml?branch=main&longCache=true&style=flat-square&label=Implementation&logo=Github%20Actions&logoColor=fff)](https://github.com/stnolting/neorv32-setups/actions?query=workflow%3AImplementation) | +| All-Verilog version | [neorv32-verilog](https://github.com/stnolting/neorv32-verilog) | [![neorv32-verilog](https://img.shields.io/github/actions/workflow/status/stnolting/neorv32-verilog/main.yml?branch=main&longCache=true&style=flat-square&label=neorv32-verilog&logo=Github%20Actions&logoColor=fff)](https://github.com/stnolting/neorv32-verilog/actions/workflows/main.yml) | +| FreeRTOS port | [neorv32-freertos](https://github.com/stnolting/neorv32-freertos) | [![neorv32-freertos](https://img.shields.io/github/actions/workflow/status/stnolting/neorv32-freertos/main.yml?branch=main&longCache=true&style=flat-square&label=neorv32-freertos%20sim&logo=Github%20Actions&logoColor=fff)](https://github.com/stnolting/neorv32-freertos/actions/workflows/main.yml) | +| Prebuilt GCC toolchains | [riscv-gcc-prebuilt](https://github.com/stnolting/riscv-gcc-prebuilt) | [![Prebuilt_Toolchains](https://img.shields.io/github/actions/workflow/status/stnolting/riscv-gcc-prebuilt/main.yml?branch=main&longCache=true&style=flat-square&label=Prebuilt%20Toolchains&logo=Github%20Actions&logoColor=fff)](https://github.com/stnolting/riscv-gcc-prebuilt/actions/workflows/main.yml) | The processor passes the official RISC-V architecture tests to ensure compatibility with the RISC-V ISA specs., which is checked by the [neorv32-riscof](https://github.com/stnolting/neorv32-riscof) repository. It can successfully run _any_ C program