Sìntese comportamental de componentes de um Sistema Operacional em hardware

Abstract

Dada a crescente velocidade e quantidade de recursos disponíveis em dispositivos de lógica programável, torna-se cada vez mais promissora a implementação de algoritmos diretamente em hardware. Alguns projetos, como por exemplo, o HybridThreads, já permitem a cooperação entre tarefas executando em hardware e em software, porém, geralmente, as tarefas que rodam em hardware são descritas em baixo nível de abstração (RTL). O presente projeto visa à descrição e síntese de alguns componentes típicos de Sistemas Operacionais, descritos em nível comportamental, bem como sua integração com um SO rodando em um microprocessador convencional.