Vous êtes sur la page 1sur 16

DESENVOLVIMENTO DA COMPUTAO E DA ARQUITETURA COMPUTACIONAL ASSNCRONA

Leo Weber1

Resumo O propsito deste artigo apresentar o desenvolvimento dos fundamentos de base que geraram os princpios das arquiteturas computacionais atuais, alm de pequenas anlises com as relaes destes fundamentos e o modo como os computadores so organizados: sistemas computacionais sncronos e sistemas computacionais assncronos. Por fim so abordadas discusses atuais sobre novos desafios cientficos e tecnolgicos da rea. Palavras-chave: Computao, Arquitetura de computadores, Lgica assncrona. Abstract The purpose of this article is to present basic concepts about the development of current computers architecture principles, and small analyses with relations between these fundamentals and the organization of the computers: synchronous computers systems and asynchronous computers systems. In the end are approached discussions with new scientific and technologic challenges of the moment in the area. Keywords: Computation, Computers architecture, Asynchronous logic. 1 Introduo Em menos de meio sculo, os computadores invadiram todas as atividades humanas, alterando de maneira significativa o trabalho e o comportamento das pessoas, entre outros. Ao computador associa-se sua ao fundamental, o ato de computar. Segundo a definio encontrada em dois dos principais dicionrios da lngua portuguesa, computar significa (do latim computare) 1. Fazer o cmputo de; contar. 2. Calcular; orar. 3. Igualar; ajustar; comparar. 4. Confrontar; comparar; cotejar. 5. Contar; incluir. (FERREIRA, 1999) e 1. Fazer o cmputo de. 2. Calcular em; orar em. 3. Efetuar confronto; comparar; igualar. 4. Incluir; inscrever; contar. 5. Cumprir todas as etapas de um algoritmo, alcanando o resultado almejado; executar tarefa usando um computador. (HOUAISS, 2001). A aplicao do termo computador aos atuais equipamentos creditada a uma matria publicada pelo jornal ingls London Times em 1944, acerca de equipamentos inteligentes que no futuro poderiam vir a substituir o esforo humano. O jornal chamou uma hipottica mquina pensante de computer. Curiosamente, os franceses, por exemplo, no utilizam o termo para definir estes equipamentos, preferindo ordinateurs de gestion, ou seja, ordenadores de gesto. Ao longo do seu desenvolvimento histrico o homem sempre teve necessidade de contar e calcular, e, medida que esses clculos foram se tornando mais freqentes e trabalhosos, o ser humano passou a criar instrumentos para calcular. A histria dos
Doutorando em Informtica na Universidade das Ilhas Baleares, Espanha, e Professor da Fundao Escola Tcnica Liberato Salzano Vieira da Cunha e da Universidade Estadual do Rio Grande do Sul. E-mail: leo@liberato.com.br
1

computadores comeou no momento em que o homem sentiu a necessidade de realizar clculos complexos com maior preciso e rapidez. A idia de que a informao podia ser codificada, para em seguida ser processada independentemente do sentido das mensagens, foi se formando aos poucos: estava aberto o caminho para que o clculo se tornasse progressivamente uma questo de mquinas e no mais de instrumentos (BRETON, 1987). Este texto fruto da inteno de trazer informaes sobre um dos temas de maior interesse do sculo XXI: os computadores. Apesar de tantos e relevantes trabalhos j apresentados, entendemos ser oportuno abordar aspectos de sua evoluo histrica e as nuances, muitas vezes pequenas, que geraram ao longo de centenas de anos o acmulo que propiciou chegarmos no patamar tecnolgico atual. Finalmente, no decorrer do mesmo, percebemos que deveramos fazer prospeces sobre alternativas que se colocam a nossa frente, o, por assim dizer, estado da arte e a integrao das caractersticas de vrias reas do conhecimento na concepo de sistemas computacionais. 2 Desenvolvimento da computao A transformao de uma determinada informao de entrada, em outra de sada, contempla o conceito de processamento. Nele reside a generalidade da estrutura de um sistema e tambm a diferena entre processamentos que consomem muita energia (processamento industrial, por exemplo) ou envolvem pequena quantidade de energia (processamento computacional, por exemplo). O clculo , por excelncia, o processamento da informao (LEVY, 1987). Cronologicamente, os artefatos utilizados para contar e calcular evoluram at o mundo contemporneo e at o computador, o qual , fundamentalmente, um equipamento capaz de manipular informaes, tendo sua operao baseada no clculo (PESSOTTA, 1993). No entanto, importante considerar que o avano cientficotecnolgico tem, de modo simplificado, duas etapas: na primeira surge uma idia ou descoberta inovadora muito importante e a segunda compreende tempos durante os quais as idias maturam e estabelecem-se. Costuma-se considerar o baco como o primeiro dispositivo criado para facilitar o trabalho do homem em processar informaes. Este instrumento composto por barras e pequenas bolas, sendo usado pelos mercadores para contar e calcular, ou, em outras palavras, trata-se de um calculador decimal operado manualmente. Ele surgiu h milhares de anos no Oriente Mdio e ainda hoje muito utilizado. Por exemplo, no Japo comum encontrar-se comerciantes que continuam preferindo fazer contas utilizando bacos e, em certos casos, as fazem mais rapidamente do que com as pequenas calculadoras eletrnicas. Em 1617 o telogo e matemtico escocs John Napier inventou as tabelas de multiplicao, criando regras e algoritmos para este fim. A rgua de clculo foi construda no final de 1620 por William Oughtred e outros, valendo-se de evolues das tabelas de Napier. Devido sua portabilidade, este artefato teve uma grande aplicao at algumas dcadas atrs, quando se generalizou o uso das calculadoras de bolso. Os primeiros computadores eram compostos exclusivamente por elementos mecnicos. Eles herdaram fora dos automatismos, tradio ancorada nas tcnicas e na busca da construo de seres artificiais. Os primeiros autmatos eram engenhocas mecnicas que reproduziam partes humanas ou seu todo, segundo Losano (1990), para, em seguida, derivar para aplicaes no controle de processos e na regulao de sistemas realimentados. Estava a posta a necessidade crescente da realizao de clculos,

