Timing-driven system partitioning by constraints decoupling method | IEEE Conference Publication | IEEE Xplore