H-calculus : session types for hardware analysis and well-definedness

Detalhes bibliográficos
Autor(a) principal: Sá, Luiz Gustavo Soares de
Data de Publicação: 2021
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Institucional da UnB
Texto Completo: https://repositorio.unb.br/handle/10482/42024
Resumo: Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2021.
id UNB_31150c1d8c25faf9847ccebc4a45060d
oai_identifier_str oai:repositorio.unb.br:10482/42024
network_acronym_str UNB
network_name_str Repositório Institucional da UnB
repository_id_str
spelling H-calculus : session types for hardware analysis and well-definednessDesign de hardwareSistemas de tiposTipos de sessãoCálculo de processosDissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2021.Síntese de alto nível é considerada o próximo passo lógico em design de hardware, mas os resultados, em geral, ainda não são tão bons quanto ao que a indústria necessita. Conjecturamos que a falta de uma representação de hardware adequada, criada espe cificamente para análise automática de hardware, é um dos principais motivos pelos quais os resultados são difíceis de otimizar. Apresentamos o cálculo-h, cálculo tipado que usa tipos de sessão temporal para bem-definição e análise de hardware. Intro duzimos os conceitos principais, formalizamos suas definições, demonstramos como a análise por meio de tipos funciona, e discutimos sua utilidade na síntese de alto nível.High-Level Synthesis has been considered the next logical step for hardware design, but results are, in general, still not as good as the industry requires. We conjecture that the lack of a proper hardware representation crafted specifically for automatic hardware analysis is one of the key reasons why results are hard to optimize. We present the h-calculus, typed calculus that uses temporal session types for hardware well-definedness and analysis. We introduce the key concepts, formalize their defi nitions, demonstrate how analysis through types works, and discuss its utility within High-Level Synthesis.Jacobi, Ricardo PezzuolMedeiros, José Edil Guimarães deSá, Luiz Gustavo Soares de2021-09-03T14:23:17Z2021-09-03T14:23:17Z2021-09-032021-06-21info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfSÁ,Luiz Gustavo Soares de. H-calculus: session types for hardware analysis and well-definedness. 2021. 123 f., il. Dissertação (Mestrado em Informática)—Universidade de Brasília, Brasília, 2021.https://repositorio.unb.br/handle/10482/42024A concessão da licença deste item refere-se ao termo de autorização impresso assinado pelo autor com as seguintes condições: Na qualidade de titular dos direitos de autor da publicação, autorizo a Universidade de Brasília e o IBICT a disponibilizar por meio dos sites www.bce.unb.br, www.ibict.br, http://hercules.vtls.com/cgi-bin/ndltd/chameleon?lng=pt&skin=ndltd sem ressarcimento dos direitos autorais, de acordo com a Lei nº 9610/98, o texto integral da obra disponibilizada, conforme permissões assinaladas, para fins de leitura, impressão e/ou download, a título de divulgação da produção científica brasileira, a partir desta data.info:eu-repo/semantics/openAccessporreponame:Repositório Institucional da UnBinstname:Universidade de Brasília (UnB)instacron:UNB2023-07-14T18:56:25Zoai:repositorio.unb.br:10482/42024Repositório InstitucionalPUBhttps://repositorio.unb.br/oai/requestrepositorio@unb.bropendoar:2023-07-14T18:56:25Repositório Institucional da UnB - Universidade de Brasília (UnB)false
dc.title.none.fl_str_mv H-calculus : session types for hardware analysis and well-definedness
title H-calculus : session types for hardware analysis and well-definedness
spellingShingle H-calculus : session types for hardware analysis and well-definedness
Sá, Luiz Gustavo Soares de
Design de hardware
Sistemas de tipos
Tipos de sessão
Cálculo de processos
title_short H-calculus : session types for hardware analysis and well-definedness
title_full H-calculus : session types for hardware analysis and well-definedness
title_fullStr H-calculus : session types for hardware analysis and well-definedness
title_full_unstemmed H-calculus : session types for hardware analysis and well-definedness
title_sort H-calculus : session types for hardware analysis and well-definedness
author Sá, Luiz Gustavo Soares de
author_facet Sá, Luiz Gustavo Soares de
author_role author
dc.contributor.none.fl_str_mv Jacobi, Ricardo Pezzuol
Medeiros, José Edil Guimarães de
dc.contributor.author.fl_str_mv Sá, Luiz Gustavo Soares de
dc.subject.por.fl_str_mv Design de hardware
Sistemas de tipos
Tipos de sessão
Cálculo de processos
topic Design de hardware
Sistemas de tipos
Tipos de sessão
Cálculo de processos
description Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2021.
publishDate 2021
dc.date.none.fl_str_mv 2021-09-03T14:23:17Z
2021-09-03T14:23:17Z
2021-09-03
2021-06-21
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 SÁ,Luiz Gustavo Soares de. H-calculus: session types for hardware analysis and well-definedness. 2021. 123 f., il. Dissertação (Mestrado em Informática)—Universidade de Brasília, Brasília, 2021.
https://repositorio.unb.br/handle/10482/42024
identifier_str_mv SÁ,Luiz Gustavo Soares de. H-calculus: session types for hardware analysis and well-definedness. 2021. 123 f., il. Dissertação (Mestrado em Informática)—Universidade de Brasília, Brasília, 2021.
url https://repositorio.unb.br/handle/10482/42024
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Repositório Institucional da UnB
instname:Universidade de Brasília (UnB)
instacron:UNB
instname_str Universidade de Brasília (UnB)
instacron_str UNB
institution UNB
reponame_str Repositório Institucional da UnB
collection Repositório Institucional da UnB
repository.name.fl_str_mv Repositório Institucional da UnB - Universidade de Brasília (UnB)
repository.mail.fl_str_mv repositorio@unb.br
_version_ 1810580904118059008

Registros relacionados