Lovleen Bhatia, Jayesh Gaur, Praveen Tiwari, Raj S. Mitra, Sunil H. Matange
Leveraging Semi-Formal and Sequential Equivalence Techniques for Multimedia SOC Performance Validation
DAC, 2007.
@inproceedings{DAC-2007-BhatiaGTMM,
author = "Lovleen Bhatia and Jayesh Gaur and Praveen Tiwari and Raj S. Mitra and Sunil H. Matange",
booktitle = "{Proceedings of the 44th Design Automation Conference}",
doi = "10.1145/1278480.1278499",
pages = "69--74",
publisher = "{IEEE}",
title = "{Leveraging Semi-Formal and Sequential Equivalence Techniques for Multimedia SOC Performance Validation}",
year = 2007,
}