Basic Concepts of Hardware Verification Using ORA Larch/VHDL.

Ahmed E. Barbour, Mike P. Nassif

Browse the full PDPTA paper archive.