"Practical Design Verification" - читать интересную книгу автора (Dhiraj K. Pradhan, Ian G. Harris)