"Scalable Hardware Verification with Symbolic Simulation" - читать интересную книгу автора (Valeria Bertacco)