Incremental ABV for Functional Validation of TL-to-RTL Design Refinement