Especificação formal, em estelle, de sistemas digitais.

Abstract

The main goal of this work is to show how the formal description technique Estelle. early used to describe communication protocols, can be employed to make specifications into digital systems area. This approach is very interesting in the cases of protocols implementations on hardware or firmware, possibiliting the use of a single formalism during almost all steps of the development cicle of those protocols.