[an error occurred while processing this directive]
Спасибо! Буду читать и сражаться дальше (+)
(«Телесистемы»: Конференция «Языки описания аппаратуры (VHDL и др.))
миниатюрный аудио-видеорекордер mAVR

Отправлено Shtirlits 04 июля 2006 г. 12:27
В ответ на: SOLD Вам нужен. Он есть на ел-ксе. Там доки на все продукты, а в дистрах продуктов доков нет. отправлено SM 04 июля 2006 г. 11:55

После небольшого, но опыта работы с smv и formality, после ловли с их помощью нескольких ошибок, очень похожих на те, что я искал по месяцу, я буду грызть формльную верификацию.

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

Ответы

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

Имя (обязательно): 
Пароль: 
E-mail: 
NoIX ключ :  Запомнить

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

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

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

Rambler's Top100 Рейтинг@Mail.ru
Перейти к списку ответов  |||  Конференция  |||  Архив  |||  Главная страница  |||  Содержание

E-mail: info@telesys.ru