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.

17 lines
202 B

  1. # basic bus model
  2. cocotb-bus
  3. # bus functional models
  4. cocotbext-axi
  5. cocotbext-pcie
  6. cocotbext-eth
  7. cocotbext-uart
  8. cocotbext-spi
  9. # verification libraries
  10. cocotb-coverage
  11. pyvsc
  12. pyuvm
  13. # utilities
  14. wavedrom