發送短信 : Graphischer Einsatz zyklusorientierter Tests im digitalen VLSI-Entwurf /