Verification of Hardware Resource Utilization through High Level Synthesis for FPGA Implementation | IEEE Conference Publication | IEEE Xplore