Aids - an integrated design system for digital hardware
Patrick W. Foulk, J.A. McLean, R. Mason, P.J. O'Callaghan · IEE Proceedings E Computers and Digital Techniques · 1980
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.