Abstract in Portuguese (Brasil)
Este relatório descreve o processo de projeto de sistemas digitais complexos, que é a base de um ambiente integrado de projeto auxiliado por computador. Este processo restringe-se a síntese e validação de sistemas digitais descritos ao nível de portas lógicas ou em níveis mais altos de abstração.
Abstract
This report describes the process of designing complex digital systems, which is the basis of an integrated computer-aided design environment. This design process is restricted to the synthesis and validation of digital systems described at the logic levei or at higher abstraction leveis.
