Closing Functional and Structural Coverage on RTL Generated by High-Level Synthesis