inicialmente muito simples. medida que os processos tornaram-se mais complexos, tambm a carncia de executar operaes nestes nveis aumentou. Blaise Pascal, filsofo francs, entre os anos de 1642 e 1652, desenvolveu mais de cinqenta verses de uma mquina de calcular totalmente mecnica chamada Pascalene. Ela era constituda por um disco para cada potncia de 10, cada um destes dotado de 10 dgitos, com uma ligao inovadora que fazia com que o disco rodasse de uma posio enquanto um excedente era produzido por um disco em uma posio inferior. Uma janela era colocada sobre o disco para permitir que sua posio atual fosse observada, de modo semelhante a um odmetro de carro, com a diferena que os discos eram posicionados horizontalmente, como um disco de telefone rotativo. Embora fosse projetado para realizar apenas operaes de adio e subtrao, outras operaes, como multiplicao e diviso, podiam ser realizadas atravs da combinao das primeiras. Por volta de 1673 surgiu a calculadora de Gottfried Wilhelm von Leibniz, matemtico alemo, capaz de executar facilmente operaes de adio, subtrao, multiplicao e diviso. Este equipamento foi utilizado extensivamente at o advento das calculadoras eletrnicas. Durante o sculo XVIII incorporou-se ao rol de conhecimentos da humanidade uma grande contribuio, que de incio nada tinha a ver com nmeros. Entre 1801 e 1804, Jacques Marie Jacquard, trabalhador de uma fbrica de sedas em Lyon, introduziu a idia de programar mquinas e inventou um tear mecnico dotado de uma leitora de cartes perfurados, os quais controlavam automaticamente os desenhos e as cores dos tecidos; portanto um processador das informaes relativas ao padro do tecido. Para mudar o padro produzido bastava trocar um conjunto de cartes por outro. No sculo XIX, o matemtico ingls Charles Babbage descreveu a mquina de diferenas, capaz de calcular tabelas de nmeros teis navegao, sendo projetada para executar um algoritmo simples, o mtodo das diferenas finitas utilizando polinmios. Embora tenha construdo um primeiro prottipo, baseado na existncia de discos mecnicos e acionada atravs de uma manivela, acrescentando modificaes e aperfeioamentos entre 1823 e 1833, enquanto contava com financiamento do governo britnico, por fim viu-se obrigado a abandonar tal empreendimento sem conclu-lo totalmente. O aspecto mais interessante desta mquina era seu mtodo de sada: ela perfurava os resultados numa placa de cobre, adaptando a concepo de Jacquard computao e prenunciando meios que posteriormente teriam grande uso. Em 1834 concebeu outra mquina mais ambiciosa, a qual tambm nunca chegou a ser construda completamente devido s tolerncias mecnicas exigidas e tecnologia existente na poca, que denominou Mquina Analtica. Ela seria dotada de um dispositivo a que chamou de Moinho, uma mquina de somar com preciso de at 50 casas decimais, e um dispositivo de entrada, inspirados no tear de Jacquard, que leria cartes perfurados contendo no somente nmeros, os dados, mas tambm instrues, o que fazer com os dados. Imaginou, ainda, um dispositivo de memria que chamou de Armazm para guardar os nmeros, um banco com 1000 registradores, cada qual capaz de armazenar um nmero de 50 dgitos, os nmeros dados pelos cartes de entrada ou ento nmeros resultantes de operaes do Moinho. Finalmente, incluiu um dispositivo impressor para dar sada aos resultados. As instrues, gravadas em cartes, passveis de serem implementadas pelo Moinho eram: 1. entrar com um nmero no Armazm; 2. entrar com um nmero no Moinho; 3. mover um nmero do Moinho para o Armazm; 4. mover um nmero do Armazm para o Moinho; 5. comandar o Moinho para executar uma operao; 6. sair com um resultado. Babbage contou com a colaborao inestimvel da matemtica Ada Augusta Lovelace, filha do poeta Lord Byron. Ada desenvolveu sries de instrues para o calculador analtico, criando conceitos tais como sub-rotinas, loops e saltos condicionais. Babbage considerado o precursor do

computador (hardware). Ada considerada a precursora da programao (software) e, em sua homenagem, foi assim referenciada a linguagem de computao de mesmo nome. O estatstico norte-americano Herman Hollerith, no final do sculo XIX, tambm inspirou-se nos cartes de Jaquard para criar uma mquina para acumular e classificar informaes: a Tabuladora de Censos. Os cartes perfurados continham 12 linhas por 20 colunas com informaes sobre o censo demogrfico dos Estados Unidos da Amrica, diminuindo o tempo de processamento dos dados de 8 para 3 anos. A tecnologia de cartes perfurados foi adotada rapidamente por diversos pases da Europa, difundindo a utilizao das mquinas Hollerith a nvel mundial e por longo tempo. Desta forma foi fundada a Tabulating Machine Company, a qual, aps vrias fuses e mudanas de nome, constituiu-se na IBM (International Business Machines). Por volta do ano de 1930 constatam-se progressos significativos no sentido de inventar uma mquina que executasse operaes complexas. Neste ano construdo o analisador diferencial por Vannevar Bush no M.I.T (Massachussetts Institue of Tecnology). Graas a esta mquina foi possvel resolver-se complexas equaes diferenciais. Apesar de sua importncia, esse instrumento de clculo apresentava alguns inconvenientes: seu tamanho, com grande nmero de eixos, engrenagens e fios, decorrncia de executar clculos baseados no sistema decimal; o fato de ser um dispositivo analgico que media velocidades e distncias a partir das quais executava seus clculos; a montagem de um determinado problema exigia que se calculasse um grande nmero de relaes de engrenagens, trabalho que demandava de dois a trs dias para ser executado. Todos os instrumentos de calcular at ento desenvolvidos trabalhavam com cdigo decimal, o qual predominava j h muito tempo sobre outros sistemas, tais como o de base 60 surgido entre os povos babilnicos, ou o de base 12, do qual havia remanescentes entre os povos de lngua inglesa. No entanto, praticamente todo computador desenvolvido a partir da dcada de 1950 teria seu processo de clculo baseado no cdigo binrio. Uma das primeiras pessoas a encarar de maneira cientfica o uso do cdigo binrio foi Gottfried Wilhelm Leibniz, que em 1666 escreve o trabalho Da Arte Combinatria (Sobre a Arte das Combinaes) onde prope um mtodo para reduzir todo o pensamento a enunciados de perfeita exatido. A lgica, a qual Leibniz denominava como as leis de pensar, seria transposta do domnio verbal repleto de ambigidades para o domnio da matemtica, onde se pode definir com preciso as relaes entre os objetos ou enunciados. Dada a pouca receptividade entre seus contemporneos, o prprio Leibniz abandonou a idia da nova linguagem. Muito tempo depois, o matemtico ingls George Boole estudou e empregou idias algbricas no domnio da lgica, da advindo a terminologia lgebra Booleana (LIPSCHUTZ, 1976; MENDELSON, 1977; YAGLOM, 1998). Em seu trabalho An Investigation of the Laws of the Thought ele investigou e concebeu uma forma de lgebra com trs operaes fundamentais AND, OR, NOT, com as quais podia manipular proposies quase da mesma maneira como se faz com os nmeros. Para tanto, criou o conceito de portas lgicas, que processam dois tipos de entidades: verdade ou falso, sim ou no, aberto ou fechado, um ou zero. O matemtico norte-americano Charles Sanders Peirce, contemporneo de Boole, introduziu a lgebra booleana nos Estados Unidos e, durante quase 20 anos, modificou-a e expandiu-a. Peirce compreendeu que a lgica de dois estados de Boole presta-se descrio de circuitos eltricos de comutao, onde os mesmos esto ligados ou desligados, assim como uma proposio verdadeira ou falsa. Desse modo, um

