- name: Install Cocotb
  pip:
    executable: pipx
    name: cocotb[bus]