The Verification of a Bit-slice ALU (1989)

by B Brock
Venue:In: Hardware Specification, Verification and