interruptor funciona como uma porta lgica ao permitir ou no que a corrente, ou a verdade, prossiga at o interruptor seguinte. A introduo da lgebra booleana foi rapidamente integrada aos cursos universitrios dos EUA de lgica e filosofia e, em funo disso, Claude E. Shannon, bacharelando em engenharia eltrica e matemtica tomou conhecimento desse assunto. Rapidamente estabeleceu uma ligao entre a teoria algbrica de Boole e a aplicao prtica em circuitos eltricos com rels. Sua dissertao de mestrado A Symbolic Analysis of Relay and Switching Circuits, publicada em 1938, surtiu um rpido efeito sobre o planejamento dos sistemas telefnicos e na cincia dos computadores. Cerca de 10 anos aps, Shannon publica outra obra relevante, Mathematical Theory of Communications, onde props um mtodo para definir e medir a informao em termos matemticos utilizando dgitos binrios e que constituiu a base das modernas comunicaes. Os estudos que realizou sobre os nmeros binrios levaram-no a definir o bit(binary digit), menor unidade de informao do cdigo binrio. Em 1936, o matemtico ingls Alan Turing apresentou o conceito de uma mquina lgica que permitia a definio de um nmero computvel, posteriormente conhecida como mquina de Turing, que consistia numa memria que armazenava uma varivel chamada estado interno e uma unidade leitora de fita. A fita, em princpio ilimitada, era dividida em clulas que podiam conter ou no smbolos de um cdigo. Dependendo do estado interno e do smbolo na clula que estivesse na unidade leitora, a mquina podia tomar as seguintes aes: mover a fita de uma clula para frente ou para trs, escrever ou no algum smbolo se a clula estivesse vaga, apagar o smbolo ou alterar o seu estado interno. Esse modelo era um computador terico, sendo reconhecido hoje como o prottipo terico do computador digital eletrnico e, em princpio, a operao de qualquer computador digital executando um algoritmo pode ser reduzida a uma mquina de Turing (HODGES, 2001; KOVCS, 1997; STRATHERN, 2000). O professor de fsica norte-americano John Atanasoff, em 1938, decidiu basear sua mquina para resoluo de equaes no sistema binrio de numerao, justificando tal medida com sua simplicidade e relativa facilidade de representar dois smbolos em vez de dez. Durante os anos subseqentes, Atanasoff trabalhou na construo de um prottipo de computador que adotasse os seguintes princpios: 1. utilizao de vlvulas eletrnicas em vez de rels eletromecnicos; 2. substituio do sistema decimal pelo sistema binrio; 3. utilizao de capacitores para construir dispositivos de armazenamento de informao (memrias). A mquina, denominada ABC (AtanasoffBerry Computer), era surpreendentemente avanada para a poca. O matemtico norte-americano George Stibitz, em 1937, ao perceber que a lgica booleana era uma linguagem natural para os circuitos de rels eletromecnicos, valeu-se desta lgica de portas booleanas e de alguns rels de telefonia e construiu o primeiro somador eletromecnico dos EUA. Nos dois anos seguintes, Stibitz e o engenheiro Samuel Williams desenvolveram, na Bell Telephone Laboratories, a Calculadora de Nmeros Complexos, que podia somar, subtrair, multiplicar e dividir nmeros complexos. Na Alemanha, entre os anos de 1936 e 1938, o engenheiro Konrad Zuse construiu em casa sua mquina para clculos, na qual os problemas eram propostos via teclado, utilizando circuitos com rels e baseada em princpios booleanos. Essa mquina foi denominada de Z1. Para melhorar a eficincia da operao realizada via teclado, Zuse substituiu-o por um dispositivo capaz de interpretar as instrues contidas em filmes de 35mm usados, nos quais eram feitos orifcios, denominando esta mquina de Z2. Durante a segunda guerra mundial, no ano de 1941 e dois anos antes do MARK I entrar em operao nos EUA, Zuse completou a execuo de um computador

eletromecnico completamente funcional, controlado por programa e baseado no sistema binrio, verso que recebeu o nome de Z3. Assim como o seu sucessor, o Z4, estes equipamentos foram usados para resolver problemas de engenharia de aeronaves e de projeto de msseis. Em 1942, Zuse e o engenheiro eletricista austraco Helmut Schreyer propuseram ao governo alemo construir uma variao do Z3, mas implementado com vlvulas eletrnicas. Embora com a justificativa de que seria muito mais veloz, a proposta foi recusada, em funo das prioridades de curto prazo da Alemanha na guerra. Em 1949 Schreyer radicou-se no Brasil, prestando relevantes servios como professor universitrio e aos servios de Correios e Telgrafos (PACITTI, 1998). No final de 1941, logo aps a entrada dos norte-americanos na segunda guerra mundial, Tomas J. Watson, presidente da IBM, props a construo de um computador baseado nos planos do matemtico Howard Aiken. Este projeto, o MARK I, foi desenvolvido na Harvard University e ficou pronto em 1943, feito base de rels eletromecnicos e comandado por fitas perfuradas, mas operando com nmeros decimais codificados. Foi intensamente usado pela marinha americana a partir de 1944 e permaneceu operacional por mais 16 anos. Nos primeiros anos da guerra, para cifrar suas mensagens, a engenharia alem havia criado uma mquina chamada de Enigma. Os servios de contra-espionagem dos pases aliados conseguiam interceptar as mensagens dos alemes, mas eram incapazes de decifr-las. Quando o conseguiam, isto no adiantava para as mensagens seguintes, pois Enigma gerava novos cdigos a cada mensagem. Descobrir como esses cdigos eram programados passou a ser uma prioridade absoluta. Na Inglaterra, uma equipe composta de engenheiros e professores de literatura, na qual figurava o matemtico Alan Turing, ocupou-se de construir uma mquina para quebrar os cdigos de comunicaes alemes, utilizando, inicialmente, rels eletromecnicos. No final de 1943 surgiu o Colossus, com cerca de 2000 vlvulas eletrnicas. As mensagens cifradas eram introduzidas atravs de uma leitora fotoeltrica que explorava uma fita de papel perfurada. Tudo isso foi mantido em segredo militar at o ps-guerra e as dez unidades construdas do Colossus foram desmontadas em 1946, para evitar que cassem em mos inimigas; somente mais tarde a obra de Turing foi tornada pblica. Em agosto de 1942, em Filadlfia, nos EUA, tambm como resultado da necessidade de clculos balsticos, surgiu a proposta do fsico John W. Mauchly e do engenheiro J. Prosper Eckert de construir um computador de alta velocidade com vlvulas eletrnicas. Em abril de 1943 o exrcito americano passa a financiar a idia, mas somente no final de 1945, aps o trmino da guerra, ficou pronto o assim conhecido ENIAC (Electronic Numerical Integrator and Calculator). Embora operasse com nmeros na forma decimal, era um dispositivo muito prximo em funo e esprito mquina universal terica de Turing. A entrada de dados era baseada na tecnologia de cartes perfurados e os programas eram modificados atravs de reconfiguraes, instalando fios dentro do conjunto de circuitos. A memria interna da mquina comportava apenas os nmeros envolvidos na computao que estava sendo executada. Apesar das dvidas com relao sua confiabilidade, o ENIAC permaneceu operacional por mais de 10 anos. O ENIAC foi o primeiro equipamento a operar plenamente utilizando os trs princpios bsicos propostos por Atanasoff, acarretando um longo caso de disputa judicial deste com a dupla de desenvolvedores Mauchly-Eckert, acusados de pirataria cientfica. O processo arrastou-se por 28 anos, quando finalmente, em 1973, uma corte americana decidiu que o ENIAC havia derivado das idias de Atanasoff (CASTRILLN, 1990).

