BSU Bulletin. Mathematics, Informatics
Bibliographic description:
,
Automatic synthesis of digital circuits on their functional description // BSU Bulletin. Mathematics, Informatics. - 2016. №3. . - С. 80-86.
Title:
Automatic synthesis of digital circuits on their functional description
Financing:
Codes:
Annotation:
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.
Keywords:
digital circuits, automatic synthesis.
List of references:
1. Jaryshkina N. V., Mognonov P. B. Opisanie cifrovyh shem s po-
moshh'ju λ-vyrazhenij // Vestnik Burjatskogo gosudarstvennogo universiteta. Matematika, informatika. — 2016. — №3. — S. 72 – 79.
2. Barendregt H. Lambda-ischislenie. Ego sintaksis i semantika: Per. s angl. — M.: Mir, 1985. — 606 s.