A methodology for efficient hardware verification

• Authors:

• Mark Aagaard;Miriam Leeser

• Affiliations:

• -;-

• Venue:
• Formal Methods in System Design - Special issue on higher order logic theorem proving and its applications, II
• Year:
• 1994