Antes do ENIAC ser mostrado ao pblico, a dupla Mauchly-Eckert j trabalhava no seu sucessor, o EDVAC (Eletronic Discret Variable Automatic Computer), que continha uma expanso da memria interna na qual eram armazenadas tanto programas quanto dados. Essa nova verso j codificava as informaes em forma binria, o que reduzia substancialmente o nmero de vlvulas empregadas. No final de 1944, junta-se dupla o matemtico austro-hngaro John von Neumann, que viria exercer uma profunda influncia no desenvolvimento dos computadores ps-guerra. Em junho de 1945, von Neumann escreveu um artigo lanando as bases para um computador com programa armazenado, o EDVAC, onde descrevia a mquina e a lgica sobre a qual se apoiava sua operao. Uma proposta sua, inspirada na tecnologia de entrada de dados utilizada na poca, expandiu para os programas o que j se fazia com os dados. Este conceito revolucionou a programao de computadores, tornando-os mais flexveis e versteis e geralmente atribudo a von Neumann, mas, sabe-se hoje, foi simultaneamente concebida por Turing (HODGES, 2001; STRATHERN, 2000). Esse relatrio veio a pblico, tornando-se o primeiro documento sobre computadores digitais eletrnicos que teve ampla circulao. No entanto, muito embora com extraordinrias inovaes, a maneira como foi feita sua divulgao causou desavenas internas, em funo da omisso dos nomes de Eckert e Mauchly, culminando na dissoluo da equipe. Muitos dos pioneiros do desenvolvimento dos computadores acreditam que a adoo do termo mquina de von Neumann promove este, que escreveu as idias, de forma exagerada e d muito pouco crdito dupla Mauchly-Eckert, que construiu as mquinas (PATTERSON e HENNESSY, 1998). O prximo computador a ficar conhecido foi o MARK I, construdo na Inglaterra. O projeto foi coordenado pelos cientistas F.C. Williams, Tom Kilburn e Max Neuman, da Royal Society Computing Machine Laboratory, Manchester University. Foi a primeira mquina capaz de executar um conjunto de operaes aritmticas sob o controle de uma seqncia codificada de instrues. Executou seu primeiro programa em junho de 1948. No ano de 1949, o cientista ingls Maurice Wilkes, baseando-se nas idias da dupla Mauchly e Eckert, divulgadas por eles mesmos em uma srie de conferncias realizadas em 1946, termina a construo do EDSAC (Electronic Delay Storage Automatic Calculator), primeiro computador de programa armazenado do mundo, dois anos antes do prprio EDVAC estar concludo. Logo aps a sada do projeto EDVAC, em 1946, John von Neumann, Herman Goldstine e Arthur Burks, trabalhando no Institute for Advanced Study (IAS), Princeton, publicaram um artigo cujas idias eram muito avanadas para a poca. A maioria dos conceitos ali apresentados ainda prevalece nos dias de hoje. Este artigo levou ao desenvolvimento de uma mquina no IAS, que, como foi discutido com outros grupos de pesquisa e obteve ampla divulgao na comunidade cientfica da poca, inspirou o desenvolvimento de muitos outros computadores a partir de ento. A mquina de von Neumann possua cinco partes bsicas: memria, unidade lgico-aritmtica, unidade de controle de programa e dispositivos de entrada e sada. Embora concludo somente em 1952, o IAS constituiu-se no prottipo de quase todos os computadores de propsito geral subseqentes (STALLINGS, 2000). Mais tarde, o duto de comunicao entre a memria e a unidade central de processamento (lgico-aritmtica e de controle de programa) foi denominada de gargalo de von Neumann por Backus (1978). Desde os primeiros projetos implementados, inicialmente com a utilizao de rels e vlvulas eletrnicas, os computadores conheceram aperfeioamentos incessantes no que diz respeito a seus componentes eletrnicos (hardware), chegando at aos modernos circuitos integrados. No entanto, os princpios de base e a forma como os

