La liste des modules «officiels» pour simuler différents bus avec CocoTB
Comment déverminer un PCIe avec une méthode formel (yosys inside)