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
fDate :
3/1/1980 12:00:00 AM
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;
Journal_Title :
Computers and Digital Techniques, IEE Proceedings E
DOI :
10.1049/ip-e.1980.0011
