High-Level Verification Methods and Tools for Verification of System-Level Designs--By--prisak~~{HKRG}