An Automated Synthesis Framework for Fast Evaluation of Maximum Operating Frequency | IEEE Conference Publication | IEEE Xplore