а что заметно улучшается времянка? может что-то FSM explorer неправильно что-нибудь закэшировал? («Телесистемы»: Конференция «Программируемые логические схемы и их применение»)

Разработка, производство и продажа радиоэлектронной аппаратуры

| Карта сайта | Пишите нам | В избранное

Требуется программист в Зеленограде
- обработка данных с датчиков; ColdFire; 40 тыс.
e-mail:jobsmp@pochta.ru

Телесистемы | Электроника | Конференция «Программируемые логические схемы и их применение»

а что заметно улучшается времянка? может что-то FSM explorer неправильно что-нибудь закэшировал?

Отправлено yes 27 августа 2007 г. 17:56
В ответ на: Synplify:: Кто-то сталкивался с глюками FSM Compilera? Я неоднократно слышал совет выключать его, но сам вот первый раз вляпалсо.. отправлено Dr.Alex 27 августа 2007 г. 09:50

я сам не заметил улучшения времянки при использовании FSM xxxxx
поэтому не эксперт

но можно попытаться какой-нибудь formality|conformal прикрутить для поиска бага
я это никогда не делал, но, например, ксайлинс, вроде предоставляет какие-то либы для синопсиса
если получится formality - я бы ознакомился с технологией :)

Составить ответ | Вернуться на конференцию

Ответы

ну и про xilinx+формалити - вроде видел в каких-то хххgen-ах опцию генерации для формальных чекеров — yes (27.08.2007 17:57:53 87.236.81.130, пустое)
- Простите,отклонюсь от темы: удалось ли Вам найти живой conformal? — Knkn (30.08.2007 15:21:5 213.33.250.250, пустое)
- (+) — Dr.Alex (27.08.2007 20:03:4 91.149.89.107, 677 байт)
  - Это, конечно хорошо, но где бы таблеточку для 8.9.0.4 надыбать...? — ixodid (29.08.2007 11:57:28 83.237.153.167, пустое)
    - Вот и я о том же.. Может и старая подойдёт, просто некогда щас возиться.. — Dr.Alex (29.08.2007 13:05:52 62.231.6.116, пустое)