[an error occurred while processing this directive]
Пользуюсь formality, а также (этой просто постоянно) встроенной в команду "compile" DC (+)
(«Телесистемы»: Конференция «Языки описания аппаратуры (VHDL и др.))

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

Отправлено SM 09 февраля 2006 г. 01:36
В ответ на: Кто пользуется формальной верификацией (model checking, equivalency check) ? отправлено <font color=gray>Shtirlits</font> 08 февраля 2006 г. 14:08

мне это нужно при поиске несоответствий того, что наделал синтезатор, моей логике. Такое, поверьте, бывает, хоть и крайне редко, и получается обычно после долгой, жестокой и многоступенчатой оптимизации с использованием всевозможных изврещенческих технологий, имеющихся у этого синтезатора. И вот чтобы это найти, и устранить вручную прямо в нетлисте, данные средства очень помогают. В реальности такое случилось один раз, когда симуляция нетлиста не давала сходимости с симуляцией исходника именно по такой причине. При очень хорошем результате по площади. Могу сказать, что оно меня выручило.

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

Ответы


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

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

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

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

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


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

E-mail: info@telesys.ru