This document discusses how to break the formal verification scalability barrier. It outlines that verification complexity increases exponentially with design size and complexity. Existing dynamic verification methods are unable to close this verification gap. The document then presents several perspectives and approaches for achieving scalability in formal verification. These include making verification interactive, enabling parallelism through multithreading and distributed computing, and using techniques like automatic abstraction and state space tunneling to manage proof capacity for large designs.