TY - RPRT TI - Generation of Test Vectors for Sequential Cell Verification AU - Santanu Bhowmick AU - S. Bhattacherjee AU - Nandakumar G. N PY - 2011 UR - https://arxiv.org/abs/1110.6105 ID - 1110.6105 ER -