Add draft of Verilator CI

Author: FrancescoConti

.github/workflows/verilator-ci.yml

@@ -0,0 +1,17 @@
+# Copyright 2024 ETH Zurich and University of Bologna.
+# Solderpad Hardware License, Version 0.51, see LICENSE for details.
+# SPDX-License-Identifier: SHL-0.51
+
+# Some CI tests run on our GitLab servers due to licenses and tools
+name: verilator-ci
+on: [push, pull_request, workflow_dispatch]
+jobs:
+  verilator-ci:
+    name: Public Verilator CI
+    runs-on: fconti/pulp-verilator
+    steps:
+      - name: Test
+        # Skip on forks or pull requests from forks due to missing secrets.
+        if:
+          github.repository == 'pulp-platform/pulpissimo' && (github.event_name != 'pull_request' || github.event.pull_request.head.repo.full_name == github.repository)
+        run: echo "HELLO"

target/sim/verilator/Makefile

@@ -67,6 +67,12 @@ $(VERILATOR_BUILD_DIR)/obj_dir/Vtb_pulp: $(VERILATOR_BUILD_DIR)/pulpissimo.f
 
 .PHONY: verilate
 verilate: clean-verilator-bender verilator-bender $(VERILATOR_BUILD_DIR)/obj_dir/Vtb_pulp
+ifneq ($(VERILATOR_PATH), $(PULPISSIMO_ROOT)/build/verilator)
+	@echo ""
+	@echo "To run a simulation directly with the PULP runtime or SDK \`make run\` commands execute the following:"
+	@echo ""
+	@echo "	export VERILATOR_PATH=$(PULPISSIMO_ROOT)/build/verilator"
+endif
 
 clean-verilate:
 	rm -rf $(VERILATOR_BUILD_DIR)/obj_dir