BSU bulletin
Mathematics, Informatics
LoginРУСENG

BSU Bulletin. Mathematics, Informatics

Bibliographic description:
Yarishkina N. V.
,
Mognonov P. B.
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:
DOI: 10.18101/2304-5728-2016-3-80-86UDK: 681.325.6
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.