[an error occurred while processing this directive]
Мы делаем. Formal Pro - это круто. А Prover Вас не интересует ? Можем помочь :)
(«Телесистемы»: Конференция «Программируемые логические схемы и их применение»)
миниатюрный аудио-видеорекордер mAVR

Отправлено ACTEL 10 июня 2003 г. 19:24
В ответ на: Интересно, а кто-нибудь пользуется Formal Verification? отправлено Victor® 06 июня 2003 г. 14:06


Составить ответ  |||  Конференция  |||  Архив

Ответы

Отправка ответа

Имя (обязательно): 
Пароль: 
E-mail: 

Тема (обязательно):
Сообщение:

Ссылка на URL: 
Название ссылки: 

URL изображения: 

Перейти к списку ответов  |||  Конференция  |||  Архив  |||  Главная страница  |||  Содержание  |||  Без кадра

E-mail: info@telesys.ru