реклама на сайте
подробности

 
 
> Целостность конфигурации ПЛИС, Как определить в процессе работы
DPL
сообщение Jan 30 2005, 11:34
Сообщение #1


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

Группа: Свой
Сообщений: 88
Регистрация: 15-10-04
Из: Новочеркасск
Пользователь №: 886



Здравствуйте.
В связи с необходимостью принятия решения о целесообразности применения ПЛИС возник такой вопрос: а как можно (и можно ли) определить, правильно ли она функционирует? Вот, например, загрузили в нее файл конфигурации, она заработала, а затем произошел сбой в конфигурационных данных (скачок питания, помеха и тд). Как выявить эту ситуацию? Для ОЗУ, например, можно посчитать контрольную сумму. А как для ПЛИС?
Буду благодарен за любые советы или ссылки.
Go to the top of the page
 
+Quote Post
 
Start new topic
Ответов
Димыч
сообщение Feb 8 2005, 14:46
Сообщение #2


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

Группа: Свой
Сообщений: 156
Регистрация: 1-02-05
Из: the Earth
Пользователь №: 2 331



В реальном проекте мне пришлось применять банальную перезагрузку ПЛИС(Альтера). При чем функционал плисины слетал частично - я вычитывал содержимое всяких регистров, но сложные автоматы и пр. - переставали работать (в результате помех).
Go to the top of the page
 
+Quote Post
Roamer
сообщение Feb 9 2005, 06:32
Сообщение #3


Участник
*

Группа: Свой
Сообщений: 35
Регистрация: 27-01-05
Из: Ярославль
Пользователь №: 2 228



Цитата(Димыч @ Feb 8 2005, 17:46)
В реальном проекте мне пришлось применять банальную перезагрузку ПЛИС ...сложные автоматы и пр. - переставали работать (в результате помех).
*

Может быть дело еще в том, что автоматы должны иметь (т.е. их нужно прописывать) способы выхода из некорректных состояний. Где-то в описании на AHDL так и написано. Чтож касательно вероятности перехода автомата в такое состояние - то она имеется smile.gif.
Вообще тема контроля правильности функционирования ПЛИС - весьма интересная.
Go to the top of the page
 
+Quote Post
makc
сообщение Feb 9 2005, 07:02
Сообщение #4


Гуру
******

Группа: Админы
Сообщений: 3 621
Регистрация: 18-10-04
Из: Москва
Пользователь №: 904



Цитата(Roamer @ Feb 9 2005, 09:32)
Цитата(Димыч @ Feb 8 2005, 17:46)
В реальном проекте мне пришлось применять банальную перезагрузку ПЛИС ...сложные автоматы и пр. - переставали работать (в результате помех).
*

Может быть дело еще в том, что автоматы должны иметь (т.е. их нужно прописывать) способы выхода из некорректных состояний. Где-то в описании на AHDL так и написано. Чтож касательно вероятности перехода автомата в такое состояние - то она имеется smile.gif.
*



Что-то я не понял, каким образом можно описать выход из некорректного состояния. (Или имеется в виду ресет? wink.gif ) Правильно спроектированный автомат не должен переходить в запрещенные состояния и если это происходит, то это либо ошибка проектирования, либо аппаратная несправность. Причем если эта неисправность носит случайный характер, то можно предусмотреть сигнал принудительного перевода автомата в заранее заданное состояние (сигнал сброса).


--------------------
BR, Makc
В недуге рождены, вскормлены тленом, подлежим распаду. (с) У.Фолкнер.
Go to the top of the page
 
+Quote Post
Roamer
сообщение Feb 9 2005, 08:00
Сообщение #5


Участник
*

Группа: Свой
Сообщений: 35
Регистрация: 27-01-05
Из: Ярославль
Пользователь №: 2 228



Цитата(makc @ Feb 9 2005, 10:02)
Что-то я не понял, каким образом можно описать выход из некорректного состояния. (Или имеется в виду ресет? wink.gif )
*

Нет, не ресет в данном случае. Все как написал jojo: действительно при проектировании обеспечить переход из некорректных состояний в корректные
(читай - описать все состояния).

Цитата(makc @ Feb 9 2005, 10:02)
...то можно предусмотреть сигнал принудительного перевода автомата в заранее заданное состояние (сигнал сброса).

