Zaslat SMS: Introduction to VLSI testing /