Закрыть SLD-Гэп Проверка

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

Кремний технологических процессов, в настоящее время доставки 0,15 и даже 0,12-микронных размеров функцию, позволить себе дизайнеры огромное количество, что некоторые EDA компании называют пробелами. Это позволяет в течение нескольких миллионов транзисторов быть забиты в один квадратный сантиметр кремния. Повторное использование проектов позволило закупить готовый блоков интеллектуальной собственности (ИС) и создания ИС в процессе, который похож на дизайн PCB.

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

Большое количество времени, по оценкам, около 70 процентов, проведенных в процессе разработки чипа занята проверкой дизайна. И дизайн должен быть проверена в двух важных отношениях прежде чем он может быть отправлен в производство: Он должен достичь функциональной блокады и сроках закрытия. Оба итеративный, трудоемких процессов.

Вообще говоря, эти проекты можно рассматривать как области комбинаторной логики (И, NAND, OR, NOR и не ворот), которые находятся между банками элементов памяти или регистров. Регистров ввода или вывода из этих районов комбинаторной логике, и это занимает много времени для распространения сигналов между хранения элементов. Даже небольшие функциональные блоки в дизайн будет содержать тысячи ворот и сотни регистров. На периферии блоков будет равнозначно SOC ввода, вывода и управления булавки.

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

Сроки закрытия получила большое внимание в последнее время с Cadence Design Systems, Magma Design Automation и Synopsys объявляет решения для автоматизации задачи обеспечения дизайн соответствует времени закрытия.

Конструкции сотни входов и состояний моделируемой регулярно, не требуя миллионы время моделирования лет ", потому что дизайнеры принять" разделяй и властвуй "подход. При разбиении проектирования в функциональных блоков (с меньшим числом состояний) делит проблемы, он еще далеко не решена она так дизайнеры не могут в достаточной проверки взаимодействия функциональных блоков на коллективной основе.

Другой характерной несчастного моделирования является то, что недостаточный охват вектор часто происходит потому, что мало управляемости или наблюдаемость внутренних сигналов. Это отсутствие внутренней видимость во внутреннюю функциональность дизайна делает традиционные моделирования черного ящика ".

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

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

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

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

Утверждение мониторинг может улучшить методы моделирования и лучше, чем принятие "разделяй и властвуй" подход, избирательно количество тестовых векторов применяются или пытаются найти ошибки спрятанные в черные ящики. Моделирование имеет свое место в чипе проверки, но для многомиллионной ворота конструкций, формальные методы должны быть приняты для преодоления сложности проверки SOC конструкции как коллективный субъект высоко интерактивных блоков IP.

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

Дино Caporossi является директором по маркетингу Verplex Systems, Inc в Милпитасе, Калифорния