Цитата(kleverd @ Apr 12 2015, 22:18)

Как мне представляется, процесс заключается в следующем.
Сначала нужно отладить проект на плис. Убираются все платформозависимые блоки.
А на самом деле, все по-другому. За исключением этих двух шагов. Далее надо:
1) Сделать некую (железную) тестовую обвязку для FPGA-прототипа, тест-систему. На ней все отладить.
2) Описать эту обвязку в виде тест-бенча для проекта, добиться, чтобы тест в нужном объеме проходил в системе моделирования.
3) Сгенерировать необходимые блоки памяти. Это делает обычно по запросу вендор БМК.
4) Синтезировать. Это Synopsys DC, либо кусок Cadence Encounter (RTL Compiler) + либы от вендора БМК
5) проверить формальной верификацией соответствие результатов для этого синтеза и для FPGA-версии.
6) проверить STA.
7) прогнать тест-бенч, сделанный в 2) на этом нетлисте, до тех пор, пока не сойдется, править что-то, пересинтезировать. Лучше всего, пользоваться Synopsys VCS или Cadence NC-Verilog, можно на крайняк модельсимом.
8) Сгенерировать .vcd-файл с результатами моделирования, которое признано Вами корректным.
9) Отправить этот нетлист, этот .vcd файл, и констрейны вендору БМК, он сделает размещение и разводку. Никто Вам не даст необходимые для бэкенда библиотеки, а даже, если вдруг даст с перепугу, скидки в цене не будет никакой.
10) После размещения и разводки, вендор прогонит Ваш .vcd файл на post-route нетлисте (и пришлет его Вам, новый нетлист + SDF, сами тоже все проверите и прогоните - и формальную, и моделирование).
11) Если все устраивает - подписываете документ, что вперед, на фаб. signoff, так сказать.
12) Они выпекают кристаллы, и тестируют их тестером по тому самому .vcd файлу - чипы, прошедшие данный тест, признаются годными, корпусируются (если заказывали), и едут к Вам.
На самом деле, совершенно ничего сложного.