Глава 9: Инструменты

9-7: Сетевая проверка последовательности (NCC)

9-7-1:Введение в NCC

Electric может сравнить две различные ячейки и определить, есть ли у этих сетей та же самая топология. Эту операцию иногда называют Layout vs. Schematic (LVS), потому что Electric может сравнить любые две схемы (включая две топологии или две схемы), мы используем термин Network Consistency Checking (NCC).
У Electric Network Consistency Checker есть два алгоритма для соответствия сетям:
- Первые NCC пытаются обнаружить несоответствия схемы, используя алгоритм, названный "Local Partitioning". Local Partitioning обеспечивает точную и понятную диагностику несоответствия.
- После Local Partitioning NCC использует алгоритм Gemini (Ebeling, Carl, "GeminiII: A Second Generation Layout Validation Program", Proceedings of ICCAD 1988, p322-325.). На практике свыше 95% всех ошибок найдены в Local Partitioning.
NCC имеет "hierarchical" режим, который начинается в нижней части иерархии в конечных ячейках и продолжает двигаться вверх. Этот рекомендуемый способ, потому что он позволяет алгоритму Local Partitioning обеспечивать еще более точную и понятную диагностику несоответствия.

Пример

Для примера сетевой проверки последовательности откройте библиотеку Samples, командуя Load Sample Cells Library (в меню Help) и сравните ячейки "tool-NCC{lay}" и "tool-NCC{sch}". Эти две ячейки эквивалентны и проверка покажет что это так.

Calibre

Electric умеет работать с Calibre LVS, и он может прочесть результаты предыдущей программы. Используйте Import Calibre LVS Errors для Current Cell ... командуя (в меню Tools / NCC) и выберите ошибочный файл Calibre (с ".db" расширением).