High-level testing for digital VLSI-a survey | Publicación