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

Abstract

The paper analyses and compares the most widely used textual and graphical languages for formal specification of digital control units. It demonstrates that graphical languages are more adequate for manual specification and usually it is easier to learn them. As a rule, commercially available tools for the design of digitalsystems support different languages.