A Modular Suite for High-Definition Image Processor Co-Verification. - Marc Bertola; Ron Irvine (ESTIMedia, 2007)