Отправлено SM 15 февраля 2005 г. 08:11 В ответ на: Объясните про верификацию (+) отправлено Shtirlits 14 февраля 2005 г. 19:53

1) Создаете поведенческую модель.
2) Создаете Исходную тест-последовательность, и отлаживаете эту модель. Когда уверены, что этот несинтезируемый хлам наконец-то есть то, что Вы ожидали, генерируете .vcd файл с образцовым паттерном.
3) Делаете синтезируемый RTL. Его гоняете на созданном в п.2 тест-бенче. До тех пор, пока выходной .vcd не совпадет с заданной точностью с полученным в п.2
4) Gate level synthesis - тоже дрючите его результаты аналогично.
5) Physical synthesis - аналогично.
6) Ну и фабрике сдаете (проверка на КЗ, обрывы, и брак кристалла) именно .vcd файл, они так требуют. Им не надо никаких исходников теста. Годность чипа определяется прогонкой vcd'шника на спец-девайсе один раз после испекания кристалла, второй раз после корпусирования.

Очень сильно может помочь в этом процессе на всех этапах нечто вроде Galaxy Platform от синопсиса. Типа DFT-Compiler'а.

• Да, но я как правило сразу все таки пишу синтезируемый вариант, уж привычка... А есть кстати (+) — SM   (15.02.2005 15:21, 82 байт)
  • Меня интересовал вопрос, не пропустил ли я что. Не пропустил :( (-) — Shtirlits   (15.02.2005 16:22, пустое)
• Спасибо. Хлам из пункта 2 нужен только для .VCD и является побочным продуктом для написания теста? (-) — Shtirlits   (15.02.2005 14:00, пустое)