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.
 
 
 

19 lines
234 B

# basic bus model
cocotb-bus
# bus functional models
cocotbext-axi
cocotbext-pcie
cocotbext-eth
cocotbext-uart
cocotbext-spi
cocotbext-wishbone
# verification libraries
cocotb-coverage
pyvsc
pyuvm
# utilities
wavedrom
pycryptodome