A systematic approach to optimizing and verifying synthesized high-speed ASICs | IEEE Conference Publication | IEEE Xplore