Correctness verification of VLSI modules supported by a very efficient Boolean prover | IEEE Conference Publication | IEEE Xplore