реклама на сайте
подробности
 
 Wiki Wiki  Photo Photo  Forum Forum  Reviews Reviews  Help (!) Help (!)
 
> Временная верификация и статический анализ, частота и причины использования первой
CaPpuCcino
сообщение May 28 2010, 02:45
Сообщение #1


тоже уже Гуру
******

Группа: Свой
Сообщений: 2 047
Регистрация: 13-06-05
Из: Кёлн - Санкт-Петербург
Пользователь №: 5 973
скажите, плз, используется ли не практике вообще и для синхронного дизайна в частности gate-level симуляция для временного анализа, или STA полностью вытеснил DTA?
если используется, то в каких случаях?
спб!


--------------------
И снова на арене цирка - дрессированные клоуны!! Оказываем консультации по электронике за симпу круглосуточно.
Go to the top of the page
 
+Quote Post
 
 Start new topic
Ответов
vitus_strom
сообщение Jun 1 2010, 06:05
Сообщение #2


Знающий
****

Группа: Свой
Сообщений: 553
Регистрация: 15-10-04
Пользователь №: 877
Как и сказали выше формальная верификация + СТА заменяют гейт левел симуляцию (по слухам NXP так делает)
Походу гейтлевел пользуют в случае если не удалось косяк поймать предыдущими методами - очень затратно по времени ИМХО
Go to the top of the page
 
+Quote Post
sleep
сообщение Jun 1 2010, 10:25
Сообщение #3


Частый гость
**

Группа: Свой
Сообщений: 77
Регистрация: 21-09-06
Из: msk
Пользователь №: 20 563
Цитата(vitus_strom @ Jun 1 2010, 10:05) *
Походу гейтлевел пользуют в случае если не удалось косяк поймать предыдущими методами - очень затратно по времени ИМХО

Мне кажется, что в реалиях наших дизайн-центров стоимость провала/ограничения функционала чипа из-за недосмотра/недостатка опыта при STA+формальной верификации намного выше,
чем +неделя на прогон тестов на gate-level netlist. Кроме того, запуски нескольких таких тестов можно делать в параллель.
afaik минимум 2-3 дизайн-центра в Мск+Питере, делающих реальные чипы в кремнии, используют симуляцию на netlist.
Go to the top of the page
 
+Quote Post

Сообщений в этой теме
- CaPpuCcino   Временная верификация и статический анализ   May 28 2010, 02:45
- - oratie   У нас в конторе, начиная с 0.35мкм уже не использу...   May 28 2010, 06:24
- - yes   наш посредник (делают бэк-енд) настаивает на прохо...   May 28 2010, 15:35
- - masics   Мы тоже гоняем симуляции (65nm). Слишком дорого ба...   May 29 2010, 01:51
|- - CaPpuCcino   ребята, указывайте, пожалуйста ещё и причину, по к...   May 29 2010, 13:56
- - dvladim   Одно другого не отменяет. Даже если STA прошел, то...   May 29 2010, 14:51
|- - CaPpuCcino   Цитата(dvladim @ May 29 2010, 18:51) Одно...   May 29 2010, 16:35
- - dvladim   Цитата(CaPpuCcino @ May 29 2010, 20:35) а...   May 29 2010, 18:29
- - sleep   Многое уже было правильно написано выше. Для собст...   May 31 2010, 19:03
|- - CaPpuCcino   Цитата(sleep @ May 31 2010, 23:03) гранд...   May 31 2010, 23:21
- - vitus_strom   У нас тоже нетлисты гоняют - но я говорил про nxp ...   Jun 1 2010, 13:39
- - yes   под человеческим фактором я бы подразумевал не воз...   Jun 2 2010, 16:28
- - vitus_strom   тот же менеджер тебе как комманде сегодня даст сде...   Jun 3 2010, 07:26
|- - yes   кстати про формалити - как-то ни разу не удалось с...   Jun 3 2010, 10:05
- - vitus_strom   уж не знаю 50 человек это большая компания или нет...   Jun 3 2010, 10:11
- - oratie   У нас всё всегда проверяется с помощью формальной ...   Jun 3 2010, 11:34
- - vitus_strom   об этом я и говорил в самом начале...   Jun 3 2010, 11:55
- - sleep   Аналогично написанному сверху, у нас тоже формальн...   Jun 3 2010, 12:05
- - yes   у нас сравнение полного RTL с нетлистом (и .svf) в...   Jun 7 2010, 08:41
- - lexx   Таки не понял netlist зачем моделировать, после оп...   Sep 2 2010, 07:55
- - vmos   Цитата(lexx @ Sep 2 2010, 03:55) Таки не ...   Nov 3 2010, 20:03

 

Reply to this topicStart new topic
1 чел. читают эту тему (гостей: 1, скрытых пользователей: 0)
Пользователей: 0

 

RSS Текстовая версия Сейчас: 24th June 2025 - 03:50
Рейтинг@Mail.ru


Страница сгенерированна за 0.01369 секунд с 7
ELECTRONIX ©2004-2016