A formulation for quick evaluation and optimization of digital CMOS circuits | IEEE Conference Publication | IEEE Xplore