Miroslav Cupák Francky Catthoor Hugo De Man Efficient System-Level Functional Verification Methodology for Multimedia Applications. 56-64 2003 20 IEEE Design & Test of Computers 2 http://doi.ieeecomputersociety.org/10.1109/MDT.2003.1188263 db/journals/dt/dt20.html#CupakCM03