Optimization techniques for ADL-driven RTL processor synthesis | IEEE Conference Publication | IEEE Xplore