Análise comparativa de linguagens de especificação de unidades de controlo digitais

Resumo

Este artigo analisa e compara as linguagens formais gráficas e textuais mais utilizadas na especificação de unidades de controlo digitais. É demonstrado neste artigo que as linguagens gráficas são preferencialmente adoptadas na especificação manual e normalmente de mais fácil aprendizagem. As ferramentas de projecto de sistemas digitais disponíveis actualmente no mercado combinam duas linguagens, uma textual e outra gráfica.