Вестник Бурятского государственного университета
Математика, информатика
АвторизацияРУСENG

Вестник БГУ. Математика, информатика

Библиографическое описание:
Ярышкина Н. В.
,
Могнонов П. Б.
Автоматический синтез цифровых схем по их функциональному описанию // Вестник БГУ. Математика, информатика. - 2016. №3. . - С. 80-86.
Заглавие:
Автоматический синтез цифровых схем по их функциональному описанию
Финансирование:
Коды:
DOI: 10.18101/2304-5728-2016-3-80-86УДК: 681.325.6
Аннотация:
В статье рассматривается алгоритм реализации автоматического синтеза цифровых схем по их функциональному описанию, построенному с использованием математического аппарата λ-исчисления. Определяется способ разбора λ-выражений с целью определения структуры синтезируемой цифровой схемы и взаимосвязей входных и выходных сигналов элементов схемы.
На конкретном примере функционального описания сложной цифро- вой схемы 4-х разрядного параллельного регистра пошагово производится разбор λ-выражения, и показывается, как будет происходить процесс построения схемы.
Ключевые слова:
цифровые схемы, автоматический синтез.
Список литературы:
1. Ярышкина Н. В., Могнонов П. Б. Описание цифровых схем с помощью λ-выражений // Вестник Бурятского государственного университета. Математика, информатика. — 2016. — №3. — С. 72 – 79.

2. Барендрегт Х. Ламбда-исчисление. Его синтаксис и семантика: Пер. с англ. — М.: Мир, 1985. — 606 с.