Issue No. 01 - January/February (1988 vol. 5)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/54.669
<p>Ada can be used as both a hardware description language and a distributed simulation environment, which results in a uniform approach to the simulation of digital designs. Ada's synchronization constructs are used in conjunction with techniques for distributed modeling and scheduling to provide a distributed verifier. This technique has been verified for functional and fault simulation and for timing verification. An advantage it has over conventional simulators is that it can execute on a multiprocessor system.</p>
S. Ghosh, "Using Ada as an HDL," in IEEE Design & Test of Computers, vol. 5, no. , pp. 30-42, 1988.