Hybrid Incremental Assertion-Based Verification for Functional Validation in TLM Design Flows