Automatic test generation for stuck-open faults in CMOS VLSI