Karma: um ambiente para o aprendizado de síntese de fun es Booleanas

Este artigo apresenta um ambiente computacional para síntese e análise de fun es lógicas. O ambiente proposto, chamado de Karma 3, oferece um conjunto de ferramentas de apoio (CAD) para o ensino e forma o de estudantes de computa o e eletr nica na área de conhecimento de síntese lógica e circuitos digitais, mais precisamente em rela o aos fundamentos de constru o, otimiza o e análise de fun es Booleanas. O ambiente foi desenvolvido em plataforma Java e n o há similar disponível no mercado ou na academia. A ferramenta Karma, em suas mais diversas vers es, vem sendo utilizada em cursos de gradua o há alguns anos, e atualmente encontra-se estável e abrangente, embora sempre seja possível agregar novos métodos e algoritmos relacionados com o seu propósito. O Karma 3 pode ser utilizado em aulas presenciais (vers o GUI – interface gráfica do usuário), no ensino à distancia (vers o applet para navegadores WEB), na forma o de novos pesquisadores na área de síntese lógica e programadores Java através do desenvolvimento de novos módulos, bem como para auxílio na produ o de resultados científicos através do seu uso por comandos de console e scripts.