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

  1. DOC := qz2021_-_using_python_for_verification_of_digital_systems.md
  2. PDF := $(DOC:.md=.pdf)
  3. .PHONY: all
  4. all: $(PDF)
  5. %.pdf: %.md template/template.tex images/*
  6. pandoc -t beamer --pdf-engine xelatex --listings --template=template/template.tex $< -o $@
  7. .PHONY: clean
  8. clean:
  9. rm -rf $(PDF)