![](/img/cover-not-exists.png)
[ACM Press the 44th annual conference - San Diego, California (2007.06.04-2007.06.08)] Proceedings of the 44th annual conference on Design automation - DAC '07 - Leveraging semi-formal and sequential equivalence techniques for multimedia SOC performance validation
Bhatia, Lovleen, Gaur, Jayesh, Tiwari, Praveen, Mitra, Raj S., Matange, Sunil H.Year:
2007
Language:
english
DOI:
10.1145/1278480.1278499
File:
PDF, 251 KB
english, 2007