High Level Power Optimization by Type Inference on the Generation of Application Specific Circuits on FPGAs | IEEE Conference Publication | IEEE Xplore