Xilinx XPS Simulation HDL Files - Format

Hallo,

Ich habe mit XPS ein Microblaze-System erstellt, das ich jetzt 
simulieren möchte. Mit "Generate Simulation HDL Files" werden die 
entsprechenden Dateien erzeugt. Als Sprache habe ich VHDL eingestellt 
und in diesem Format werden die files auch erstellt - bis auf eine! Die 
wird in Verilog erstellt. Das ist insofern ein Problem als ich für 
Modelsim nur eine VHDL Lizenz habe. Als Workaround habe ich jetzt das 
File in ISE synthetisiert und ein Post-Synthesis Simulationsmodell 
erstellt. Aber lieber würde ich verstehen, warum dieses File überhaupt 
in Verilog erstellt wird...

Gruß Philip