Modular Formal Verification Flow for High-Level RTL