Mach doch einfach mal ne Suche in Deinem Projektverzeichnis nach *.sdf,
ich hab's jetzt nicht im Kopf, ob Xilinx das bei der Synthese
automatisch erstellt. Falls nicht, Syntheseoptionen durchgehen.
Soweit ich mich erinnere, kannst Du ModelSim XE III doch auch mit Timing
Simulation direkt aus Xilinx ISE starten (Baum öffnen, da gibt's mehere
Simulationstasks). Ggf. löst das Dein Problem von alleine.
Falls nicht:
Es genügt nicht, einfach nur die SDF-Datei alleine anzugeben, Du
benötigst den Pfad zur Datei. Üblicherweise liegt die SDF nicht im
gleichen Pfad, von wo aus Du ModelSim startest.
Beispiel:
vsim -lib work -t 1ps -sdfnowarn +maxdelays -sdfmax
/uut=/design/project/synthesis/sdf/uut.sdf \
Unter Windows müsste wohl der Pfad samt Laufwerksbuchstaben eingegeben
werden...
Falls Du übrigens noch weitere Libraries brauchst (was normalerweise der
Fall ist, wenn Du die synthetisierte Netzliste simulierst), dann kannst
Du zusätzliche Libreries mit dem -L switch hinzufügen. Die musst Du
vorher aber compiliert haben, wobei ich schätze, dass Xilinx das in der
Installation bereits tut. Musst halt noch den Pfad in Deine ModelSim.ini
eintragen oder von Hand laden.