Часть 9: ИНСТРУМЕНТЫ

Сравнение сети

Electric способен сравнить два разных фасета и определить, будут ли их сети иметь одинаковую топологию. Эта операция иногда называется Layout vs. Schematic (LVS - компоновка против схемы), но, поскольку Electric может сравнивать любые две цепи (включая две компоновки или две схемы), используется термин Network Consistency Checking (NCC - проверка последовательности сети). В Electric система NCC базируется на работе Gemini Carl Ebeling (см. Ebeling, Carl, "GeminiII: A Second Generation Layout Validation Program", Proceedings of ICCAD 1988, p322-325.)

Для сравнения двух фасет используйте субкоманду NCC Control and Options... команды Network меню Tools.

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

Нижняя часть диалога имеет клавиши для запуска NCC ("Do NCC") и для выполнения "Preanalysis" (быстрое сравнение фасет, которое может обнаружить проблемы сравнения без полного анализа). Преданализ (preanalysis) показывает сети и компоненты в двух фасетах и позволяет вам проверить те, что имеют различия. Клавиша "Save" сохраняет изменения, сделанные в диалоге без выполнения какого-либо анализа.

Для получения представления о проверке последовательности сети откройте библиотеку "samples.txt" и сравните фасеты "tool-NCC{lay}" и "tool-NCC{sch}" (вы можете прочитать библиотеку субкомандой Readable Dump команды Import меню File). Эти два фасета эквивалентны и контролер должен обнаружить именно это.

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

Когда сравнение прекращается, вы можете просмотреть ошибки, вводя ">" и "<" для перехода к следующей или предыдущей ошибке, которые были обнаружены.

Когда сравнение успешно завершено, узлы и дуги в одном фасете могут быть сопоставлены с теми же в другом простым выбором одного из них и использованием субкоманды Show Network.

Тонкие настройки (Fine-Tuning)

Для управления контролером последовательности сети используйте центральную часть диалога NCC Control and Options...  Опции слева определяются для всех фасет. Некоторые из этих опций могут быть перезаписаны для индивидуальных фасет выбором этого фасета и выбором "Yes" или "No" перезаписывающих клавиш справа. Заметьте, что перезапись относится к схеме, а не к иконкам (иконки фасет не показаны в списке). Чтобы увидеть список всего перезаписываемого, что существует, используйте клавишу "List all overrides".

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

При проверке отдельных фасет NCC может игнорировать проверку содержимого образцов. Если выбрано "Expand hierarchy", тогда все цепи ниже текущего фасета извлекаются и рассматриваются с фасетом. В противном случае, образцы фасет только сравниваются по их соединениям без учета их содержимого. Для помощи в выстраивании двух иерархий, которые структурированы различно, эта опция может быть приложена выборочно к разным фасетам.

Флаг "Merge parallel components" инструктирует NCC рассматривать множество компонент, соединенных в параллель, как единый компонент. Когда эта опция выбрана, два или более параллельных компонента будут корректно сопоставлены единственному, большему, в другом фасете.

Флаг "Merge series transistors" инструктирует NCC рассматривать множество транзисторов, соединенных в ряд, как единый, сложный компонент. Когда эта опция установлена, порядок присоединения вентилей к этим транзисторам, не будет игнорироваться.

NCC запоминает время, когда успешно выполнено NCC и помечает соответствующие фасеты так, что они не проверяются вновь (если они не изменялись). Клавиша "Clear valid NCC dates" удаляет эту информацию, форсируя новый запуск NCC. Заметьте, что клавиша также удаляет все ярлыки "NCCmatch", которые создаются процессом сопоставления (matching process).

"Ignore power and ground" инструктирует NCC игнорировать сети питания и земли. Это полезно, когда компоновка имеет питание и землю, тогда как схема их не имеет.

Выбор "Check export names" инструктирует NCC проверить имена экспортов в части последовательности после того, как обнаружено соответствие. Если экспорты названы по разному в двух цепях, будет выдано предупреждение.

"Check component sizes" инструктирует NCC сравнить размеры компонент после обнаружения соответствия. Пока не выбрано, компоненты будут приравниваться только согласно с их связностью, а не с их размерами. Поля разброса размеров позволяют задать его в процентах или в виде абсолютной разности между двумя компонентами. 

Контролер последовательности сети может работать на текущем фасете, или он может рекурсивно проверять каждый фасет от текущей точки вниз. Для рекурсивной проверки отдельных уровней иерархии снимите флажок "Expand hierarchy" и установите "Recurse through hierarchy".

Два флажка "Verbose" требуют текстовой и графической отладочной информации.

Устранение противоречий (Disambiguation)

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

Другая техника разрешения противоречий включает размеры узлов и произвольное отгадывание. Когда делается произвольная догадка, размещается ярлык в цепи, чтобы показать предположение. Эти метки имеют имена подобно "NCCMatch3" и располагаются на узлах или дугах, чтобы обозначить предполагаемую ассоциацию.  "Show 'NCCMatch' Tags" требует, чтобы эти автоматически генерируемые маркеры эквивалентности отображались в цепи.