We propose an assume-guarantee compositional framework, CoVeNN, to scale verification to large networks. CoVeNN can verify nearly 7 times more problems than state-of-the-art verifiers.