Aldec: Enable finer grained coverage selection
@@ -62,9 +62,19 @@ RTL_LIBRARY ?= work
ALOG_ARGS += +define+COCOTB_SIM -dbg -pli libgpi
ACOM_ARGS += -dbg
+# Aldec-specific coverage types:
+# - (s)tatement
+# - (b)ranch
+# - (e)xpression
+# - (c)ondition
+# - (a)ssertion
+# - (p)ath
+# - finite state (m)achine
+# Documentation: Riviera Pro 2017.02 Documentation - Page 359
+COVERAGE_TYPES ?= sb
ifeq ($(COVERAGE),1)
- ASIM_ARGS += -acdb
- ALOG_ARGS += -coverage sb
+ ASIM_ARGS += -acdb -acdb_cov $(COVERAGE_TYPES)
+ ALOG_ARGS += -coverage $(COVERAGE_TYPES)
endif
GPI_EXTRA:=
@@ -121,6 +131,10 @@ ifeq ($(GUI),1)
else
@echo "run -all" >> $@
@echo "endsim" >> $@
+ifeq ($(COVERAGE),1)
+ @echo "acdb report -cov $(COVERAGE_TYPES) -db $(RTL_LIBRARY).acdb -html -o coverage/acdb_report.html" >> $@
+ @echo "acdb report -cov $(COVERAGE_TYPES) -db $(RTL_LIBRARY).acdb -txt -o coverage/acdb_report.txt" >> $@
+endif
endif
ifeq ($(OS),Msys)
