Text this: Unified and Modular Modeling and Functional Verification Framework of Real-Time Image Signal Processors