Leveraging Semi-Formal and Sequential Equivalence Techniques for Multimedia SOC Performance Validation. - Lovleen Bhatia; Jayesh Gaur; Praveen Tiwari; Raj S. Mitra; Sunil H. Matange (DAC, 2007)