Correctness verification of VLSI modules supported by a very efficient Boolean prover.

P. Lammens, Luc J. M. Claesen, Hugo De Man

Browse the full ICCD paper archive.