Efficient circuit partitioning to extend cycle simulation beyond synchronous circuits | IEEE Conference Publication | IEEE Xplore