Design Verification With Containment