MULTES/IS: An Effective and Reliable Test Generation System for Partial Scan and Non-Scan Synchronous Circuits. - Takuji Ogihara; K. Muroi; Genichi Yonemori; Shinichi Murai (DAC, 1989)