Unified methods for VLSI simulation and test generation - Cheng, Kwang-Ting, 1961- (Kluwer international series in engineering and computer science. VLSI, computer architecture, and digital signal processing, 1989)