Aids - an integrated design system for digital hardware

A computer-aided-design system is described which is aimed at the expression, analysis, implementation and realisation of any type of computer system, but is of most value in those systems exhibiting parallelism. A formal model has been specially developed with parallel systems in mind. The model uses a directed-graph representation which is suited to the illustration of hardware algorithms. To enable conventional terminals to be used to describe designs a textual input form of the model has been developed, and is specified´. A design is validated, tested for correctness, implemented in an intermediate hardware description language and finally realised in terms of chips whose electrical descriptions reside in a maintained integrated-circuit database.