Есть встроеный симулятьр в "simulator editin", но он говно. Есть на ксилинсовсовском сайте Modelsim XE, но он кастрированый тормоз. Надо качать полную версию Modelsim или Questasim, ломать, компилить для симулятора ксилинксовские библиотеки. Подробности интересуют?