Title :
A formal model of computer architectures for digital system design environments
Author :
Wilsey, Philip A. ; Dasgupta, Subrata
Author_Institution :
Dept. of Electr. & Comput. Eng., Cincinnati Univ., OH, USA
fDate :
5/1/1990 12:00:00 AM
Abstract :
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
Keywords :
computer architecture; logic CAD; specification languages; computer architectures; digital system design environments; formal model; hardware description language; retargetable design-automation systems; Automatic generation control; Computational modeling; Computer architecture; Control system synthesis; Costs; Design automation; Digital systems; Drives; Power system modeling; Process design;
Journal_Title :
Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on
