Xilinx Testbenches - Corelibraries

Hallo Leute,

ich muss ein paar Testbenches schreiben für ein paar Verilog-Module...

Wollte das wenn möglich mit ModelSim machen, leider zeigt mir ModelSim 
folgenden Fehler an:

Module 'MUXCY' is not defined.

Die Xilinx Core-Libraries wie "unimacro", "unisims", "xilinxcorelib", 
"simprims" habe ich als Libraries in ModelSim hinzugefügt...

Es kompiliert zwar die Datei durch, aber beim starten der Simulation 
failed es.



Habe es auch mal in Xilinx ISE probiert und den passenden FPGA 
ausgewählt Xilinx Sparta6 XC6SLX45, da passt auch alles soweit, aber 
sobald ich auf "Simulate Behavioral Model" gehe kommt "Run Failed: 
Simulation".
Fehlermeldung spuckt ISE keine aus..

Danke & Gruß
Markus