Examples of using cocotb for functional verification of VHDL designs with GHDL.
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

13 lines
290 B

DOC := qz2021_-_using_python_for_verification_of_digital_systems.md
PDF := $(DOC:.md=.pdf)
.PHONY: all
all: $(PDF)
%.pdf: %.md template/template.tex images/*
pandoc -t beamer --pdf-engine xelatex --listings --template=template/template.tex $< -o $@
.PHONY: clean
rm -rf $(PDF)