Automatic synthesis of digital circuits on their functional description
The article discusses the implementation algorithm of automatic synthesis of digital circuits according to their functional description, built using the mathematical apparatus of λ-calculus. Determines how the parsing of λ-expressions to determine patterns of synthesized digital circuits and interconnections of input and output signals of circuit elements. A specific example of a functional description of complex digital circuits 4-bit parallel register step by step is the parsing of λ-expressions, and shows how will be the process of building a circuit.