Layout Versus Schematic ( LVS ) — это класс программного обеспечения для проверки автоматизации проектирования (EDA), которое определяет, соответствует ли конкретная компоновка интегральной схемы исходной схеме или принципиальной схеме проекта.
Успешная проверка правил проектирования (DRC) гарантирует, что компоновка соответствует правилам, разработанным/требуемым для безупречного изготовления. Однако это не гарантирует, действительно ли он представляет схему, которую вы хотите изготовить. Здесь используется проверка LVS.
Необходимость в таких программах была осознана относительно рано в истории интегральных схем, и программы для выполнения этого сравнения были написаны еще в 1975 году . действительно идентичны. С появлением цифровой логики это стало слишком ограничительным, поскольку одна и та же функция может быть реализована множеством разных (и неизоморфных) способов. Таким образом, LVS был дополнен формальной проверкой эквивалентности , которая проверяет, выполняют ли две схемы одну и ту же функцию, не требуя изоморфизма. [2]
Программное обеспечение для проверки LVS распознает нарисованные формы схемы, представляющие электрические компоненты схемы, а также соединения между ними. Этот список соединений сравнивается программным обеспечением "LVS" со списком соединений аналогичной схемы или принципиальной схемы .
В большинстве случаев макет не пройдет LVS с первого раза, что потребует от инженера по компоновке изучения отчетов программного обеспечения LVS и внесения изменений в макет. Типичные ошибки, возникающие во время LVS, включают: