[an error occurred while processing this directive]
А я разве не положил лиц. в известное место? Или ее оттуда того?
(«Телесистемы»: Конференция 'Языки описания аппаратуры (VHDL и др.))
Отправлено
SM
10 февраля 2006 г. 19:48
В ответ на:
я так понял, что для формальной верификации нужна полнота асертов
отправлено yes 10 февраля 2006 г. 12:38
Составить ответ
|||
Конференция
|||
Архив
Ответы
Рядом с линуксячими файлами 2005 ничего не нашел (+)
—
Shtirlits
(10.02.2006 20:11
83.149.205.223
, 217 байт)
если можно - помогите/разъясните. лицензия оттуда имеет фичу с формалити, но ft_shell (вроде) оттудоваже требует другую фичу
—
yes
(10.02.2006 19:59
87.236.81.130
,
пустое
)
надеюсь, что это не только мне интересно :
—
yes
(10.02.2006 20:12
87.236.81.130
, 422 байт)
Ща. Погодите. Будет вам кофэ, и какава тоже будет.
—
SM
(10.02.2006 20:29
213.141.159.26
,
пустое
)
Кофэ с чаем, дыбанное именно из этой формалити (я сам удивился от изобилия урожая) найдете там. в кряксах.
—
SM
(10.02.2006 21:11
213.141.159.26
,
пустое
)
Небольшой сорри. Там поправка произошла мелкая - адын нюанс забыл. Смотреть там же.
—
SM
(10.02.2006 23:31
213.141.159.26
,
пустое
)
вопрос для общего развития - а что в этот src достаточно имя фичи записать и все?
—
yes
(13.02.2006 13:16
87.236.81.130
, 39 байт)
Естессно.
—
SM
(13.02.2006 17:05
213.141.159.26
,
пустое
)
УРА! Спасибо!!!
—
Shtirlits
(11.02.2006 00:53
83.149.205.223
,
пустое
)
Отправка ответа
Имя (обязательно):
Пароль:
E-mail:
NoIX ключ
:
Запомнить
Тема (обязательно):
Сообщение:
Ссылка на URL:
Название ссылки:
URL изображения:
Перейти к списку ответов
|||
Конференция
|||
Архив
|||
Главная страница
|||
Содержание
E-mail:
info@telesys.ru