An efficient symbolic approach to time delay optimization of CMOS circuits | IEEE Conference Publication | IEEE Xplore