Síntese de linguagens de descrição de arquitetura

Detalhes bibliográficos
Autor(a) principal: Goto, Samuel Shoji Fukujima
Data de Publicação: 2010
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
Texto Completo: https://hdl.handle.net/20.500.12733/1613651
Resumo: Orientador: Rodolfo Jardim de Azevedo
id UNICAMP-30_3cdf27572f50f7e9208cdcfa8eef5a69
oai_identifier_str oai::779140
network_acronym_str UNICAMP-30
network_name_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository_id_str
spelling Síntese de linguagens de descrição de arquiteturaArchitecture description languages synthesisArquitetura de computadorCircuitos lógicos - Projetos e construçãoSistemas e computaçãoHardware - Linguagens descritivasComputer architectureLogic circuits - Design and implementationComputer systemsHardware - Description languagesOrientador: Rodolfo Jardim de AzevedoDissertação (mestrado) - Universidade Estadual de Campinas, Instituto de ComputaçãoResumo: Desde sua popularização, processadores dobraram de capacidade e desempenho à cada dois anos. No entanto, paralelamente, essa tendência foi apenas sustentada pelo crescimento da sofisticação das implementações utilizadas. Atualmente, apesar de eficientes, processadores são complexos e difíceis de projetar. Para gerenciar esse problema, foram criadas linguagens chamadas ADLs que simplificam a especificação e simulação em níveis mais abstratos, enquanto HDLs ainda são utilizadas para a descrição RTL. Esse trabalho unifica o fluxo de especificação e simulação de processadores com o fluxo de implementação RTL a partir da mesma linguagem ADL. Para isso, escolhemos uma linguagem de descrição de arquitetura chamada ArchC. Sintetizamos com sucesso parte de processadores descritos em ArchC, como o PIC16F84, o I8051, o MIPS-I, o R3000 e uma JVM. Subconjuntos dos processadores foram prototipados em FPGA, com frequências de operação entre 80MHZ à 120MHZ projetados duas a três vezes mais rapidamente do que os desenvolvidos com HDLs. Mostramos que ArchC é sintetizável, completando o fluxo de projeto da linguagem até o nível RTL. Criamos as ferramentas necessárias e fornecemos modelos RTL dos processadores citadosAbstract: The design and implementation of processors is a complex task. Architecture Description Languages (ADLs) were created to extend existing HDLs to manage the inherit complexity of modern processors. Along with HDLs, they ease the development and prototyping of new architectures by providing a set of tools and algorithms to optimize and automate some of the tedious parts. However, while much has been done on using ADLs for simulating high level specifications, the academia knows very little about how to reuse them to implement real life processors. This work addresses the issues of synthesizing processors from an ADL model. To accomplish that, we chose an ADL called ArchC and we successfully synthesized pieces of its most stable models, like the PIC16F84, the i8051, the MIPS-I, the R3000 and a JVM. The processors were prototyped in FPGAs, with frequencies of operation as fast as 80MHZ to 120MHZ developed two to tree times faster compared to current approaches. We show that ArchC is in fact synthesizable, completing the design flow down to the RTL level. We provide all the necessary tools that were created to synthesize the models as well as the RTL models themselvesMestradoArquitetura de ComputadoresMestre em Ciência da Computação[s.n.]Azevedo, Rodolfo Jardim de, 1974-Araujo, Cristiano Coelho deCentoducatte, Paulo CesarUniversidade Estadual de Campinas (UNICAMP). Instituto de ComputaçãoPrograma de Pós-Graduação em Ciência da ComputaçãoUNIVERSIDADE ESTADUAL DE CAMPINASGoto, Samuel Shoji Fukujima2010info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdf80 f. : il.https://hdl.handle.net/20.500.12733/1613651GOTO, Samuel Shoji Fukujima. Síntese de linguagens de descrição de arquitetura. 2010. 80 f. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1613651. Acesso em: 3 set. 2024.https://repositorio.unicamp.br/acervo/detalhe/779140porreponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMPinfo:eu-repo/semantics/openAccess2017-02-18T06:04:01Zoai::779140Biblioteca Digital de Teses e DissertaçõesPUBhttp://repositorio.unicamp.br/oai/tese/oai.aspsbubd@unicamp.bropendoar:2017-02-18T06:04:01Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)false
dc.title.none.fl_str_mv Síntese de linguagens de descrição de arquitetura
Architecture description languages synthesis
title Síntese de linguagens de descrição de arquitetura
spellingShingle Síntese de linguagens de descrição de arquitetura
Goto, Samuel Shoji Fukujima
Arquitetura de computador
Circuitos lógicos - Projetos e construção
Sistemas e computação
Hardware - Linguagens descritivas
Computer architecture
Logic circuits - Design and implementation
Computer systems
Hardware - Description languages
title_short Síntese de linguagens de descrição de arquitetura
title_full Síntese de linguagens de descrição de arquitetura
title_fullStr Síntese de linguagens de descrição de arquitetura
title_full_unstemmed Síntese de linguagens de descrição de arquitetura
title_sort Síntese de linguagens de descrição de arquitetura
author Goto, Samuel Shoji Fukujima
author_facet Goto, Samuel Shoji Fukujima
author_role author
dc.contributor.none.fl_str_mv Azevedo, Rodolfo Jardim de, 1974-
Araujo, Cristiano Coelho de
Centoducatte, Paulo Cesar
Universidade Estadual de Campinas (UNICAMP). Instituto de Computação
Programa de Pós-Graduação em Ciência da Computação
UNIVERSIDADE ESTADUAL DE CAMPINAS
dc.contributor.author.fl_str_mv Goto, Samuel Shoji Fukujima
dc.subject.por.fl_str_mv Arquitetura de computador
Circuitos lógicos - Projetos e construção
Sistemas e computação
Hardware - Linguagens descritivas
Computer architecture
Logic circuits - Design and implementation
Computer systems
Hardware - Description languages
topic Arquitetura de computador
Circuitos lógicos - Projetos e construção
Sistemas e computação
Hardware - Linguagens descritivas
Computer architecture
Logic circuits - Design and implementation
Computer systems
Hardware - Description languages
description Orientador: Rodolfo Jardim de Azevedo
publishDate 2010
dc.date.none.fl_str_mv 2010
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://hdl.handle.net/20.500.12733/1613651
GOTO, Samuel Shoji Fukujima. Síntese de linguagens de descrição de arquitetura. 2010. 80 f. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1613651. Acesso em: 3 set. 2024.
url https://hdl.handle.net/20.500.12733/1613651
identifier_str_mv GOTO, Samuel Shoji Fukujima. Síntese de linguagens de descrição de arquitetura. 2010. 80 f. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1613651. Acesso em: 3 set. 2024.
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://repositorio.unicamp.br/acervo/detalhe/779140
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
80 f. : il.
dc.publisher.none.fl_str_mv [s.n.]
publisher.none.fl_str_mv [s.n.]
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
instname:Universidade Estadual de Campinas (UNICAMP)
instacron:UNICAMP
instname_str Universidade Estadual de Campinas (UNICAMP)
instacron_str UNICAMP
institution UNICAMP
reponame_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
collection Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)
repository.mail.fl_str_mv sbubd@unicamp.br
_version_ 1809189042576687104