Algorithm of Decomposition of Formal Model of Discrete Device Functional Block

Modeling large systems is a multi dimensional problem. A method to study these problems is the decomposition method that allows one to partition the studied system, check the operation of each part and sequentially add new fragments to the checked part.