А вот это ИМХО точно нужно, покрайней мере для начальной установки.
Go to the top of the page
 
+Quote Post
ADA007
сообщение Mar 31 2011, 10:31
Сообщение #6


Местный
***

Группа: Свой
Сообщений: 218
Регистрация: 2-02-09
Из: Харьков
Пользователь №: 44 266



Теме UP! Как определить целостность конфигурации в ПЛИС Xilinx серии Spartan? ... Читая документацию (ug380) про конфигурацию spartan six
Код
"During readback, the user reads all configuration memory cells, including the current values on all user memory elements (LUT RAM, SRL16, and block RAM)."

Тоесть на выходе мы имеем реальное текущее состояние ячеек. Конечно возлагание на внешнее устройство функций сравнивания прошивки и сброса ПЛИС, ограничивается надежностью этого устройства. Фактически мы можем похоронить заживо полностью рабочее устройство (в медицине такая практика была)... Вообще 100%-но гарантировать, что устройство исправно никто не может. Здесь важно определить степень параноидальности и выбрать самый оптимальный (надежный) вариант.
Мне интересно мнение разработчиков, которые проектировали системы повышенной безопасности (типа 10exp-12)... как они боролись с данной проблемой? Читая документацию Xilinx вижу как сильно они позаботились о загрузке правильной конфигурации. Неужели они не позаботились о ее целостности и сохранности? Если есть внутренние устройства CRC, WatchDog, Reset on error... неужели нельзя было сделать работу CRC циклическим для проверки целостности внутренней конфигурации (может это оно и есть? CONFIG POST_CRC_ACTION = [HALT | CONTINUE]) . Ведь бывают же случаи частичного разрушения кристалла, "зависания" (залипания) ПЛИС ... Или может быть такая ситуация, когда выгорела ножка ПЛИС, а конфигурация в полном порядке... как тогда быть, господа разработчики?
Go to the top of the page
 
+Quote Post
Мур
сообщение Apr 1 2011, 13:07
Сообщение #7


Знающий
****

Группа: Свой
Сообщений: 815
Регистрация: 7-06-06
Из: Харьков
Пользователь №: 17 847



Цитата(ADA007 @ Mar 31 2011, 13:31) *
... Ведь бывают же случаи частичного разрушения кристалла, "зависания" (залипания) ПЛИС ... Или может быть такая ситуация, когда выгорела ножка ПЛИС, а конфигурация в полном порядке... как тогда быть, господа разработчики?


А ведь существует возможность внешнего контроля работоспособности модулька! Взять компакт- ПиСиАй. Там во внешний мир зарезервированы сигналы Джитага для граничного сканирования. Пром-компьютер имеет возможность быстрого контроля подключённого к себе модулька(Всю цепочку БИС, что на борту модуля) на предмет годности паек, целостности линий, а в пределе, проверку сквозного функционирования нужных частей проекта (не в реальном времени) , перезаливки памяти и ,если оставить в проекте тестовые блочки, считывание-запись памяти в ПЛИСине, как в штатном режиме SignalProbe. Да тут можно нагородить любые варианты! Вот только стоить это будет дорого!!!
Вот и по внешним признакам жизни модулька тоже можно убедиться в правильности своего модулька. Опять таки через граничное сканирование. Существует целая наука по организации тестопригодности изделий.
Go to the top of the page
 
+Quote Post
ADA007
сообщение Apr 4 2011, 05:21
Сообщение #8


Местный
***

Группа: Свой
Сообщений: 218
Регистрация: 2-02-09
Из: Харьков
Пользователь №: 44 266



Цитата(Мур @ Apr 1 2011, 16:07) *
А ведь существует возможность внешнего контроля работоспособности модулька! Взять компакт- ПиСиАй. Там во внешний мир зарезервированы сигналы Джитага для граничного сканирования. Пром-компьютер имеет возможность быстрого контроля подключённого к себе модулька(Всю цепочку БИС, что на борту модуля) на предмет годности паек, целостности линий, а в пределе, проверку сквозного функционирования нужных частей проекта (не в реальном времени) , перезаливки памяти и ,если оставить в проекте тестовые блочки, считывание-запись памяти в ПЛИСине, как в штатном режиме SignalProbe.

