A formal model of computer architectures for digital system design environments
Philip A. Wilsey, Subrata Dasgupta · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1990
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.>