Using Ada as an HDL
Sumit Ghosh · IEEE Design & Test of Computers · 1988
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.>