High-level test synthesis of digital VLSI circuits / Mike Tien-Chien Lee. - Lee, Mike Tien-Chien (Artech House solid-state technology library, 1997)