Практические решения для повседневной IP Несоответствие - Разработка стратегии: Комментарий
ОБЕЩАНИЕ многоразового IP в разработке чипов многомиллионные ворота системы является большим, но ряд принципиальных вопросов, которые еще проблема даже самые лучшие группы интегральных схем. Главным среди них является то, что я называю дилемма "Несовпадение IP", состояние, в котором preverified IP, когда вставлена в систему реального мира, не удается жалко потому что не может общаться с окружающими блоков.
IP интеграции был изначально ненадежны, потому что два отдельных групп часто несут ответственность за создание ИС и ИТ-системы предназначены. Основным источником ошибок является связь между IP и системы, в которой небольшое недоразумение из спецификации интерфейса может привести к труднодоступных найти угловой случае несоответствия. Это происходит, когда несколько условий произошло все так.
Обострение этой проблемы две основные тенденции порожденных роста в кремнии недвижимости: более широкое использование встроенных процессоров, таких как ARM ядра, а неизбежный рост сторонних приложений IP и дизайн повторного использования. Кроме того, инфраструктура, методологии, правовых и других вопросов, связанных с бурным ростом использования IP готовый, его повышенные требования использования новых методик контроля.
Решение несовпадающими IP является утверждение утверждение методологии, основанной на проверке конструкции. Это требует от разработчика IP для захвата системы окружающей среды предположения в форме утверждения, и эти утверждения становятся частью IP, что позволяет спецификации со списком потока, которая проверяет IP-система интеграции. Захватив утверждения на уровне регистровых передач (RTL) и вложение их непосредственно в их конструкции, испытания стали частью жизни, если и автоматически выполняются как конструкция проверена.
Новые методики, которые позволяют проектных команд написать и проанализировать утверждения во встраиваемых систем в настоящее время оценки в число ведущих компаний электроники. Они предлагают своевременной и практического применения в конструкции реальных платформы.
В том числе утверждения в области ИС, что проверка автобуса стандартов и других ключевых связи и информации, а затем запуск этих утверждений посредством использования программного обеспечения и прошивки диагностических тестов, в процессе моделирования, быстрого оценки связи IP достигнута. Это задача, которая традиционно подвержен ошибкам и отнимает много времени.
Иллюстрирует этот подход является утверждение о методологии, основанной в результате партнерства между сотрудничества Автоматизация проектирования и Real намерениях, который предлагает шаг за шагом, формула успеха для проверки больших встраиваемых решений. Сочетание формальных функциональные проверки и системы моделирования, которая позволяет тестирования over аппаратных платформ, этот метод основан на Co-Design/Real намерениях Superlog Утверждения (CRSA), которые были недавно переданы Accellera для включения в стандартные системы Verilog.
Этот новый подход позволяет IP включить встроенный проверки. После моделирования ИС в Verilog, спецификация интерфейса, подробно использованием CRSA утверждение конструкций и моделируется сотрудничества автоматизации проектирования в системе симулятор для проверки правильности работы и обеспечивать освещение интерфейс функциональность. И тот же набор утверждение запустить через Verix проверки модели Real намерениях, чтобы убедиться в IF через интерфейс до 100 процентов функционального охвата. Этот шаг гарантирует, что правильное применение интерфейс существует в IP до ее интеграции в рамках встроенный процессор платформы.
И тот же набор утверждение затем устанавливается на шину между IP и платформу, а также программное обеспечение для диагностики выполняется на процессоре моделирование с использованием Cblend, быстрый C / HDL интерфейс. Закодированных диагностических затем направляет звонки и от IP и тесты других взаимодействий в то время как интерфейс утверждения обнаружить ошибки условиях между IP и автобусы. Наконец, при нормальных условиях осуществляются и случайных векторов, которые используются для выявления потенциальных проблем дальнейшего углу случае.
Красота этого подхода состоит в том, что он построен из инструментов и методов, которые уже знакомы с дизайнером, и на их пути, чтобы стать широко признанным отраслевым стандартам. Используя утверждение методологии, основанной, дизайн команды могут быстро понять огромную экономию времени в процессе проверки и соответствующего качества увеличение их конструкции встроенных систем.
Dave Kelf является вице-президентом по маркетингу в сотрудничестве автоматизации проектирования Инк, базирующаяся в Лос-Альтос, штат Калифорния Просьба связаться с ним по адресу <a href="mailto:davek@codesign.com"> davek@codesign.com / A>. Совместно разработанное недавно был приобретен Synopsys Инк Этот комментарий был написан до этого события.
