An Efficient Method to Generate Test Vectors for Combinational Cell Verification. - Nirav Patel; M. Srihari; Pooja Maheswari; G. N. Nandakumar (VLSI Design, 2004)