Partitioning and analysis of static diditagl CMOS-Circuits - Hübner, Uwe (GMD, 1993)