cocotb>=1.7.1
# cocolight>=0.0.3
git+https://github.com/kammoh/cocolight.git#egg=cocolight