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