Partitioning of functional models of synchronous digital systems | IEEE Conference Publication | IEEE Xplore