elementos de um computador esto organizados, sua arquitetura, continuam os mesmos (BRETON, 1987). Mesmo com o advento dos microprocessadores, eles continuam sendo compostos por dispositivos de entrada, de sada, unidade de memria, unidade aritmtica e unidade de controle, com processamento serial, sincronismo dos eventos a partir de um oscilador (relgio), controle centralizado e comunicao baseada em endereamentos (CARPINELLI, 2001; MURDOCCA e HEURING, 2000; PATTERSON e HENNESSY, 1998; STALLINGS, 2000; TANENBAUM 1999; WEBER, R. 2000). O primeiro computador brasileiro nasceu da ousadia de quatro jovens estudantes do ITA (Instituto Tecnolgico da Aeronutica), So Jos dos Campos, So Paulo: Jos Ellis Ripper, Fernando Vieira de Souza, Alfred Volkmer e Andras Vsrhelyi. Em 1961, com o apoio do chefe da Diviso de Eletrnica do ITA, professor tcheco Richard Wallauschek, eles decidiram projetar e construir um computador como trabalho final de graduao em Engenharia Eletrnica (O NMERO, 2003, p.10). O equipamento, apelidado de Zezinho, tinha capacidade para realizar 20 operaes matemticas, utilizava 1500 transistores e operava em ciclo fechado, repetindo sempre o mesmo programa. Em 1963, Valdemar Setzer, como seu trabalho de formatura para curso de graduao, deu andamento ao projeto. O Zezinho foi exibido, em 1964, no Congresso da Sociedade de Computadores e Mquinas de Escritrio, entidade que antecedeu a atual SUCESU (Associao de Usurios de Informtica e Telecomunicaes). Tambm fruto de um trabalho de fim de curso, j o primeiro computador bem documentado e com estrutura clssica, foi desenvolvido na Escola Politcnica da USP (Universidade de So Paulo), So Paulo. O projeto Patinho Feio transcorreu entre 1971 e 1972, coordenado pelo professor norte-americano Glenn Langdon, especialista em prottipos, e executado por um grupo de cerca de 20 profissionais, entre engenheiros eletrnicos, estagirios e fsicos, entre eles o engenheiro Edson Fregni. O equipamento, ainda hoje exposto na USP, possui 450 pastilhas de circuitos integrados, formando 3 mil blocos lgicos distribudos em 45 placas de circuitos impressos, com a memria podendo armazenar 4096 palavras de 8 bits (A MQUINA, 2003, p.11). 3 Desenvolvimento da Arquitetura Computacional Assncrona Um sistema computacional assncrono, ou sem relgio, baseado na operao por eventos, fazendo com que diferentes bits de um chip sejam processados com velocidades diversas, enviando-se e recebendo-se dados conforme a necessidade. Historicamente, os circuitos assncronos foram conhecidos e usados antes dos circuitos sncronos serem desenvolvidos. Os primeiros circuitos digitais implementados foram construdos com rels eletromecnicos, que se adequavam mais a operaes assncronas. Por esta razo, os mtodos de configuraes tradicionais de circuitos assncronos consistiam em conect-los com um ou vrios elos de realimentao (MANO, 2002). Um dos principais motivos para a no difuso natural dos circuitos assncronos, ao longo do processo de evoluo tecnolgica, a maior dificuldade de projeto das redes lgicas assncronas em relao s sncronas, porque as primeiras envolvem problemas mais drsticos de tempo (ROTH, 1995). O adequado projeto sncrono elimina problemas de tempo, porque todo o dispositivo aguarda um tempo suficientemente longo, depois das mudanas externas na entrada, para que todos os flipflops alcancem um estado estvel antes de aplicar o pulso de clock. No entanto, para redes lgicas assncronas, so necessrias tcnicas especiais de projeto, a fim de eliminar problemas resultantes de tempos, advindos dos atrasos desiguais atravs dos

vrios caminhos da rede. A utilizao de mtodos assncronos de projeto data antes de 1950, particularmente devido a duas pessoas: Huffman e Muller. Huffman desenvolveu uma metodologia de projeto, conhecida atualmente como fundamental mode circuits (HUFFMAN, 1954a; 1954b). O modo de operao fundamental mode assume que os sinais nas entradas iro mudar somente quando o circuito est em uma condio estvel, isto , somente quando no houver mudanas nos sinais internos da rede. Muller desenvolveu a teoria speed-independent circuits (MULLER e BARTKY, 1959). Adequada a canais digitais de comunicao, neste caso no h quaisquer restries em relao s entradas, sadas e s mudanas de estado dos sinais, exceto que devem estar de acordo com o protocolo envolvido. Uma terceira e interessante metodologia chamase pulse mode (HILL e PETERSON, 1981; ROTH, 1995; TINDER, 2000). Nela, as entradas so pulsos em vez de nveis, tornando a operao similar de circuitos sncronos, exceto que a mudana dos estados comandada pelos pulsos de entrada em vez do clock. O projeto desta ltima apresenta severas restries ligadas aos sinais de entrada. Uma outra abordagem expressa por Phister (1958), que entende que o modelo geral para sistemas digitais conceitualmente muito difcil de manusear. No existiam, principalmente nos primrdios do desenvolvimento computacional, ferramentas matemticas apropriadas sntese de estruturas lgicas, excetuando-se a lgebra booleana. Tal situao hoje facilitada pela possibilidade de uso de alternativas confiveis de minimizao e projeto de hardware para circuitos assncronos, como, por exemplo, a Rede de Petri (CARDOSO e VALLETE, 1997; YAKOVLEV, GOMES e LAVAGNO, 2000) e a Transformada Numrica (DEL PICCHIA , 1993; MARTINS, 1985; PESSOTTA, 1993; WEBER, FIGUEREDO e KLEIN, 1998; WEBER, L. 2002). A Rede de Petri uma ferramenta grfica e matemtica que se adapta bem a um grande nmero de aplicaes em que as noes de eventos e de evolues simultneas so importantes. A Transformada Numrica uma ferramenta usada para descrever funes e expresses da lgebra booleana e do clculo proposicional, transformando uma expresso algbrica em uma expresso numrica e operando-se neste campo numrico. Nas dcadas de 1950 e 1960 foram projetados circuitos assncronos associados aos computadores ILLIAC e ILLIAC II, University of Illinois, Estados Unidos, e Atlas e MU-5, University of Manchester, Inglaterra. O ILLIAC, finalizado em 1952, e o ILLIAC II, finalizado em 1962, foram projetados com tcnicas speed-independent. O ILLIAC II usava trs controles operacionais concorrentes: um controle aritmtico, um controle entre operaes para transferncia de dados e um controle supervisrio chamado Controle Avanado. Este ltimo trazia e armazenava operandos, indexava e construa endereos, decodificava parcialmente ordens de outros operandos, entre outras funes. Os trs controles, fortemente assncronos e de caractersticas speedindependent, foram assim projetados para aumentar a confiabilidade e facilitar a manuteno. Eles coletavam respostas dos sinais para verificar se todas as operaes em execuo no passo corrente estavam completadas antes de ir para o passo seguinte. A unidade aritmtica no utilizava tcnicas speed-independent e, em funo disso, acreditava-se que tinha acrescentado complexidade e custo, alm de ser mais lenta. Os dispositivos eletromecnicos perifricos tambm no usavam tcnicas speedindependent, pois eram inerentemente assncronos. Durante as dcadas de 1960 e 1970, Washington University, St. Louis, Estados Unidos, foram desenvolvidos macromdulos assncronos, que so blocos operacionais, como registradores, somadores, memrias, dispositivos de controle, a partir dos quais possvel implementar estruturas computacionais operacionais de maior complexidade.

