Add counter-example

This commit is contained in:
2021-11-06 18:28:21 -07:00
parent 17c1b9b9a0
commit c589a17ea5
5 changed files with 1241 additions and 0 deletions

View File

@@ -0,0 +1,14 @@
RTL_TARGETS = $(subst .rdl,.sv,srdl2sv_out/$(shell ls *.rdl))
.PHONY: clean
default: verilog_compile
verilog_compile: $(RTL_TARGETS)
verilator -cc -sv $(shell ls srdl2sv_out/*.sv)
srdl2sv_out/%.sv: %.rdl $(shell which srdl2sv)
srdl2sv $< --out-dir $(shell dirname $@) --stdout-logging INFO -d 31
clean:
rm -rf srdl2sv_out