Closing Functional and Structural Coverage on RTL Generated by High-Level Synthesis Author(s): B. Bowyer Download