Efficient partitioning and analysis of digital CMOS-circuits | IEEE Conference Publication | IEEE Xplore