[an error occurred while processing this directive]
Интересно, а кто-нибудь пользуется Formal Verification?
(«Телесистемы»: Конференция «Программируемые логические схемы и их применение»)
Отправлено
Victor®
06 июня 2003 г. 14:06
Составить ответ
|||
Конференция
|||
Архив
Ответы
Мы делаем. Formal Pro - это круто. А Prover Вас не интересует ? Можем помочь :)
—
ACTEL
(10.06.2003 19:24,
пустое
)
В 2000-ом я с одним буржуем общался. Он пользовался. Ну говорит методика другая. Работает побыстрей. Но при той цене софта... Можно и моделированием пользоваться.
—
zlyh
(06.06.2003 16:38,
пустое
)
Отправка ответа
Имя (обязательно):
Пароль:
E-mail:
Тема (обязательно):
Сообщение:
Ссылка на URL:
Название ссылки:
URL изображения:
Перейти к списку ответов
|||
Конференция
|||
Архив
|||
Главная страница
|||
Содержание
|||
Без кадра
E-mail:
info@telesys.ru