Symbad: Formal Verification in System Level-based Design (Extended Version)