М-да...это всё мне напоминает избитый философский вопрос кто же будет охранять охранника?

Цитата(Мур @ Apr 1 2011, 16:07) *
Да тут можно нагородить любые варианты! Вот только стоить это будет дорого!!!

Так для этого и был поднят вопрос => Что оптимальнее?

Цитата(Мур @ Apr 1 2011, 16:07) *
Вот и по внешним признакам жизни модулька тоже можно убедиться в правильности своего модулька. Опять таки через граничное сканирование. Существует целая наука по организации тестопригодности изделий.

Увы, если б можно было проводить Boundary scan (граничное сканирование) в процессе работы "модлуька" так чтобы это не мешало остальной работе - было бы очень кстати...
Go to the top of the page
 
+Quote Post
Мур
сообщение Apr 4 2011, 06:09
Сообщение #9


Знающий
****

Группа: Свой
Сообщений: 815
Регистрация: 7-06-06
Из: Харьков
Пользователь №: 17 847



Цитата(ADA007 @ Apr 4 2011, 09:21) *
М-да...это всё мне напоминает избитый философский вопрос кто же будет охранять охранника?

Чудес не бывает. Вам обязательно нужен внешний наблюдатель.
Цитата(ADA007 @ Apr 4 2011, 09:21) *
Так для этого и был поднят вопрос => Что оптимальнее?

Хотя-бы по косвенным признакам. Вводите в систему тестовые циклы одновременно с рабочими.
Цитата(ADA007 @ Apr 4 2011, 09:21) *
Увы, если б можно было проводить Boundary scan (граничное сканирование) в процессе работы "модлуька" так чтобы это не мешало остальной работе - было бы очень кстати...

А что вам мешает так и сделать? Без ганичного,- в лоб. В Альтере вставочки(доступные через ДЖИТАГ) легко делаются в любое место. Чисто организационный вопрос! biggrin.gif

А почему бы вам не перейти на ACTEL? Одноразово прошили и останется только проблема контакта ножек и внешнего мира...

Сообщение отредактировал Мур - Apr 4 2011, 06:37
Go to the top of the page
 
+Quote Post
ADA007
сообщение Apr 4 2011, 07:41
Сообщение #10


Местный
***

Группа: Свой
Сообщений: 218
Регистрация: 2-02-09
Из: Харьков
Пользователь №: 44 266



Цитата(Мур @ Apr 4 2011, 09:09) *
Чудес не бывает. Вам обязательно нужен внешний наблюдатель.

Да, я согласен, но как писалось выше
Цитата(i-mir @ Apr 1 2011, 20:53)
для сложных микросхем этот уровень составляет 10е-5 ... 10е-7
то есть надежность собаки, которая охраняет охранника ниже или такая же.
Цитата(Мур @ Apr 4 2011, 09:09) *
Хотя-бы по косвенным признакам. Вводите в систему тестовые циклы одновременно с рабочими.

Если ПЛИС будет проверять сама себя на отказ, кому надо такое устройство? laughing.gif
Цитата(Мур @ Apr 4 2011, 09:09) *
А почему бы вам не перейти на ACTEL? Одноразово прошили и останется только проблема контакта ножек и внешнего мира...

Читаем внимательнее вопрос и не оффтопим
Цитата
Как определить целостность конфигурации в ПЛИС Xilinx серии Spartan?
Go to the top of the page
 
+Quote Post

