реклама на сайте
подробности
 
 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
Ответов
dvladim
сообщение May 29 2010, 14:51
Сообщение #2


Знающий
****

Группа: Свой
Сообщений: 654
Регистрация: 24-01-07
Из: Воронеж
Пользователь №: 24 737
Одно другого не отменяет. Даже если STA прошел, то это не значит что при написании констрейнов не ошиблись. Я думаю основная причина - человеческие ошибки.

У меня, например, был случай: в функциональном описании все работало, а в gate-level нет. Причиной было отсутствие сброса одного из регистров и в функциональном моделировании if давал false и все работало дальше, а в gate-level все разваливалось в X.
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
|- - 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
- - 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 Текстовая версия Сейчас: 23rd June 2025 - 03:47
Рейтинг@Mail.ru


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