Para facilitar a interconexo entre estes macromdulos, foram tomadas precaues no projeto, que permitiram fabricar dispositivos de maior porte, notadamente em relao a problemas de compatibilidade eltrica. Os sistemas computacionais eram montados em racks com conexes por fios, que continham os sinais com os dados e distribuam sinais de controle indicando a chegada de informaes vlidas. Os fios tambm determinavam a seqncia de operaes, pois os macromdulos normalmente eram feitos para realizar diretamente descries de um algoritmo em forma de diagramas de fluxo. Outra importante aplicao da tcnica de lgica assncrona neste perodo foi o projeto do primeiro sistema grfico comercial pelos pesquisadores Evans e Sutherland. Este ltimo, no momento, est engajado em um dos mais expressivos grupos de pesquisadores sobre lgica assncrona, o da Sun Microsystems, Califrnia, Estados Unidos (COMPUTING, 2001; OLD..., 2001). Vrias companhias japonesas desenvolveram os assim chamados processadores de dados na dcada de 1980. Viu-se que era mais eficiente o fluxo de dados controlar a velocidade de operao do que os programas contadores controlando o tempo de execuo das operaes. Em outras palavras, a operao era iniciada quando todos os dados necessrios chegavam. Em 1989, pesquisadores da Caltech apresentaram o primeiro microprocessador totalmente assncrono. Apesar da simplicidade da arquitetura projetada e dos resultados modestos, ele foi significativo por introduzir interessantes concepes de operao, utilizar idias de processamento tipo pipeline e pelo reduzido grupo de trabalho envolvido. The Amulet Group, University of Manchester, Inglaterra, completou o processador assncrono AMULET I em 1994, o primeiro a ser compatvel em cdigo com outro j existente, o microprocessador ARM. Os projetos seguintes, AMULET II e III, mostraram significativas caractersticas de performance, como grande velocidade de processamento, reduzido consumo e baixa emisso de rdio-freqncia. Philips Research Laboratories, Holanda, j apresentaram inmeros projetos bem sucedidos de estruturas assncronas. Em 1994, o grupo desenvolveu um procedimento totalmente automatizado de especificao de hardware assncrono com a linguagem TANGRAM. Em 1997, os circuitos de operao em stand-by de pagers basearam-se em sistemas assncronos e, em 1998, foi feito um microcontrolador totalmente assncrono compatvel com o 80C51, um dos mais utilizados em aplicaes industriais. Mais recentemente foi desenvolvido o projeto RAPPID (Revolving Asynchronous Pentium Instruction Decoder), Intel Semiconductors, Califrnia, Estados Unidos, conduzido entre 1995 e 1999, que emula totalmente o conjunto de instrues de um Pentium II 32 bit MMX. Do mesmo modo, Sun Microsystems, Califrnia, Estados Unidos, apresentaram seu primeiro prottipo de um microprocessador assncrono em 2001 (COMPUTING, 2001; OLD..., 2001). No Brasil, a construo das primeiras mquinas no von Neumann, denominadas como da gerao n-m-p (n entradas, m sadas, p realimentaes) (CUESTA GARCIA, PADILLA e DOMINGUEZ, 1994; TINDER, 2002; MARTINS, 1985), ocorreu em 1982 como conseqncia da verificao experimental de idias contidas na tese de MARTINS (1965), que permitiram o emprego dos dispositivos EPROMs (memrias programveis eletricamente e unicamente de leitura) diretamente no projeto de mquinas seqenciais atendendo ao modelo geral de sistemas simultneos de funes booleanas, segundo Phister (1958), para qualquer sistema digital. Esta proposta de trabalho resultou em uma linha independente de pesquisa bsica, que produziu na Escola Politcnica da USP teses de doutorado, de livre docncia, alm de inmeros

trabalhos e artigos em outras instituies, como, por exemplo, os mencionados em Martins (1985) e Fink (1997). Este trabalho tambm gerou a formalizao de alguns resultados relacionados aplicveis ao hardware (simplificao e implementao de circuitos lgicos) e ao software (aplicao na deduo em lgica e desenvolvimento de sistemas computacionais com caractersticas de sistemas especialistas) de Del Picchia (1971; 1993) e grande colaborao dos engenheiros Brunazo (1987; 1988) e Pessota (1993). 4 Consideraes finais: novas fronteiras Prever o futuro de sistemas computacionais, embora possvel, trata-se de algo muito difcil dadas as diferentes alternativas e possibilidades. A capacidade de processamento computacional desde 1950 at os dias de hoje foi acrescida de um fator de dez bilhes, ditado pela lei de Moore, que estabelece uma multiplicao por dois a cada 18 meses (HAWKING, 2001; KAKU, 1998). Pode-se, no entanto, apresentar algumas discusses atuais e os principais intrpretes. Os computadores processam informao, atravs da codificao de dgitos binrios e pela operao com circuitos lgicos, que se traduzem em fenmenos eltricos e programas que transportam os objetos lgicos do sistema. A teoria quntica participou do desenvolvimento dos sistemas computacionais possibilitando, entre tantas coisas, o surgimento do transistor. Possivelmente ela tambm ditar a migrao para o que hoje definimos como computador quntico. Diferentemente dos circuitos eletrnicos que manipulam estados representados por tenses eltricas, tm-se portas lgicas reguladas pela mecnica quntica, com estados que permitem a existncia da superposio entre si (LUNGARZO, 2003). A unidade bsica de informao computacional, o bit, transforma-se no qubit, o bit quntico. Tambm neste rumo, pode-se pensar em programas que rodem em um computador quntico. Muitas das ferramentas e mtodos de programao utilizados por computadores convencionais podem ser reproduzidas parcial ou completamente, como, por exemplo, os operadores relacionais. A distino entre cincia e tecnologia cada vez mais tnue, gerando um processo acentuado de expanso do conhecimento e a superao da dicotomia cincias naturais/cincias sociais (SOUSA SANTOS, 2001). Tais afirmaes encaixam-se perfeitamente para expressar a linha divisria de muitas discusses sobre o crebro, a memria e a conscincia. H diversas correntes, com interpretaes e divergncias profundas, indo da fisiologia filosofia. O que h de mais afirmativo que a compreenso da mente talvez seja uma das ltimas fronteiras do conhecimento humano. Dois dos grandes artfices da computao contempornea, Turing e von Neumann, apresentaram anlises sobre o crebro, tentando relacion-lo com estruturas computacionais. Estes modelos constituram a base de muitos dos atuais dispositivos computacionais, assim denominados inteligentes. A idia da mquina de Turing, formalizada posteriormente por von Neumann, definiu-a como um autmato no-finito, com o que os autmatos finitos, como os computadores, constituem um caso particular do conceito geral. Os modelos matemticos desenvolvidos com computadores so todos discretos, j que implementam autmatos finitos, e devero envolver, necessariamente, funes computveis. Embora desdobramentos destes conceitos levem a suposio de que os modelos computacionais podem representar integralmente os processos mentais, j em seu clssico livro von Neumann (2000) caracterizou profundas diferenas entre a linguagem do crebro e a linguagem matemtica, apresentando suas aparentes simplicidade e similaridade lgica, mas com inumerveis formas de transmisso da

