UVM for HLS: An Expedient Approach to the Functional Verification of HLS Designs Author(s): Dave Burgoon and Robert Havlik Download