"Hardware and Software.. Verification and Testing, 3 conf., HVC 2007" - читать интересную книгу автора (Karen Yorav)