"High-level test generation and built-in self-test techniques for digital systems" - читать интересную книгу автора (Gert Jervan.)