@book{10179, author = {LEE, MIKE TIEN-CHIEN}, title = {High Level Test Synthesis of Digital VLSI Circuits}, publisher = {Artech House}, year = {1997}, address = {London} }