Formal description of computational structure in aids

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.

This publication has 2 references indexed in Scilit: