Analytical logical effort formulation for minimum active area under delay constraints | IEEE Conference Publication | IEEE Xplore