Resumo

  • Lynn Conway formulou larguras, espaçamentos, extensões e sobreposições como múltiplos de uma unidade básica, λ, que um processo compatível transformava em dimensões físicas.
  • As regras eram curtas, conservadoras e deliberadamente não ótimas. Priorizavam ensino, reutilização e migração, não a maior densidade possível numa linha específica.
  • Passar pela verificação demonstra conformidade geométrica com o contrato escolhido. Não prova conectividade, função elétrica, timing, potência, rendimento, ausência de defeitos ou desempenho equivalente.

Um leiaute pode dizer que uma linha mede duas unidades e um vão mede três sem decidir quantos micrômetros há em cada unidade. Uma fábrica atribui um tamanho físico a λ; outra escolhe outro. As relações sobrevivem se o processo de destino for capaz de cumprir o mesmo conjunto de regras.

Esse era o poder das regras escaláveis que Lynn Conway desenvolveu no Xerox PARC no contexto dos métodos Mead–Conway. Elas não apagavam o conhecimento fabril. Criavam uma interface: o projeto carregava proporções; o processo carregava a responsabilidade de mapeá-las com margem suficiente.

Uma abstração pequena por escolha

Em suas memórias de VLSI, Conway contrasta a folha compacta com manuais extensos e exclusivos de cada processo. Ela partiu de limites conservadores de largura, distância, extensão e sobreposição e os converteu em razões sem dimensão. A própria autora descreve o resultado como grosseiro e não ótimo.

A autoria requer a mesma precisão. Na retrospectiva profissional, Conway atribui a si a ideia das regras simplificadas e registra que Carver Mead percebeu seu valor e ajudou a ajustar as proporções. O livro conjunto Introduction to VLSI Systems incorporou o mecanismo a uma metodologia estruturada.

Gravação excessiva, desalinhamento de máscaras, exposição e variações da lâmina impõem tolerâncias reais. Portanto, usar o símbolo λ não torna o arquivo fabricável. O processo precisa selecionar um valor físico que mantenha todas as regras seguras. Na história oral do Computer History Museum, Conway também diz que a redução só funciona até certo ponto e exige um processo coerente com as regras.

Portabilidade custava folga. Um especialista podia comprimir o mesmo circuito com regras mais detalhadas de uma fábrica, mas criava dependência e novo trabalho na próxima migração. A regra λ trocava densidade local por reutilização e menor custo ao longo do ciclo de vida.

O limite de um resultado limpo

A verificação de regras observa as figuras representadas: larguras mínimas, distâncias, sobreposições, extensões e combinações previstas. Ao passar, ela sustenta uma frase precisa: este arquivo atende a esta versão do contrato geométrico.

Ela não mostra que todas as conexões intencionais existem nem que inexiste uma conexão extra; isso pede extração e comparação. Não simula transistores, não fecha timing, não qualifica potência, ruído ou variação, e não prevê rendimento da lâmina. Mudar o tamanho físico de λ altera resistência e capacitância parasitas. Os mesmos inteiros não garantem o mesmo desempenho.

Até o resultado geométrico depende de procedência: versão das regras, mapa de processo, versão do verificador e hash do arquivo de máscara. Um selo verde perde valor quando ninguém consegue provar que o arquivo examinado foi o arquivo fabricado.

O curso do MIT de 1978 tornou o limite visível. Alunos aprenderam um método e receberam chips rapidamente. Alguns projetos funcionaram; outros continham erros de fiação, e a checagem inicial ainda era muito manual. Fabricar era evidência operacional, não uma consequência garantida pela geometria.

Um sistema maior que o símbolo

O arquivo VLSI de Conway registra uma ecologia coletiva: ICARUS de Doug Fairbairn e Jim Rowson, CIF 2.0 com Bob Sproull e Dick Lyon, MOSSIM de Randy Bryant e CAESAR/MAGIC de John Ousterhout. Educação, software, processos e operações transformaram o contrato em infraestrutura.

O MPC79 reuniu projetos universitários numa fabricação compartilhada. As fontes contam coisas diferentes: Conway cita 124 projetos; a história da Caltech registra 124 projetistas e 82 desenhos. A distinção deve permanecer. Segundo a DARPA, o MOSIS abriu em janeiro de 1981 e passou a agrupar vários projetos numa mesma lâmina em lotes acessíveis.

Conway foi central para a ideia e para a interface projeto-fabricação; Mead participou do refinamento e da difusão. PARC, Caltech, MIT, DARPA, fabricantes, autores de ferramentas e estudantes forneceram outros componentes essenciais. A revolução foi modular também em sua autoria.

Uma lição para plataformas

Uma abstração confiável declara garantia e exclusões. A garantia de λ é geométrica e depende de regras e mapa identificados. Conectividade, função, timing, potência, defeitos, rendimento e equivalência de desempenho exigem extração, análise, procedência de arquivos, qualificação fabril e teste físico.

Conway não retirou o conhecimento da fabricação; escolheu qual parte precisava cruzar a fronteira. Toda plataforma que promete portabilidade enfrenta a mesma disciplina: uma verificação de conformidade não pode virar prova de resultados que a interface jamais especificou.

Fontes