Synthesis and simulation of reprogrammable control units from hierarchical specifications
Palavras-chave:
Máquinas finitas de estados, Especificação hierarquizada de unidades de controlo, Síntese lógica, Simulação em VHDL
Resumo
As máquinas finitas de estados (FSM) têm sido usadas para especificar e implementar unidades de controlo e têm sido um assunto de grande importância nas últimas cinco décadas. Devido ao aumento da complexidade das unidades de controlo e uma vez que o modelo FSM não permite descrições hierárquicas e concorrentes, novos modelos formais que suportam hierarquia e concorrência têm sido propostos com o objectivo de ultrapassar as limitações do modelo FSM e que permitem a especificação de unidades de controlo complexas usando uma metodologia de decomposição hierarquizada.(...)
Publicado
2000-01-01
Edição
Secção
Teses de doutoramento: resumo