реклама на сайте
подробности
 
 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
Ответов
lexx
сообщение Sep 2 2010, 07:55
Сообщение #2


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

Группа: Свой
Сообщений: 118
Регистрация: 25-06-04
Пользователь №: 186
Таки не понял netlist зачем моделировать, после определенных размеров чипа максимум что можно сделать это запустить 1-2 теста, т.е. работает не работает и все, ни о каком анализе задержек речь не идет в принципе.
Formal verification -> LINT -> Synthez + STA + Formality
........................... -> FPGA (all test)
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   Как и сказали выше формальная верификация + СТА за...   Jun 1 2010, 06:05
|- - sleep   Цитата(vitus_strom @ Jun 1 2010, 10:05) П...   Jun 1 2010, 10:25
- - 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
- - vmos   Цитата(lexx @ Sep 2 2010, 03:55) Таки не ...   Nov 3 2010, 20:03

 

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

 

RSS Текстовая версия Сейчас: 21st June 2025 - 17:45
Рейтинг@Mail.ru


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