Unified and Modular Modeling and Functional Verification Framework of Real-Time Image Signal Processors (VLSI Design, 2016)