Multi-level circuit partitioning for switch-level timing simulation | IEEE Conference Publication | IEEE Xplore