"Hardware and Software: Verification and Testing" - читать интересную книгу автора (Kedar Namjoshi, Andreas Zeller, Avi Ziv)