Statistical timing driven partitioning for VLSI circuits | IEEE Conference Publication | IEEE Xplore