Formal specifications and decomposition of logic systems for purposes of analysis, synthesis and diagnostics

摘要

The contribution deals with different formal specifications of logic system that areudused for solving of analysis, synthesis and diagnostics tasks. Particular attention is given toudanalysis of applicability of separate description for the purpose of system decomposition. Theuddata structure for algebraic expressions with context-free grammar utilization is also definedudin the contribution. We also propose algorithm of de/composition of logical systems specifiedudby this expression and finally a procedure for identical and isomorphic circuit search.