An efficient method to generate test vectors for combinational cell verification | IEEE Conference Publication | IEEE Xplore