[an error occurred while processing this directive]
С SMV народ приспособился из VHDL->Verilog->SMV (+)
(«Телесистемы»: Конференция 'Языки описания аппаратуры (VHDL и др.))

миниатюрный аудио-видеорекордер mAVR

Отправлено Shtirlits 09 февраля 2006 г. 20:18
В ответ на: есть свободные "модель чекеры" - единственная проблема - язык входной у них "левый" отправлено yes 09 февраля 2006 г. 18:10

Спасибо за ссылочки!

Ищу способ построить технологическую цепочку:
спецификация -> модель и ее проверка по ассертам -> реализация и ее проверка по модели -> синтез, P&R и проверка по модели.

Подробно не читал, только пробежал текст.
С ручными правками на каждом этапе, но вроде как правки автоматизируются скриптиками.
Конвертируют из VHDL в Verilog через leonardo spectrum.


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

Ответы


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

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

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

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

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


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

E-mail: info@telesys.ru