Qu'est-ce que cocotb ?

Est-ce une carte commerciale? Si non, pourquoi kintex+cpu au lieu de zynq ?

Est-ce que cocotb peut etre associé a UVVM ou Vunit ?