Partitioning of Functional Models of Synchronous Digital Systems