High-Level Verification Of System Designs