informao e riqueza de detalhes, que podem tornar irrelevantes, ou inferiores para o sistema nervoso, a linguagem comumente utilizada pela matemtica e pela lgica. O matemtico ingls Roger Penrose, Oxford University, Inglaterra, constitui-se em um dos grandes pensadores contemporneos sobre as questes da mente humana. Em vrias publicaes, incluindo Penrose (1998), apresenta objees em relao a capacidade dos modelos computacionais. Segundo ele, de um modo mais geral, o entendimento matemtico no algo computacional, mas sim algo que depende de nossa capacidade de ter cincia das coisas; a no-computabilidade seria uma caracterstica de toda conscincia. Afirma tambm que a verdadeira teoria quntica da gravidade pode ser no-computvel. Apresenta a questo do livre-arbtrio e dos elementos de acaso, ressaltando a diferena de determinismo e computabilidade, exemplificando com palavras que envolvem elementos no-computveis, como juzo, senso comum, intuio, sensibilidade esttica, compaixo, moralidade, etc. Uma das diferenas bsicas que existem entre computadores e seres humanos tem a ver com a aplicao do que memorizado. Esta diferena consiste em que enquanto um computador armazena informao que somente pode ser chamada de maneira explcita por um programa, o homem aprende, ou seja, a aquisio de nova informao modifica seu comportamento, possibilitando a gerao de novos critrios para a tomada de decises (CASTRILLN, 1990). Os contedos emocionais das memrias afetam a maneira como so armazenadas e a facilidade com que so lembradas, bem como o humor e a motivao influenciam o qu e quanto lembrado, uma espcie de dependncia de estado (DALMAZ e NETTO, 2004). Para o pesquisador Ivan Izquierdo, Universidade Federal do Rio Grande do Sul, Porto Alegre, cada lembrana tem um sentido, uma lembrana puxa a outra, como num processo ativo de reconstruo, ou seja, a memria a aquisio, conservao e evocao de informaes (IZQUIERDO, 2004). Robert Ornstein, h vinte anos estudioso das funes dos hemisfrios cerebrais, aborda em Ornstein (1998) a bilateralidade cerebral e a evoluo da especializao dos lados direito e esquerdo do crebro. O hemisfrio esquerdo, com processamento seqencial, seria mais apto para a anlise e subjacente razo e lgica (texto) e com maior sensibilidade a sinais de alta freqncia. J o hemisfrio direito veria tudo ao mesmo tempo, com processamento paralelo, maior sensibilidade a sinais de baixa freqncia e aptido a percepo espacial e s noes de julgamento, ou de contexto. Em outras palavras, existe uma boa parte do crebro dedicada a saber como os elementos das situaes da vida se encaixam, onde nos encontramos no espao e no tempo e onde os eventos se encaixam (hemisfrio direito), enquanto outra parte focaliza os pequenos elementos da viso, as nuances auditivas e os movimentos precisos (hemisfrio esquerdo). Uma das mais instigantes obras da atualidade foi escrita h mais de 15 anos e revista recentemente em verso disponvel na Internet (HAMEROFF, 1987). Seu ator, Stuart Hameroff, University of Arizona, Estados Unidos, adota a premissa que os citoesqueletos constituem o controle biolgico do sistema nervoso, realizando interessantes afirmaes sobre a possvel mescla entre a mente e a mquina, denominando-a como Ultimate Computing. Uma das principais questes debatidas a da nanotecnologia e a da crescente possibilidade de fuso entre biologia e tecnologia, a partir de mtodos mais eficientes de processamento da informao e implementao em escalas nanomtricas (10-9 m). Outros aspectos fundamentais de sua obra, que chamaram ateno de Roger Penrose, so suas profundas observaes sobre o crebro humano. Cada clula nervosa tem capacidade de processar informao sofisticada nela mesmo, constituindo o que ele chama de inteligncia coletiva, fenmeno de intrincadas

redes de neurnios conectados entre si e com intensa operao paralela. Outro ponto a definio do crebro como um sistema contnuo, que pode prover sadas simultaneamente com a execuo de tarefas de processamento e, tambm, enquanto novas entradas fazem-se presentes. O crebro, assim, pode ser descrito com maior proximidade como um sistema computacional assncrono e paralelo. Finalmente, os efeitos coletivos manifestam reverberao difusa, sustentando oscilaes, transies de fase e caos determinstico. Bibliografia consultada BUNCH, Bryan; HELLEMANS, Alexander. The Timetables of Technology: A Chronology of the Most Important People and Events in the History of Technology. New York: Touchstone, 1993. DEL PICCHIA, Walter. Autmatos e Mquinas Seqenciais. So Paulo: EPUSP, Departamento de Engenharia de Eletricidade, 1972. O NMERO 1 dos computadores. Computao Brasil, Sociedade Brasileira de Computao, So Paulo, ano IV, ed. 99, p.10, Mar 2003. ROSENCHER, Emmanuel. A Pulga e o Computador. Traduo de Jorge Pinheiro. Lisboa: Instituto Piaget, 1995. TENRIO, Robinson Moreira. Computadores de Papel. 2 ed. So Paulo: Cortez, 2001. WEBER, Leo. et al. Uma Arquitetura Computacional Alternativa. Saber Eletrnica, So Paulo, n. 336, p.37-42, Jan. 2001. WEBER, Leo. Porque um circuito computacional pode trabalhar sem relgio ? Revista Liberato, Novo Hamburgo, v.2, n.2, p.39-43, Nov. 2001. Referncias bibliogrficas A MQUINA que entrou para a histria. Computao Brasil, Sociedade Brasileira de Computao, So Paulo, ano IV, ed. 99, p.11, Mar 2003. BACKUS, John. Can programming be liberted from the von-Neumann style? A functional style and its algebra of programs. Communications of the ACM, v.21, n.8, p.613-641, Aug. 1978. BRETON, Philippe. Histoire de Linformatique. Paris: La Dcouverte, 1987. BRUNAZO FILHO, Amilcar; DEL PICCHIA, Walter. Generalizao do Problema de Substituio de Sistemas Simultneos de Funes Booleanas. So Paulo: EPUSP, Departamento de Engenharia de Eletricidade, 1987. BRUNAZO FILHO, Amilcar; DEL PICCHIA, Walter. Resoluo de Problemas de Deciso Qualitativa no Clculo Proposicional Utilizando Equaes Booleanas. So Paulo: EPUSP, Departamento de Engenharia de Eletricidade, 1988.

