Symbad: Formal Verification in System Level-based Design