Marc Bertola, Ron Irvine. A Modular Suite for High-Definition Image Processor Co-Verification. In Samarjit Chakraborty, Petru Eles, editors, Proceedings of the 2007 5th Workshop on Embedded Systems for Real-Time Multimedia, ESTImedia 2007, October 4-5, Salzburg, Austria, conjunction with CODES+ISSS 2007. pages 125-130, IEEE, 2007. [doi]
Abstract is missing.