Formal Verification Approach to Verifying Stream Decoders: Methodology & Findings