DocumentCode
1544575
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
Volume
9
Issue
5
fYear
1990
fDate
5/1/1990 12:00:00 AM
Firstpage
473
Lastpage
486
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;
fLanguage
English
Journal_Title
Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on
Publisher
ieee
ISSN
0278-0070
Type
jour
DOI
10.1109/43.55179
Filename
55179
Link To Document