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