Automatic Verification of Refinement

• Authors:

• Wing Sang Lee;Mark R. Greenstreet;Carl-Johan H. Seger

• Affiliations:

• -;-;-

• Venue:
• ICCS '94 Proceedings of the1994 IEEE International Conference on Computer Design: VLSI in Computer & Processors
• Year:
• 1994