Вызова проверки промышленности вооружений - Comment - электронных стандартов автоматизации проектирования - Редакция - промышленность Обзор

International Technology Дорожная карта для полупроводников 2001 говорится, что "без серьезных прорывов, проверка будет nonscalable, showstopping препятствием для дальнейшего прогресса в полупроводниковой промышленности."

Эта проверка кризис ставит отрасли EDA на перепутье. Некоторые творческие подходы к проверке возникают, которые могли бы прорваться сквозь барьер. Но теперь мы должны сделать разумный выбор подходов мы будем следовать, чтобы обеспечить простой и быстрый путь к производительности.

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

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

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

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

Использования свойств предлагает новую парадигму, которая потенциально может революционизировать процесс проверки. Как появление осуществления Verilog языка дизайна в начале 1990-х, недвижимость и связанные с ними средства могли бы позволить огромный скачок в производительности труда. Verilog был создан в ответ на дизайн пробел, который душил производительности труда, и это было революционным в обеспечении логического синтеза. Но Verilog изначально закрыт, а некоторые отрасли обнял VHDL в качестве альтернативы. Из-за этого, как Языки которых речь идет о вопросах практической реализации, и эта двойственность создала огромное неэффективности.

Боль в поддержке и реализации 2 Языки чувствуют производители EDA и их клиентов. Продавцы должны поддерживать нескольких Языки, использование ресурсов для решения той же задачи в два раза. И, как повторное использование становится все более широкое распространение, клиентам приходится иметь дело с интеграцией ядра IP создал в обоих Языки. Представьте себе, где электронная промышленность может быть сегодня, если бы мы поставили всю нашу энергию в создание новых алгоритмов и методов на одном языке.

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

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

Том Боргстром является вице-президентом по маркетингу в TransEDA PLC.