Кратко

  • Lynn Conway выразила ширины, зазоры, перекрытия и выступы как кратные базовой длине λ, чтобы совместимый процесс мог преобразовать абстрактную топологию в физические размеры.
  • Правила намеренно были короткими, консервативными и не оптимальными по площади. Они давали обучаемость, повторное использование и перенос, а не предельную плотность конкретной фабрики.
  • Успешная проверка означает соответствие геометрическому контракту. Она не доказывает связность, электрическую функцию, временные параметры, мощность, выход годных, отсутствие дефектов или равенство производительности.

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

Именно это обеспечило силу масштабируемых правил, разработанных Lynn Conway в Xerox PARC в рамках методов Mead–Conway. Производственное знание не исчезло. Оно сосредоточилось в интерфейсе: проект задавал пропорции, процесс отвечал за безопасное физическое отображение.

Простота как инженерный выбор

В воспоминаниях о VLSI Conway противопоставляет компактный лист длинным справочникам конкретных процессов. Она выбрала λ на основе осторожных пределов ширины, расстояния, выступа и перекрытия, а ограничения превратила в безразмерные отношения. Результат она сама называла грубым и неоптимальным.

Границы авторства также важны. В третьей части ретроспективы Conway относит первоначальную идею упрощённых правил к себе и отмечает, что Carver Mead понял её значение и помог уточнить отношения. Их книга Introduction to VLSI Systems включила правила в более широкую структурированную методику.

Пере-травливание, смещение масок, экспозиция и отклонения пластины создают реальные допуски. Поэтому символ λ сам по себе не делает файл производимым. Фабрика должна назначить такое физическое значение, при котором все правила безопасны. В устной истории Computer History Museum Conway подчёркивает: уменьшение возможно лишь до определённой точки и только на процессе, согласованном с правилами.

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

Что означает чистая проверка

DRC исследует представленные фигуры: минимальные ширины, зазоры, перекрытия, выступы и заданные сочетания. После успешного результата корректно утверждать одно: этот файл соответствует этой версии геометрических правил.

Наличие всех задуманных соединений и отсутствие лишних проверяются извлечением и сравнением. DRC не моделирует транзисторы, не закрывает timing, не оценивает питание, шум, разброс процесса, дефекты или выход годных. При изменении физического λ меняются паразитные сопротивления и ёмкости, поэтому одинаковые целые числа не гарантируют одинаковую производительность.

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

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

Коллективная инфраструктура

Архив VLSI Conway показывает широкую систему: ICARUS Doug Fairbairn и Jim Rowson, CIF 2.0 с Bob Sproull и Dick Lyon, MOSSIM Randy Bryant, CAESAR и MAGIC John Ousterhout. Образование, программы, технологи и производственные партнёры сделали контракт исполнимым.

MPC79 собрал университетские проекты в общий запуск. Источники считают разные объекты: Conway пишет о 124 проектах, а Caltech — о 124 проектировщиках и 82 дизайнах. По данным DARPA, MOSIS начал работу в январе 1981 года, объединяя несколько дизайнов на пластине и предлагая доступные малые партии.

Conway сыграла центральную роль в правилах и интерфейсе проектирования с производством; Mead участвовал в уточнении и распространении. PARC, Caltech, MIT, DARPA, фабрики, авторы инструментов и студенты создали остальные необходимые модули. История одного изобретателя скрыла бы механизм масштабирования.

Действующая граница доказательства

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

Conway не устранила производственное знание. Она выбрала, какая его часть должна пересекать границу. Любая современная платформа с обещанием переносимости обязана соблюдать ту же дисциплину: тест соответствия нельзя выдавать за доказательство результата, которого интерфейс не описывает.

Источники