CARDOSO, Janete; VALLETE, Robert. Redes de Petri. Florianpolis: UFSC, 1997. CARPINELLI, John D. Computer Systems Organization & Architecture. New York: Addison Wesley Longman, 2001. CASTRILLN, Laura Viana. Memria Natural y Artificial. Mxico, D.F.: Fondo de Cultura Econmica, 1990. COMPUTING Pioneer Challenges the Clock. The New York Times, New York, March 5th, 2001. Technology. CUESTA GARCIA, Luis Miguel; PADILLA, Antonio J. Gil; DOMINGUEZ, Fernando Remiro. Electrnica Digital. Lisboa: Mc Graw Hill, 1994. DALMAZ, Carla; NETTO, Carlos Alexandre. A Memria. Cincia e Cultura, So Paulo, ano 56, n. 1, p.30-31, Jan/Fev/Mar. 2004. DEL PICCHIA, Walter. A Transformada Numrica e sua Aplicao Simplificao de Funes e Resoluo de Equaes Booleanas. So Paulo: USP, Tese de Doutorado, Departamento de Engenharia de Eletricidade, Escola Politcnica, Universidade de So Paulo, 1971. DEL PICCHIA, Walter. Mtodos Numricos para a Resoluo de Problemas Lgicos. So Paulo: Edgard Blcher, 1993. FERREIRA, Aurlio Buarque de Holanda. Novo Aurlio Sculo XXI: O Dicionrio da Lngua Portuguesa. 3 ed. Rio de Janeiro: Nova Fronteira, 1999. FINK, Daniel. A Solution of the General Model for a Digital System. Novo Hamburgo: Fundao Escola Tcnica Liberato Salzano Vieira da Cunha, 1997. HAMEROFF, Stuart. R. Ultimate Computing Biomolecular Consciousness and Nanotechnology. Amsterdam: Elsevier Science, 1987. HAWKING, Stephen. The universe in a nutshell. New York: Bantam Books, 2001. HILL, Fredrick J.; PETERSON, Gerald R. Introduction to Switching Theory & Logical Design. 3th ed. New York: John Wiley & Sons, 1981. HOUAISS, Antnio. Dicionrio Houaiss da Lngua Portuguesa. Rio de Janeiro: Objetiva, 2001. HODGES, Andrew. Turing. Traduo de Marcos Barbosa de Oliveira. So Paulo: Unesp, 2001. HUFFMAN, D. A. The Synthesis of Sequential Switching Circuits part I. Journal of the Franklin Institute, v.257, n.3, p.161-190, Mar. 1954a.

HUFFMAN, D. A. The Synthesis of Sequential Switching Circuits part II. Journal of the Franklin Institute, v.257, n.4, p.275-303, Apr. 1954b. IZQUIERDO, Ivn. Questes Sobre Memria. So Leopoldo: Unisinos, 2004. KAKU, Michio. Visions How Science Will Revolutionize the 21st Century. New York: Bantam Books, 1998. KOVCS, Zsolt. L. O Crebro e a sua Mente. So Paulo: Edio Acadmica, 1997. LVY, Pierre. La machine univers. Paris: La Dcouverte, 1987. LIPSCHUTZ, Seymour. Teoria dos Conjuntos. Traduo de Fernando Vilain Heusi da Silva. So Paulo: Mc Graw Hill, 1976. LOSANO, Mario. G. Storie di automi. Torino: Giulio Einaudi, 1990. LUNGARZO, Carlos A. A Programao Quntica: Aproveitando os Cdigos Clssicos. Cincia e Cultura, So Paulo, ano 55, n. 3, p.4-5, Jul/Ago/Set. 2003. MANO, M. Morris. Digital Design. 3th ed. Upper Saddle River: Prentice Hall, 2002. MARTINS, Wagner Waneck. Contribuio ao estudo dos circuitos lgicos interruptores. So Paulo: Tese de Livre Docncia, EPUSP, Departamento de Engenharia de Eletricidade, 1965. MARTINS, Wagner Waneck. Eso (n-m-p): Um Computador No-Von Neumann. So Paulo: Cartgraf, 1985. MENDELSON, Elliott. lgebra Booleana e Circuitos de Chaveamento. Traduo de Celso Mauro Paciornick. So Paulo: Mc Graw Hill, 1977. MULLER, D. E.; BARTKY, W. S. A Theory of Asynchronous Circuits. In Procedures International Symposium on the Theory of Switching, p.204-243, Cambridge, Apr. 1959, Harvard University Press. MURDOCCA, Miles J.; HEURING, Vincent P. Principles of Computer Architecture. Upper Saddle River: Prentice Hall, 2000. OLD tricks for new chips. The Economist, London, April 19th, 2001. Science and Technology. ORNSTEIN, Robert. A Mente Certa. Traduo de Ana Beatriz Rodrigues e Priscilla Martins Celeste. Rio de Janeiro: Campus, 1998. PACITTI, Trcio. Do Fortran Internet. So Paulo: Makron, 1998. PATTERSON, David A.; HENNESSY, John L. Computer Organization and Design The hardware/software interface. 2nd ed. San Francisco: Morgan Kaufmann, 1998.

PENROSE, Roger. O Grande, o Pequeno e a Mente Humana. Traduo de Roberto Leal Ferreira. So Paulo: Unesp/Cambridge University, 1998. PESSOTTA, Roberto Clarete. C.L.P. No-Von a Tempo Real, Matematicamente Programvel. So Paulo: USP, Tese de Doutorado, Escola Politcnica, Universidade de So Paulo, 1993. PHISTER Jr., Montgomery. Logical Design of Digital Computers. New York: John Wiley, 1958. ROTH Jr., Charles H. Fundamentals of Logic Design. 4th ed. Boston: PWS Publishing Company, 1995. SOUSA SANTOS, Boaventura de. Um Discuso sobre as Cincias. 12. ed. Porto: Afrontamento, 2001. STALLINGS, William. Computer Organization and Architecture. Upper Saddle River: Prentice Hall, 2000. STRATHERN, Paul. Turing e o Computador. Traduo de Maria Luiza Borges. Rio de Janeiro: Jorge Zahar, 2000. TANENBAUM, Andrew S. Organizao Estruturada de Computadores. 3 ed. Traduo de Hlio Marques Sobrinho e Luiz Fernando Costa. Rio de Janeiro: LTC, 1999. TINDER, Richard F. Engineering Digital Design. 2th ed. San Diego: Academic Press, 2002. VON NEUMANN, John. The Computer and the Brain. 2nd. ed. with a foreword by Churchland, P. M. and Churchland, P. S. New Haven: Yale University, 2000. WEBER, Leo; FIGUEREDO, Melissa G.; KLEIN, Pedro A. T. A transformada numrica. Logos, Canoas, v. 11, p.45-49, Dez. 1998. WEBER, Leo. Aplicao da transformada numrica na resoluo de problemas da lgebra booleana. Revista Liberato, Novo Hamburgo, v.3, n.3, p.83-91, Nov. 2002. WEBER, Leo. Conversor Analgico-para-Digital Implementado por uma Arquitetura Computacional Assncrona. Revista Liberato, Novo Hamburgo, v.4, n.4, p.12-22, Nov. 2003. WEBER, Raul Fernando. Fundamentos de Arquitetura de Computadores. Porto Alegre: Sagra Luzzatto/UFRGS, 2000. YAGLOM, I. M. lgebra Booleana. Traduo de Robinson Moreira Tenrio. So Paulo: Atual; Moscou: MIR, 1998. YAKOVLEV, Alex; GOMES, Lus; LAVAGNO, Luciano. Hardware Design and Petri Nets. New York: Kluwer Academic Publishers, 2000.