Clock-constrained simultaneous allocation and binding for multiplexer optimization in high-level synthesis | IEEE Conference Publication | IEEE Xplore