(495) 926-79-57

market@elvees.com
124498, Москва, Зеленоград, проезд № 4922, дом 4, стр.2

Заседание НТС состоится 3 июня 2009 года

Главная » Пресс-центр » Новости »

ТЕХНИЧЕСКАЯ ПОДДЕРЖКА




Телефон: (495) 913-32-51

Электронная почта: support@elvees.com

Документация

Программное обеспечение

Последние новости

Повестка дня:

Тема доклада

«Функциональная верификация СБИС: организационные вопросы»

Гусев В. НТО-2. 30 мин доклад, 20 мин вопросы.

Аннотация

В ходе эволюции методов и средств проектирования была создана масса замечательных инструментов - высокоуровневые языки описания аппаратуры, синтезаторы, средства автоматической разводки и верификации топологии, анализаторы характеристик проекта и т.п. - которые реально обеспечили возможность проектирования микросхем со степенью интеграции в сотни тысяч транзисторов за разумные сроки.

Однако во всем этом великолепии до сих пор остается практически единственной область функциональной верификации, для которой так и не было создано "серебряной пули": средства, способного по нажатию одной кнопки определить, что разработанное устройство работает правильно. Или, по крайней мере, средства, которое бы уменьшило затраты на проверку функционирования хотя бы в 10 раз, по отношению к тому, что мы имели 25 лет назад. Не удивительно, что в настоящее время затраты на функциональную верификацию оцениваются на уровне 50-70% от затрат на разработку микросхемы в целом. При этом в данной области от способностей специалистов зависит значительно больше, чем от возможностей САПР.

Соответственно, повышение качества функциональной верификации или снижение затрат на функциональную верификацию даже на 10% при сохранении необходимого качестве являются в высшей степени актуальными. Увы, как уже отмечалось, универсального простого средства для решения этих задач пока нет. Однако существует ряд методов и средств, как организационных, так и технических, позволяющих их решать.

В данном докладе рассмотрены различные элементы организации процесса проектирования интегральных микросхем, позволяющие повысить качество и/или снизить затраты на функциональную верификацию в условиях изменяющейся спецификации (технического описания) в жестких временных рамках проекта. В частности: разделение команды по ролям и взаимодействие основных частей команды в ходе проекта, место спецификации проекта и тестового плана в процессе проектирования, использование средств управления проектом (контроль версий, отслеживание ошибок), процесс регрессии ошибок, применение рандомизированных тестов и средства контроля качества тестов.

Тема доклада

«Среда функциональной верификации SDR-приемопередатчика MF-02»

Лотарев В. НТО-2. 30 мин доклад, 20 мин вопросы.

Аннотация

Наиболее важной и значимой проблемой проектирования сложных микропроцессорных СБИС является функциональная верификация. В настоящее время считается, что затраты на верификацию СБИС превышают 70% от общих трудозатрат на разработку. Не смотря на это, ошибки логической модели остаются наиболее распространенной причиной необходимости дополнительных итераций изготовлений микросхем.

MF-02 - программируемая аналого-цифровая ИМС для цифрового преобразования частоты в системах ввода, предобработки сигналов, приемных и передающих трактов ФАР и базовых станций. ИМС имеет четыре канала (гетеродин, КИХ c дециматором/интерполятором, полуполосный фильтр, КИХ с перераспределяемыми между каналами ресурсами, преобразователи координат полярные-декартовы, матричный умножитель, блок ограничения пик-фактора, блок квадратурной коррекции) реконфигурируемых на прием или передачу. ИМС имеет интерфейсы для синхронизации с DSP процессорами Analog Devices и "Мультикор": Link SHARC, SPI, ParallelPort, Serial Rapid IO 1x/4x, SpaceWire.

В докладе рассмотрены основные проблемы при функциональной верификации ИМС MF-02. Показана необходимость разработки библиотеки базовых классов для построения конфигурируемых тестов. Рассмотрены некоторые классы библиотеки и их взаимодействие.

Представлен принцип построения алгоритмической модели устройства потоковой обработки данных на примере MF-02. Рассмотрены необходимые инструменты для работы и синхронизации команды разработчиков RTL и тестов (cvs, bugtracker, make).