Комплексное моделирование проектов, Сделанных на базе SoC Xilinx Опции

[D-Luxe]

Можно ли моделировать прошивку FPGA Xilinx совместно с работой процессора PowerPC?

Меня интересует именно моделирование (программное, а не отладка на железе).

Существуют ли программные пути, позволяющие моделировать работу системы в целом совместно с процессором ?

Мне препод сказал, что есть какие-то варианты. Я работаю с Virtex-4FX.