Library of reusable VHDL components
vhdl
ghdl
osvvm
psl
fpga
testbenches
coverage

Makefile 597B

12345678910111213141516171819202122
  1. .PHONY: all-cover all-bmc all-prove all
  2. all: all-cover all-bmc all-prove
  3. all-cover: WishBoneMasterE-cover WishBoneSlaveE-cover
  4. all-bmc: WishBoneMasterE-bmc WishBoneSlaveE-bmc
  5. all-prove: WishBoneMasterE-prove WishBoneSlaveE-prove
  6. %-cover: ../syn/%.vhd %.sby
  7. mkdir -p work
  8. sby --yosys "yosys -m ghdl" -f -d work/$@ $(subst -cover,,$@).sby cover
  9. %-bmc: ../syn/%.vhd %.sby
  10. mkdir -p work
  11. sby --yosys "yosys -m ghdl" -f -d work/$@ $(subst -bmc,,$@).sby bmc
  12. %-prove: ../syn/%.vhd %.sby
  13. mkdir -p work
  14. sby --yosys "yosys -m ghdl" -f -d work/$@ $(subst -prove,,$@).sby prove
  15. clean:
  16. rm -rf work