The Verification of a Bit-slice ALU

• Authors:

• Warren A. Hunt, Jr.;Bishop Brock

• Affiliations:

• -;-

• Venue:
• Workshop on Hardware Specification, Verification and Synthesis: Mathematical Aspects
• Year:
• 1989