DocumentCode
941016
Title
Formal description of computational structure in aids
Author
Foulk, P.W. ; O´Callaghan, J.
Author_Institution
Heriot-Watt University, Department of Electrical & Electronic Engineering, Edinburgh, UK
Volume
127
Issue
2
fYear
1980
fDate
3/1/1980 12:00:00 AM
Firstpage
55
Lastpage
63
Abstract
This paper discusses level 1 of the `Aids¿¿ computer-aided digital design system. At this, the architecture level, the designer maps out his basic structure of control and data flow using a formal directedgraph model of computations. By expressing his ideas in a special-purpose language, called G, he is able to submit the design to certain analysis tools.
Keywords
data structures; directed graphs; formal logic; logic CAD; CAD system; G; aids; computational structure; control; data flow; data structures; formal directed graph model; logic CAD;
fLanguage
English
Journal_Title
Computers and Digital Techniques, IEE Proceedings E
Publisher
iet
ISSN
0143-7062
Type
jour
DOI
10.1049/ip-e.1980.0011
Filename
4647551
Link To Document