Leveraging semi-formal and sequential equivalence techniques for multimedia SOC performance validation
Proceedings of the 44th annual conference on Design automation - DAC ’07
Praveen Tiwari
Jayesh Gaur
Lovleen Bhatia
Sunil H. Matange
A Full Lifecycle Performance Verification Methodology for Multicore Systems-on-chip