High-level verification: methods and tools for verification of system-level design / Sudipta Kundu, Sorin Lerner, Rajesh K. Gupta