Basic Concepts of Hardware Verification Using ORA Larch/VHDL. - Ahmed E. Barbour; Mike P. Nassif (PDPTA, 1997)