Сообщений в этой теме
- DPL   Целостность конфигурации ПЛИС   Jan 30 2005, 11:34
- - Maksim   Для Xilinx,например-это режим ReadBack (см. наприм...   Jan 30 2005, 12:22
- - makc   Readback это, конечно, хорошо. Но ведь в процессе ...   Jan 30 2005, 12:49
|- - DPL   Цитата(makc @ Jan 30 2005, 15:49)Мне кажется,...   Jan 30 2005, 13:08
|- - makc   Цитата(DPL @ Jan 30 2005, 16:08)Я бы не сказа...   Jan 30 2005, 14:49
- - 3.14   to makc <Readback это, конечно, хорошо. Но ведь...   Jan 30 2005, 13:55
- - one_man_show   На мой взгляд самый верный способо достижения наде...   Jan 30 2005, 14:01
|- - DPL   Цитата(one_man_show @ Jan 30 2005, 17:01)На м...   Jan 30 2005, 14:49
- - vetal   Настоятельно рекомендую прочитать выкладки актел п...   Jan 30 2005, 14:16
- - makc   Цитата(3.14 @ Jan 30 2005, 16:55)<Readback...   Jan 30 2005, 14:52
- - 3.14   to makc <... Но это будет зависеть он нескольки...   Jan 30 2005, 15:36
|- - makc   Цитата(3.14 @ Jan 30 2005, 18:36)to makc ...   Jan 30 2005, 16:30
|- - DPL   Цитата(3.14 @ Jan 30 2005, 18:36)Ну еще, не в...   Jan 31 2005, 06:09
- - 3.14   <... Но с ростом частоты вероятность ошибки буд...   Jan 30 2005, 17:32
|- - makc   Цитата(3.14 @ Jan 30 2005, 20:32)<... Но с...   Jan 30 2005, 20:10
- - Igor_S   Цитата(DPL @ Jan 30 2005, 14:34)Здравствуйте....   Jan 31 2005, 06:51
|- - DPL   Цитата(Igor_S @ Jan 31 2005, 09:51)Wse FPGA A...   Jan 31 2005, 10:01
|- - Igor_S   Цитата(DPL @ Jan 31 2005, 13:01)Цитата(Igor_S...   Jan 31 2005, 13:16
|- - DPL   Цитата(Igor_S @ Jan 31 2005, 16:16)Hotja, dol...   Feb 1 2005, 06:43
- - Vitus   В подобной ситуации сначала необходимо принять реш...   Jan 31 2005, 08:33
|- - one_man_show   Цитата(Vitus @ Jan 31 2005, 11:33)В подобной ...   Feb 1 2005, 09:55
|- - Vitus   Прошу прощения за резкозть!   Feb 2 2005, 09:15
- - vetal   Берите PAPlus или AntiFuse и не мучайтесь. Прошива...   Jan 31 2005, 10:17
- - Hilter   Наиболее применимыми (в плане затрат) решениями дл...   Feb 2 2005, 08:23
- - GeorgyBey   В тему надежности : мое руководство (а мы пытаемся...   Feb 2 2005, 13:51
||- - Мур   Цитата(ADA007 @ Apr 4 2011, 11:41) Да, я ...   Apr 4 2011, 08:31
|- - Krys   Цитата(ADA007 @ Mar 31 2011, 17:31) Как о...   Apr 26 2011, 07:54
- - jojo   ==Что-то я не понял, каким образом можно описать в...   Feb 9 2005, 07:33
- - i-mir   Насколько я понял, вопрос ТС находится в сфере обе...   Apr 1 2011, 17:53
- - DSIoffe   У отечественных ПЛИС серии 5576 (кроме первой) ест...   Apr 4 2011, 07:52
- - Mikron   здесь ранее писали про то, что альтеравские девайс...   Jun 21 2011, 23:29
|- - ADA007   Цитата(Mikron @ Jun 22 2011, 02:29) здесь...   Jun 30 2011, 13:55
- - FAE_SKV   Цитата(DPL @ Jan 30 2005, 15:34) Здравств...   Jul 5 2011, 10:47
- - ciberbob   Как отмечалось выше у Xilinx есть функция проверки...   Jul 8 2011, 09:35
- - Homo Sapiens   А простой монитор сигнала DONE не спасет? Вот еще ...   Jul 8 2011, 10:59
- - Hoodwin   Цитата(ADA007 @ Jun 30 2011, 17:55) Как и...   Jul 8 2011, 14:45
|- - Torpeda   Цитата(Hoodwin @ Jul 8 2011, 17:45) Когда...   Sep 16 2014, 13:21
- - tomas111   Прочитал 3 страницы, но почему то ответа я не нашё...   Sep 16 2014, 11:11
- - tomas111   На верное не правильно выразился. Точнее не до рас...   Sep 17 2014, 05:33
- - WitFed   Ох, "искусственный интеллект" никак сам ...   Sep 17 2014, 07:40
- - tomas111   В Xilinx tcnm блок ICAP. Не могу понять как провер...   Sep 23 2014, 05:33


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

 


RSS Текстовая версия Сейчас: 19th July 2025 - 13:37
Рейтинг@Mail.ru


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