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

Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2021.

Main Author: Sá, Luiz Gustavo Soares de
Other Authors: Jacobi, Ricardo Pezzuol
Format: Dissertação
Language: Português
Published: 2021
Subjects:
Online Access: https://repositorio.unb.br/handle/10482/42024
Tags: Add Tag
No Tags, Be the first to tag this record!
id ir-10482-42024
recordtype dspace
spelling ir-10482-420242021-09-03T14:23:18Z H-calculus : session types for hardware analysis and well-definedness Sá, Luiz Gustavo Soares de Jacobi, Ricardo Pezzuol Medeiros, José Edil Guimarães de Design de hardware Sistemas de tipos Tipos de sessão Cálculo de processos Dissertaçã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. 2021-09-03T14:23:17Z 2021-09-03T14:23:17Z 2021-09-03 2021-06-21 Dissertação 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 Português Acesso Aberto A 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. application/pdf
institution REPOSITORIO UNB
collection REPOSITORIO UNB
language Português
topic Design de hardware
Sistemas de tipos
Tipos de sessão
Cálculo de processos
spellingShingle Design de hardware
Sistemas de tipos
Tipos de sessão
Cálculo de processos
Sá, Luiz Gustavo Soares de
H-calculus : session types for hardware analysis and well-definedness
description Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2021.
author2 Jacobi, Ricardo Pezzuol
format Dissertação
author Sá, Luiz Gustavo Soares de
author_sort Sá, Luiz Gustavo Soares de
title H-calculus : session types for hardware analysis and well-definedness
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
publishDate 2021
url https://repositorio.unb.br/handle/10482/42024
_version_ 1710449631076286464
score 13.657419