Correctness verification of VLSI modules supported by a very efficient Boolean prover - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

P. Lammens, Luc J. M. Claesen, Hugo De Man. Correctness verification of VLSI modules supported by a very efficient Boolean prover. In Computer Design: VLSI in Computers and Processors, ICCD 1989. Proceedings., 1989 IEEE International Conference on, Cambridge, MA, USA, October 2-4, 1989. pages 266-269, IEEE, 1989. [doi]

This author has not been identified. Look up 'P. Lammens' in GoogleThis author has not been identified. Look up 'Luc J. M. Claesen' in GoogleThis author has not been identified. Look up 'Hugo De Man' in Google

runs on WebDSL