Ahmed E. Barbour, Mike P. Nassif. Basic Concepts of Hardware Verification Using ORA Larch/VHDL. In Hamid R. Arabnia, editor, Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA 1997, June 30 - July 3, 1997, Las Vegas, Nevada, USA. pages 778-782, CSREA Press, 1997.
Abstract is missing.