A formal model of computer architectures for digital system design environments

A new and powerful model of computer architectures for machine description is presented. This model is capable of representing a machine across the abstraction levels ranging from the exo-architecture to the gate level. The goal is to establish a formal framework for the construction of a new hardware description language that will be useful for a large class of retargetable design-automation systems.<
>