The Verification of a Bit-slice ALU - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Warren A. Hunt Jr., Bishop Brock. The Verification of a Bit-slice ALU. In Miriam Leeser, Geoffrey Brown, editors, Hardware Specification, Verification and Synthesis: Mathematical Aspects, Mathematical Science Institute Workshop, Cornall University, Ithaca, New York, USA, July 5-7, 1989, Proceedings. Volume 408 of Lecture Notes in Computer Science, pages 282-306, Springer, 1989.

This author has not been identified. Look up 'Warren A. Hunt Jr.' in GoogleThis author has not been identified. Look up 'Bishop Brock' in Google

runs on WebDSL