1 проект на altera и xilinx. последний работает некорректно., куда копать? Опции

[_Ivan_33]

Привет, народ.

Есть 1 проект написанный на верилоге и должен работать на альтере и ксайлинксе. На последнем работает некорректно.
Куда копать?
Читал отчеты синтезатора - криминала не нашел. Отличия в основном в схеме сброса - у ксайлинкс это 1 сброс на все клоковые домены(что очень плохо, потом исправлю) и память(но там уже есть унификация, ибо написаны rtl). Понимаю, что нужно сравнивать контрольные точки проекта - ибо ошибка в математике 100%, но конкретно где, непонятно. Была идея запустить gate-level симуляцию, но пока нереализовано. Может кто-то уже сталкивался с подобным, поделитесь своим опытом?