Opzioni per Hardware-Software Co-Verification?

[bh_letters]

Salve

Quali sono le simulatiors disponibili per Co-Verifica?Se una qualsiasi delle Co-simulatori di verifica sono dotate di Xilinx EDK 7,1

Grazie