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

[D-Luxe]

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

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

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

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

[SFx]

есть путь - называется SmartModel/SWIFT Interface.
модель называется PPC440_SWIFT есть в Aldec библиотека secure_ip.
сам делал модель один раз с pcie но дальше запуска тестбенча дело не пошло.
напишите о результатах.