Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Oportunidade Investigação
Submeter candidatura Consultar edital
Oportunidade Investigação

Informática, Eletrónica e Sistemas Digitais

[Brevemente]

Descrição da Oportunidade

? Configurar e caracterizar um fluxo open-source de HLS baseado no Bambu [1], utilizando projetos de hardware representativos descritos em C/C++ e avaliando o RTL gerado. ? Avaliar a integração dos projetos gerados com fluxos de síntese para FPGA e ASIC open-source [2], comparando a qualidade das implementações e identificando limitações dos fluxos. ? Aplicar o fluxo desenvolvido a casos de estudo representativos, potencialmente incluindo um processador RISC-V desenvolvido internamente em C++ e orientado a HLS. ? Avaliar representações aritméticas e de dados selecionadas (e.g., LNS e BF16) através de métricas de síntese como área/utilização de recursos, desempenho temporal e, quando disponível, consumo energético. ? Colaboração na escrita de um artigo científico para divulgação dos resultados.

Habilitações Académicas

Inscrição em licenciatura ou mestrado em engenharia eletrotécnica, informática, ou área afim

Requisitos Mínimos

? Experiência em programação C/C++? Conhecimentos básicos de sistemas digitais e arquiteturas de computadores? Fluente em Inglês (escrito e falado)

Fatores de Preferência

? Experiência com desenvolvimento ou síntese para FPGA e/ou ASIC ? Familiaridade com C/C++ para descrição e implementação de sistemas digitais ? Fluente em Português e Inglês (escrito e falado)

Período de candidatura

Desde 22 Oct 2026 a 04 Nov 2026

[Brevemente]

Centro

Computação Centrada no Humano e Ciência da Informação

Orientador

João Bispo