"High-Level Verification: Methods and Tools for Verification of System-Level Designs" - читать интересную книгу автора (Sudipta Kundu, Sorin Lerner, Rajesh K. Gupta)