Resumo
Este trabalho consiste em desenvolver um conjunto de critérios/técnicas/ferramentas de CAD que auxiliem um projetista em sua tarefa de capturar a especificação de um sistema eletrônico numa linguagem formal para utilizá-la 1) como base para a validação do comportamento, e 2) como base para a síntese de sua arquitetura. Toda linguagem fundamenta-se em um ou num conjunto de modelos computac…